manya-bansal / mosaicView external linksLinks
☆14May 19, 2023Updated 2 years ago
Alternatives and similar repositories for mosaic
Users that are interested in mosaic are comparing it to the libraries listed below
Sorting:
- ☆11Feb 28, 2023Updated 2 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- ☆16Jun 13, 2024Updated last year
- The code for our paper "Neural Architecture Search as Program Transformation Exploration"☆16Apr 28, 2021Updated 4 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Oct 14, 2019Updated 6 years ago
- This project records the process of optimizing SGEMM (single-precision floating point General Matrix Multiplication) on the riscv platfor…☆24Dec 11, 2024Updated last year
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 3 months ago
- Julia package for hierarchical matrices☆28Oct 24, 2024Updated last year
- QIR compiler tools and optimization passes for targeting QIR to different hardware backends☆31Oct 18, 2023Updated 2 years ago
- MIT iQuHACK 2022 x Microsoft x IonQ Challenge☆10Jan 30, 2022Updated 4 years ago
- Various examples for Chisel HDL☆30Mar 20, 2022Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated 3 weeks ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 2 years ago
- FHEM-Modules for the SMA Energy Meter and SMA Inverters☆10Oct 28, 2021Updated 4 years ago
- MATLAB code for simulating the extraction of espresso style coffee☆10Jan 15, 2019Updated 7 years ago
- A tool designed to compare energy and emission costs between computer chips☆13Dec 9, 2023Updated 2 years ago
- SparseTIR: Sparse Tensor Compiler for Deep Learning☆142Mar 31, 2023Updated 2 years ago
- Yet another Linux distro for RISC-V.☆13Dec 25, 2025Updated last month
- ☆10Jan 16, 2025Updated last year
- A simple Perceptron in Python☆10Feb 11, 2022Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆10Apr 24, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Alpha64 R10000 Two-Way Superscalar Processor☆11May 6, 2019Updated 6 years ago
- Turbo coder and decoder☆12Oct 11, 2023Updated 2 years ago
- FPGA synthesis tool powered by program synthesis☆55Dec 15, 2025Updated 2 months ago
- Recursive LAPACK Collection☆44Feb 20, 2022Updated 3 years ago
- Some calculations using the the AdS/CFT duality.☆11Jan 24, 2023Updated 3 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Nov 25, 2024Updated last year
- A general slow DDR3 interface. Very little resource consumption. Suits for all FPGAs with 1.5V IO voltage.☆11Dec 14, 2022Updated 3 years ago
- ☆11Dec 9, 2022Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- ☆11Nov 22, 2024Updated last year
- Pathway visualization and analysis tool for Pathway Commons and other BioPAX data☆14May 25, 2022Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago