Stars
A community database for the problems on the erdosproblems.com site
A collection of formalized statements of conjectures in Lean.
Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec
An emoji legend to help convey intention and added meaning in code review comments.
A free, open-source, offline Cantonese Dictionary for Windows, Mac, and Linux. Qt, SQLite. C++ and Python.
A catalogue of Rust design patterns, anti-patterns and idioms
Proximal Policy Optimization (PPO) algorithm for Super Mario Bros
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
A List of Foundational Haskell Papers
A gently curated list of companies using Haskell in industry
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
A toy Python interpreter with monad comprehensions
The compiler is available for download. Get it!
A Haskell library for typesafe music composition
Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.