Lists (1)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
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…
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
Hypergraph Exchange Format (HIF) definition and validator libraries
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
The home of the CUE language! Validate and define text-based and dynamic configuration
TBLIS is a library and framework for performing tensor operations, especially tensor contraction, using efficient native algorithms.
A portable programming language with a compact intermediate representation
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Code for A Programmer's Introduction to Mathematics
Implementations of the Inflation Technique for Causal Inference.