Highlights
- Pro
Stars
A massively parallel, high-level programming language
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps ๐ฑ!
Issues and proposals related to the HF Stability Working Group
A massively parallel, optimal functional runtime in Rust
A stream-based runtime-verification framework for generating hard real-time C code.
A fullstack web application that provides new stock traders a free safe alternative way to learn the stock market with paper money and realtime market data
A static website compiler library in Haskell
Create beautiful and semantically meaningful articles with pandoc.
5D Diplomacy With Multiverse Time Travel
Course syllabus for CSCI 49380/79526-01, Fall 2020
A purely functional programming language with first class types
Project Cupid (NYC Marriage license) appointment finder
A programming language with static memory management based on ฮป-calculus
A Haskell library defining a collection of algebraic laws
Create beautiful diagrams just by typing notation in plain text.
๐๐๐ฎ๐ก๐ค๐๐๐ฃ๐๐ฉ๐๐ ๐พ๐ค๐ข๐ฅ๐ค๐ฃ๐๐ฃ๐ฉ ๐๐ง๐๐ฅ๐ โธบ Haskell program and libraries for general phylogenetic graph search