Verified SSA-Based Register Assignment

Lovable memory-safe systems language with a pretty fast compiler

WIP stack language that uses regex for control flow

insert a nerd emoji here

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A proof assistant for higher-dimensional type theory

A garden of small programming language implementations 🪴

Resumes generated using the GitHub informations

An example implementation of a dependent type theory in OCaml

The Som functional programming language

Minimal implementations for dependent type checking and elaboration

A functional programming language based on system F (omega) ft. NbE and higher order unification

Robot code from 2022 build season and offseason

The Hook Programming Language

The Real-time COVID-19 Status in Australia

cat

BluC bootstrap implementation in python

🎵 strongly-timed musical programming language

reworking quest, but faster

A better and stronger spiritual successor to BZip2.

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

A template for programming language discord bots

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

Rust for C++ programmers

The list of awesome programming languages that you might be interested in.

A human readable quasi-concatenative programming language

RPL++ - Stack-based Reverse polish notation Programming Language

A Bestiary of Single-File Implementations of Programming Languages

Specs and example of the KSM programming language