Message-passing kernel + userspace

A wiki for collaborative work on totally legitimate "category theory"

A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

A Simple showcase for the Sea-of-Nodes compiler IR

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

async programming library for MoonBit

JVM bytecode obfuscator written in Kotlin

Examples from our paper "Capturing the Future by Replaying the Past"

The “Quite OK Image Format” for fast, lossless image compression

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

♊ higher-order, no-boilerplate monads

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

🚀 High-performance distributed object storage for MinIO alternative.

A verification toolchain for Rust programs

Modern scientific computing for OCaml

📚 A collection of resources about supercompilation

Inverse Symbolic Calculator, RIES Online

OSINT Framework

An archive of material related to the Cyc project.

The "Activate Windows" watermark ported to Linux

An open-source AI agent that brings the power of Gemini directly into your terminal.

Embedded language for high-performance array computations

Algebraic effects for Rust

Free monospaced font with programming ligatures

Solid state detector field and charge drift simulation in Julia

Your favourite Haskell type classes for Rust

Apple Silicon devices emulated on QEMU, currently only iPhone 11.

A LLM agent framework for Haskell

CommonMark compliant markdown parser in Rust with ASTs and extensions