Transform a tree-walking interpreter into a stack machine

Interoperable effects based concurrency

Shrinkray is a modern multi-format test-case reducer

language-agnostic program reducer.

Prolog implementation of microKanren

An ARMv8 virtual platform based on QEMU and VCML

Function graph tracer for C/C++/Rust/Python

A modeling library with virtual components for SystemC and TLM simulators

A sinless derive helper

Artifact for "Macros For Domain-Specific Languages", OOPSLA 2020

DynASM - a Dynamic Assembler for code generation engines

Bibliography of Scheme-related Research

Linux running inside a PDF file via a RISC-V emulator

Easy SMT solver interaction

Code. Music. Together.

Very tiny embeddable Tcl-like language in safe Rust

End-to-end synthesis and P&R toolchain

Rust crate with macro to create recursive closures (similar to the Y combinator).

Verification environment for the OpenHW Group's CORE-V High Performance Data Cache controller.

KaRaMeL is a tool for extracting low-level F* programs to readable C code

SECD machine and Lispkit Lisp compiler, in Python

Efficient, deferred formatting for logging on embedded systems

Support libraries for Rust on Cortex-R

Yet Another Parser library for Rust. A lightweight, dependency free, parser combinator inspired set of utility methods to help with parsing strings and slices.

DWARF Explorer - a GUI utility for navigating the DWARF debug information

Wasm SpecTec specification tools

A demo implementation of a simple dependently-typed language