ReVista theme - Windows Vista theme for GTK / XFCE

mruby/c is another implementation of mruby.

A static verifier for Rust, based on the Viper verification infrastructure.

Crucible is a library for symbolic simulation of imperative programs

PicoRuby is the smallest Ruby implementation for one-chip microcontrollers

GCC Front-End for Rust

The APL programming language (a subset thereof) compiling to Common Lisp.

A curated list of Game Boy development resources such as tools, docs, emulators, related projects and open-source ROMs.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

A BDD-based model checker (K ⊨ φ ) (CTL - Computational Tree Logic Only)

The Superior Lisp Interaction Mode for Emacs

A collection of out-of-tree LLVM passes for teaching and learning

Static Analyzer for LLVM based on Abstract Interpretation.

A collection of out-of-tree Clang plugins for teaching and learning

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

A C++ library that uses clever tricks to create super low-code, yet fully functional CLIs

MSVC's implementation of the C++ Standard Library.

A YAML parser and emitter in C++

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes