Pattern language
The fastest way to build type safe web apps
A friendly programming language from the future
The Universal Plug-in System. Extend anything with WebAssembly
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
realtime 3d surface rendering library
open game world to be set in a realistic environment
Algorithmic Variations
dependently typed functional programming language