John Ericson's Projects
Some notes for doing a modified TUF atop some sort of recursive content-addressing system (like IPFS)
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