The Universal Plug-in System. Extend anything with WebAssembly
Pattern language
A curated package set and set of tools that let you build Haskell
A feature-rich Unix terminal client for the Mattermost chat system
Proof Logic : A logical framework for theorem proving
Parsing, analyzing, and comparing source code across many languages
Collection of scripts for transfinite ordinals computations
open game world to be set in a realistic environment
realtime 3d surface rendering library
Algorithmic Variations
dependently typed functional programming language