DNA-and-Natural-Algorithms-Group / peppercornenumerator
domain-level nucleic acid reaction enumeration
☆9Updated last year
Alternatives and similar repositories for peppercornenumerator:
Users that are interested in peppercornenumerator are comparing it to the libraries listed below
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆41Updated this week
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- ☆38Updated last year
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 11 months ago
- FPGA synthesis tool powered by program synthesis☆41Updated last week
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- A library for working with the posit number type.☆15Updated 4 years ago
- FPGA-based HyperLogLog Accelerator☆12Updated 4 years ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 10 months ago
- A C++ Library for Hardware Design and Simulation☆15Updated 4 years ago
- ☆16Updated last year
- A Hardware Pipeline Description Language☆44Updated last year
- A minimal (really) out-of-tree MLIR example☆44Updated 2 weeks ago
- materials available to the public☆24Updated 5 months ago
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆12Updated 5 years ago
- ☆11Updated 3 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 3 weeks ago
- Chisel library for Unum Type-III Posit Arithmetic☆37Updated 3 weeks ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 7 years ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆18Updated this week
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- GPU based Compressed Graph Traversal☆16Updated last year
- A Verilog Synthesis Regression Test☆37Updated last year
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago