The Julia Programming Language

Moved to Codeberg

Netty project - an event-driven asynchronous network application framework

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

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

The Agda standard library

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

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

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Season 3 of @twosigma's artificial intelligence programming challenge

Java algorithms for commutative and Weyl algebras