Interactive programs without callbacks or side-effects
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 functional, systems programming language with linear types
Haskell library for building declarative animations based on SVG
A Dependently Typed Functional Programming Language
Mirror of the Glasgow Haskell Compiler
Parsing, analyzing, and comparing source code across many languages
C to Rust translator
dependently typed functional programming language