RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "QASM" format assembly language instructions, primarily for qu…

Reversible programs

32-bit RISC-V system on chip for iCE40 FPGAs

❄️ Visual editor for open FPGA boards

A modern hardware definition language and toolchain based on Python

This repository contains all the basic quantum city functions

egg is a flexible, high-performance e-graph library

Verifying the ZX Calculus

Hypergraph Exchange Format (HIF) definition and validator libraries

A graphical tool for the ZX calculus

A cyber-physical programming environment

Parse yer YAMLs

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

A language for building concurrent software with confidence

nqthm - the original Boyer-Moore theorem prover, from 1992

cuprous logic simulator

Sail architecture definition language

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Haskell implemented with combinators

The home of the CUE language! Validate and define text-based and dynamic configuration

Implementation for MatMul-free LM.

TBLIS is a library and framework for performing tensor operations, especially tensor contraction, using efficient native algorithms.

YAML parser for Dyalog APL

A portable programming language with a compact intermediate representation

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

MLIR For Beginners tutorial

Code for A Programmer's Introduction to Mathematics

A compiler for homomorphic encryption

Implementations of the Inflation Technique for Causal Inference.