General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

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

Share mathematics on the web with LaTeX and Markdown