tail-reversion

nushell

A new type of shell

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

HVM

A massively parallel, optimal functional runtime in Rust

Burn-My-Windows

🔥 Disintegrate your windows with style.

martin-lof

papers of Per Martin Löf

smalltt

Demo for high-performance type theory elaboration

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

project-m36

Project: M36 Relational Algebra Engine

rhombus-prototype

Brainstorming and draft proposals for Rhombus

shrubbery-rhombus-0

perfect-freehand

Draw perfect pressure-sensitive freehand lines.

blog_os

Writing an OS in Rust

unicode-math-vscode

Easy insertion of unicode math symbols

fp-course

Functional Programming Course

authorization-contracts

BQN

An APL-like programming language

resyntax

A Racket refactoring engine

Sirea

Simply Reactive! Declarative orchestration in Haskell using RDP

ee-lib

rebellion

A collection of core libraries for Racket

parsing-with-zippers-paper-artifact

The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.

rust-redex

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

racket-derp

Parsing with derivatives

WasmCert-Coq

A mechanisation of Wasm in Coq

continuations-study-group

pure

A pure type system implemented in OCaml

Carp

A statically typed lisp, without a GC, for real-time applications.

hackett

WIP implementation of a Haskell-like Lisp in Racket

next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

elpi

Embeddable Lambda Prolog Interpreter