Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Parameterized ergonomic keyboard
-
A web server written in Elm + Deno
-
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
-
Play Minesweeper by formally proving your moves in Idris
-
A friendly programming language from the future
-
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
-
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Papers from the computer science community to read and discuss.
-
A modern gem manager: Gel is a lightweight alternative to Bundler
-
A minimal test double library for TDD with JavaScript