garritfra/qbe-rs

QBE IR in natural Rust data structures

dbp/funtal

FunTAL: mixing a functional language with assembly.

gibbon-compiler/gibbon

A compiler for functional programs on serialized data

LaurentMazare/xla-rs

Experimentation using the xla compiler from rust

inQWIRE/SQIR

A Small Quantum Intermediate Representation

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

JBakouny/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

johnwinans/rvalp

RISC-V Assembly Language Programming