mimalloc is a compact general purpose allocator with excellent performance.

Koka language compiler and interpreter

Lean 4 programming language and theorem prover

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

Repository for the book "Crafting Interpreters"

Maintainable configuration files

Liquid Types For Haskell

A purely functional programming language with first class types

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

Mono open source ECMA CLI, C# and .NET implementation.

Alternative rust compiler (re-implementation)

The Julia Programming Language

Empowering everyone to build reliable and efficient software.

The Python programming language

The Go programming language

Node.js JavaScript runtime ✨🐢🚀✨

A modern runtime for JavaScript and TypeScript.

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…

The Ruby Programming Language

The Racket repository

The Kotlin Programming Language.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

The Agda standard library

Demo for high-performance type theory elaboration

Metamath Zero specification language

Metamath program - source code for the Metamath executable

Typed Racket

Lean 3 Theorem Prover (community fork)

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Create ridiculously fast Lexers