☆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 3 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- ☆16Jun 13, 2024Updated last year
- 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
- Julia package for hierarchical matrices☆28Oct 24, 2024Updated last year
- ☆38Updated this week
- 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 last month
- 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☆143Mar 31, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Turbo coder and decoder☆12Oct 11, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Distributed Communication-Optimal Shuffle and Transpose Algorithm☆14Feb 20, 2026Updated 2 weeks ago
- Large-scale medical image processing and reconstruction toolbox☆18Feb 13, 2024Updated 2 years ago
- ☆10Jan 16, 2025Updated last year
- ☆10Apr 24, 2024Updated last year
- Alpha64 R10000 Two-Way Superscalar Processor☆11May 6, 2019Updated 6 years ago
- A simple Perceptron in Python☆10Feb 11, 2022Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- FPGA synthesis tool powered by program synthesis☆55Dec 15, 2025Updated 2 months ago
- Recursive LAPACK Collection☆44Feb 20, 2022Updated 4 years ago
- Space CACD☆11Oct 16, 2019Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- ☆11Jul 6, 2023Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- Low-level typesafe HDF5 bindings☆28Feb 22, 2013Updated 13 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Code to reproduce all the results in the paper: "Learning dynamics of linear denoising autoencoders." (ICML 2018)☆11Aug 20, 2018Updated 7 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆12Jan 23, 2024Updated 2 years ago
- A general slow DDR3 interface. Very little resource consumption. Suits for all FPGAs with 1.5V IO voltage.☆11Dec 14, 2022Updated 3 years ago