64-bit experimental kernel inspired by Linux and FreeBSD. Supports ARM64 (ARMv8 or later) and RISC-V

A collection of projects designed to help developers quickly get started with building deployable applications using the Anthropic API

A Loom implementation in Obsidian

command loom interface

A replication of Andy Ayrey's "Backrooms" (https://dreams-of-an-electric-mind.webflow.io/), but runnable with Opus 3, Sonnet 3.5, GPT 4o, and o1-preview

A simulated operating system design for AI Agents to interact with the world

πfs - the data-free filesystem!

A textbook on informal homotopy type theory

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

Compiling to Categories

The Z3 Theorem Prover

A minimal runtime for seL4 applications.

A dependently typed programming language, a successor to Idris

Play with fluids in your browser (works even on mobile)

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Core logging library for C/ObjC/C++

Gives you root on the hostOS, if you're a member of the 'docker' group.

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

Proof-of-concept for the ZombieLoad attack

The seL4 microkernel

Purely evil preprocessor macros adding anonymous functions and closures to ISO C99

A few essays on communism

📄 Documentation reposity for Konishi

A set of utilities designed for incremental building, merging and optimization of data transformations.

A prototype successor to Idris

VS Code extension for Haskell, powered by haskell-language-server

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

The 1.x line is frozen - features and bugfixes now happen on https://github.com/yarnpkg/berry

Specification for interoperability of common algebraic structures in JavaScript

Functional optics: a (partial) porting of Scala monocle