Starred repositories
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
A list of projectional and structural editors
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
PhD course on Functional Programming and Climate Impact Research
Ask2Elle is an intelligent programming tutor for Haskell
This is an experimental base library which is supposed to contain functional datastructures and reflection code.
Repository with code snippets that accompany episodes of The Haskell Unfolder
Implementations of various type systems in OCaml.
💥💻💥 A data-parallel functional programming language
Domain-Specific Languages of Mathematics
Papers from the computer science community to read and discuss.
A massively parallel, optimal functional runtime in Rust
Algorithm Design (Kleinberg Tardos 2005) - Solutions
Pragmatic tutorial on how to use nix with a haskell monorepo
A collection of short notes about Nix, down to what is immediately needed for users.
A complete computer science study plan to become a software engineer.
[Deprecated!] This is a data visualization project that converts historical data rankings into dynamic bar charts.