John Ericson's Projects
Internet-Drafts that make up the base QUIC specification
Based off of Reaver11's work
A library that provides an embeddable, persistent key-value store for fast storage.
An enrichment of Rust's core language to support more advanced features
Persistent map and set made with a hash array mapped trie.
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
RFCs for changes to Rust
A not-yet-functional Rust parser written in LALRPOP.
a short sonata (exposition) I had to write for school. Not my best work but maybe I will improve it down the road.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Main repository for the Sphinx documentation builder
A spinlock for rust
The Haskell Foundation Tech Proposal Process
Bringing the world of the first Command & Conquer game to a first person perspective, accurately
Playground for building an OS
Haskell library for lifting actions from the bottom of a monad transformer stack
Haskell library for converting endian-sensitive data
Clean cross-platform builds of C&C Remastered Collection games (WIP)
A (eventually) fully verified priority queue using Braun heaps in Agda
A Verilog parser for Haskell.
Making Ken Silverman's "Voxlap" voxel graphics engine run on any platform with SDL.
WASI libc implementation for WebAssembly
WASI-enabled WebAssembly C/C++ toolchain
A Simple Class for Pretty Printing with wl-pprint-text, Analogous to Show
www.haskell.org site source
Computer calculations made easy
The Haskell-Scriptable Editor
Zstandard - Fast real-time compression algorithm