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

An advanced static type checker

Vim mode for VSCode, powered by Neovim