luqui/vatican

A lazy specializing virtual machine for purely functional languages

inforichland/freezing-spice

A pipelined RISCV implementation in VHDL

jordanisaacs/rustix-uring

The `io_uring` library for Rust (with Rustix)

riscv/riscv-bitmanip

Working draft of the proposed RISC-V Bitmanipulation extension

jasisz/aver

Aver is a programming language for auditable AI-written code

metaborg/spoofax

Spoofax runtime

LaurentMazare/xla-rs

Experimentation using the xla compiler from rust