LR(1) parser generator for Rust

Create ridiculously fast Lexers

The rustic MLIR bindings in Rust

R6RS/R7RS Scheme implementation in Rust with JIT compilation

Lisp implemented inside Rust trait system

native uxn emulator for plan9

Spartan type theory

A prototypical dependently typed languages with sized types and variances

A statically typed Lisp like scripting programming language for Rust.

Mal Lisp for TempleOS

The standalone Linux Lisp

Incompatible Timesharing System

A propositional logic theorem prover using sequent calculus with implementations in Haskell and OCaml

For the joy of programming

Not quite awesome...just some.

Translates WebAssembly modules to C (Plan 9 edition)

This is the ual programming language

Translates WebAssembly modules to portable C

A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

framebuffer grabber

a pure lazy functional programming language to make ASCII art animations (and other things too)

Rational R1000/s400 emulator (second iteration)

virtual lisp machine on linux

The original source code of the vi text editor, taken from System V

OpenVi: Portable OpenBSD vi for UNIX systems

A multibyte fork of the nvi editor for BSD

The 12x22 raster font we love, used by Sun Microsystems SPARC stations. With a ton of Unicode glyphs!