BNF Converter

a structural diff that understands syntax 🟥🟩

A compiler for functional programs on serialized data

The MLton repository

livecoding prolog style

A daily-drivable experimental os, featuring finit as pid 1, to explore the NixOS design space

Roadmap to ekapkgs being fully available

Compiler frontend for PureScript in Rust

Next generation Cosmic desktop environment

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

A cross platform lightweight single-header simple-to-use window abstraction library for creating graphical programs or libraries.

Extensible records, variants, structs, effects, tangles

Haskell implemented with combinators

Our development fork for https://git.snix.dev/snix/snix

Accessibility infrastructure for UI toolkits

secure, local-first and programmable sandboxes for AI agents

The official repository of Mozilla's Firefox web browser.

Simple.css is a CSS template that allows you to make a good looking website really quickly.

Experimental WASM Microkernel Operating System

Dockerfile → Universal Wasm Distribution

Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.

Linux from Scratch from Nix

Fast equality saturation in Haskell

🗻 Log-structured, embeddable key-value storage engine written in Rust

A Modern C11 compiler (STILL EARLY)