DNA-and-Natural-Algorithms-Group / peppercornenumeratorLinks
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
Sorting:
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 11 years ago
- FPGA synthesis tool powered by program synthesis☆49Updated 2 weeks ago
- A library for working with the posit number type.☆15Updated 4 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆13Updated 4 years ago
- The PE for the second generation CGRA (garnet).☆17Updated last month
- Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)☆31Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated last week
- ZFP Hardware Implementation☆13Updated 2 years ago
- YoWASP toolchain for Visual Studio Code☆19Updated 4 months ago
- egraphs-good website☆17Updated 7 months ago
- This is the universal backend for the Venus project.☆8Updated 3 years ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆19Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆49Updated this week
- Verilog AST☆21Updated last year
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆12Updated 6 years ago
- A C++ Library for Hardware Design and Simulation☆15Updated 5 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- Gatery, a library for circuit design.☆19Updated 5 months ago
- Unofficial Yosys WebAssembly packages☆71Updated last week