livecoding prolog style

An 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

opensource self-hosted sandboxes for ai agent

An experimental modern general-purpose microkernel OS.

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 Binary

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)

Miniature rack builds, for portable or compact Homelabs.

A scrollable-tiling Wayland compositor.

Repository with code snippets that accompany episodes of The Haskell Unfolder

A Haskell library for on-disk tables based on LSM-Trees

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.