A purely functional programming language with first class types

being some thoughts about introductory mathematics for computer science

An introduction to programming language theory in Agda

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

🎧 Open source Spotify client that doesn't require Premium nor uses Electron! Available for both desktop & mobile!

Lean Library currently studying for a degree at Imperial College

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

An ML-like functional programming language

A web service offering HTML5 articles from arXiv.org as converted with latexml

The collected works of F. W. Lawvere

Source material for Algebra-Driven Design

The CompCert formally-verified C compiler

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Example state machine in Rust

Terminal file explorer

Сайт на българската Мокушо дзен санга

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

A catalog of programming languages

Command-line program to download videos from YouTube.com and other video sites

The Agda standard library

Agda is a dependently typed programming language / interactive theorem prover.

papers of Per Martin Löf

a static html and gemini mail archive for the 21st century, written in Rust

6502 fantasy console experiment / toy

The Vega font - uses Ligatures & Contextual Alternates to add a little glitch to your world

Bootstrapping LISP in a Boot Sector

Example-based Haskell Documentation Engine

Thoughts on adjoint, norm and such.

Boffin Typeface

Universal markup converter