Go reading trainer — blindfold liberty counting quiz

Haskell implemented with combinators

FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…

A computer algebra system for research in combinatorial game theory

Alexander Grothendieck's 1972 talk at CERN, on scientific research

Hex program developed at MiM UW.

Whole-History Rating

Inpla: Interaction nets as a programming language (the current version)

The Crystal Programming Language

An experimental type checker for a modal dependent type theory.

Minimal implementations for dependent type checking and elaboration

😎TT

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Proof assistant for opetope and opetopic set derivation systems 🐍 🎓

A language for intent-centric and declarative decentralised applications

A modern proof language

GTP engine and self-play learning in Go

translations of a lambda abstraction to combinations of operators

Organization and planning for the Initial Types Club

The Incredible Proof Machine

My Cambridge Lecture Notes

Cartesian Cubical Type Theory

A minimal proof language.

The Om programming language.

Parallel Environment for optimal Lambda Calculus Reduction

R6RS Scheme implementation written in Rust

Go Lightweight Frontend

Incubation project for the official scala.swing distribution. See the wiki page for details.

A fork of GoGui.