We don’t write Haskell because we’re geniuses — we use tools like Haskell because we're not geniuses and it helps us.

MaxTech 4343's & NextGen 914's 2022 robot code.

Turn WASI apps into native executables

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Dependently typed N-dimensional array type signatures for Idris (2).

Declarative, reproducible, statically typed build and deployment for Operating Systems.

rd is a record/replay debugger written in rust

display dbg result in hexadecimal {:#x?} format

Painless compression and decompression in the terminal

Fast and friendly HTTP server framework for async Rust

Quick access to project files in Emacs

🔥 🔥 🔥 Open Source Airtable Alternative

A new type of shell

A fast, clean, responsive Hugo theme.

Eventually consistent values for Rust

Treesitter playground integrated into Neovim

Fast and easy zero-dep random number generation.

Mathematical Components

Super-fast float parser in Rust (now part of Rust core)

Nyxt - the hacker's browser.

Live web development in Emacs

Emacs document annotator, using Org-mode

A Windows window manager written in Rust

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

An experimental GUI framework for Rust, backed by per-platform native widgets. React, AppKit/UIKit inspired. EXPERIMENTAL, runs on Cocoa right now. ;P

Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!

A Rust library containing a collection of small well-tested primitives.

dotnet CLI minor mode for Emacs

Write expressive, high-performance parsers with ease.