grigory-rechistov / simbook

Related projects ⓘ

Alternatives and complementary repositories for simbook

• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆34Updated 5 months ago
• P3109 / Public
  materials available to the public
  ☆18Updated 2 weeks ago
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆44Updated last month
• ychen306 / vegen
  ☆27Updated last year
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 weeks ago
• jakobmoosbauer / flips
  ☆9Updated 11 months ago
• iree-org / iree-bare-metal-arm
  Example for running IREE in a bare-metal Arm environment.
  ☆23Updated 2 months ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆17Updated 6 months ago
• thoughtworks / hardposit-chisel3
  Chisel library for Unum Type-III Posit Arithmetic
  ☆32Updated 7 months ago
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆33Updated 4 years ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆21Updated 2 years ago
• gvsoc / gvsoc
  ☆12Updated last week
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆30Updated last year
• opencompl / dyn-dialect
  A repository to test dialects defined dynamically.
  ☆12Updated last year
• cucapra / latte21
  Languages, Tools, and Techniques for Accelerator Design
  ☆33Updated 3 years ago
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆28Updated 3 years ago
• mc-imperial / multicore-test-harness
  A multicore microprocessor test harness for measuring interference
  ☆13Updated 4 years ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆15Updated 9 months ago
• blucia0a / MultiCacheSim
  A Coherent Multiprocessor Cache Simulator Based on the SuperESCalar Cache Model
  ☆25Updated 11 years ago
• spiral-software / spiral-software
  Public source repository for the SPIRAL project
  ☆206Updated 11 months ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆38Updated this week
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• makslevental / mlir-wheels
  ☆21Updated 3 weeks ago
• ucb-bar / shuttle
  A Rocket-based RISC-V superscalar in-order core
  ☆28Updated 3 weeks ago
• brucehoult / rvv_example
  Simple demonstration of using the RISC-V Vector extension
  ☆37Updated 7 months ago
• OpenCilk / opencilk-project
  Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.
  ☆93Updated this week
• periscop / candl
  Data Dependence Analyzer in the Polyhedral Model
  ☆19Updated last year
• nadavrot / pgo_ml
  Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"
  ☆23Updated 2 years ago
• sifive / chisel-circt
  Library to compile Chisel circuits using LLVM/MLIR (CIRCT)
  ☆70Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆68Updated this week