Alternatives and similar repositories for peppercornenumerator:

Users that are interested in peppercornenumerator are comparing it to the libraries listed below

• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆34Updated this week
• michalpaszkowski / LLVM-Canon
  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
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated 4 months ago
• ChezJrk / verified-scheduling
  ☆38Updated 11 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆16Updated 5 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 9 months ago
• cjdelisle / libposit
  A library for working with the posit number type.
  ☆15Updated 4 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆32Updated last week
• MPACT-ORG / mpact-compiler
  Retargetable ML compilers for the twenty-first century!
  ☆12Updated 2 weeks ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated 2 weeks ago
• cucapra / latte21
  Languages, Tools, and Techniques for Accelerator Design
  ☆32Updated 3 years ago
• IanBriggs / megalibm
  ☆16Updated last year
• gtcasl / cash
  A C++ Library for Hardware Design and Simulation
  ☆15Updated 4 years ago
• seanbaxter / mgpu-shaders
  moderngpu algorithms for C++ shaders
  ☆16Updated 4 years ago
• YoWASP / vscode
  YoWASP toolchain for Visual Studio Code
  ☆19Updated 2 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• apl-cornell / PDL
  A Hardware Pipeline Description Language
  ☆43Updated last year
• google-research / structured-additive-IR
  ☆58Updated this week
• bespoke-silicon-group / bsg_replicant
  BSG Replicant: Cosimulation and Emulation Infrastructure for HammerBlade
  ☆31Updated 2 weeks ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• ZipCPU / qoiimg
  Quite OK image compression Verilog implementation
  ☆19Updated 4 months ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆43Updated 3 weeks ago
• Diderot-Language / diderot
  The Diderot language compiler
  ☆15Updated 2 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year