DNA-and-Natural-Algorithms-Group / peppercornenumeratorLinks
domain-level nucleic acid reaction enumeration
☆10Updated 2 years ago
Alternatives and similar repositories for peppercornenumerator
Users that are interested in peppercornenumerator are comparing it to the libraries listed below
Sorting:
- ☆29Updated 3 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 5 months ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 4 years ago
- Library to plot integer sets and maps☆53Updated 8 years ago
- Verilog AST☆21Updated last year
- Embedded Universal DSL: a good DSL for us, by us☆54Updated this week
- Declarative MLIR compilers in Python!☆35Updated 5 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆16Updated last year
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 8 years ago
- GPU model checker☆11Updated 6 years ago
- ☆44Updated last week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated 3 weeks ago
- firrtlator is a FIRRTL C++ library☆23Updated 8 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆109Updated 2 months ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Updated 9 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- User-Mode Driver for Tenstorrent hardware☆35Updated this week
- ☆40Updated 4 years ago
- ☆26Updated last week
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆71Updated 9 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆29Updated 3 weeks ago
- A library for working with the posit number type.☆16Updated 5 years ago
- Gatery, a library for circuit design.☆21Updated 11 months ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- A domain-specific language and compiler for image processing☆77Updated 4 years ago
- RISC-V assembler/simulator with GUI☆14Updated 3 years ago
- Search-based compiler for high-performance DSP programming☆69Updated last year
- The PE for the second generation CGRA (garnet).☆17Updated 6 months ago
- Gate-Level Simulation on a GPU☆10Updated 8 years ago