Moved to Codeberg

A collection of resources for learning type theory and type theory adjacent fields.

Java algorithms for commutative and Weyl algebras

The Agda standard library

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Season 3 of @twosigma's artificial intelligence programming challenge

Express starter kit with ES2017+ support, testing, linting, and code coverage

A curated list of amazingly awesome open-source sysadmin resources.

The Julia Programming Language

Netty project - an event-driven asynchronous network application framework

Mathematics pastebin software that powered MathB.in from 2012 to 2025