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
Sorting:
- GPU model checker☆11Updated 6 years ago
- ☆39Updated last year
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- A C++ Library for Hardware Design and Simulation☆15Updated 5 years ago
- ☆17Updated last year
- FPGA synthesis tool powered by program synthesis☆46Updated last week
- embedding MLIR in LEAN☆47Updated 11 months ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆18Updated 3 weeks ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 11 months ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- egraphs-good website☆17Updated 7 months ago
- moderngpu algorithms for C++ shaders☆16Updated 4 years ago
- A minimal (really) out-of-tree MLIR example☆44Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- Verilog AST☆21Updated last year
- A rethinking of the C time library☆10Updated 3 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆46Updated 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
- The Cubicle model checker☆13Updated last year
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 4 months ago
- zGlue Chiplet Info Exchange Format (ZEF)☆10Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated last month
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- The Sherwood Architecture is a custom 64-Bit RISC based CPU architecture.☆15Updated 6 years ago
- The SiFive wake build tool☆90Updated last week
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 4 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago