Experimental WASM Microkernel Operating System

Kani Rust Verifier

Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]

Awesome Object Capabilities and Capability Security

Rich text editor on the web, featuring live calculations.

Benchmark repository of polyglot effect handler examples

Making C Look ✨Pretty✨and Lua/Lisp/Python-esque

a tool for reinterpreting ELF executables and shared libraries

🌱 Growing small systems in public

Smalltalk IDE implemented using React and Material-UI

A free book: "The Science of Functional Programming"

generative programming & verification

An awesome list of e-graph resources

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

A delicious package manager

Let's build browsers this weekend!

Golang comptime. Pure blasphemy

ActivityPub server framework in TypeScript

News feeds and helpful reports auto-generated from bcd data

Unofficial Go API for Notion.so

Wiki-style RecentChanges page for Notion.so databases.

A strawman for a low-level async library in Scala 3.

Rust port of Spice, a low-overhead parallelization library

An experiment in hermetic, reproducible build systems

Source code for Scala with Cats

oEmbed proxy. Supports over 1800 domains via custom parsers, oEmbed, Twitter Cards and Open Graph

Effect Zoo for Scala

JSON diff and patch

A high-level profiler for process-level events such as fork, exec, exit, setpgid, and setsid

A concatenative language for the Uxn VM with full compiler-enforced stack safety.