Alternatives and similar repositories for chezbob

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

• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated last year
• qqq-wisc / wisq
  ☆29Updated 3 weeks ago
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆218Updated 3 months ago
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆43Updated 3 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆163Updated 2 weeks ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆187Updated 2 weeks ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆279Updated 3 weeks ago
• pocs-epfl / public
  POCS materials for the public
  ☆25Updated 3 weeks ago
• xdslproject / xdsl
  A Python compiler design toolkit.
  ☆470Updated this week
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆139Updated last month
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• microsoft / verus-proof-synthesis
  ☆64Updated this week
• liusy58 / CompilerNotes
  ☆24Updated 2 years ago
• kohler / hotcrp
  HotCRP conference review software
  ☆383Updated this week
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆144Updated this week
• yatisht / darwin
  Darwin: A co-processor for long read alignment
  ☆16Updated 6 years ago
• gaomy3832 / easypyplot
  Utilities and wrappers for Python matplotlib to make plot easier.
  ☆14Updated 3 years ago
• exo-lang / exo
  Exocompilation for productive programming of hardware accelerators
  ☆696Updated last week
• OrderLab / xinda
  Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems
  ☆16Updated 10 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆276Updated 3 weeks ago
• google / heir
  A compiler for homomorphic encryption
  ☆636Updated last week
• opencompl / Quidditch
  IREE compiler and runtime for Snitch
  ☆14Updated 3 months ago
• calyxir / calyx
  Intermediate Language (IL) for Hardware Accelerator Generators
  ☆573Updated this week
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆127Updated 9 years ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆205Updated this week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆90Updated 9 months ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 3 months ago
• jmgorius / mlir-standalone-template
  An out-of-tree MLIR dialect template.
  ☆113Updated last year
• sys-intelligence / system-intelligence-benchmark
  System Intelligence Benchmark
  ☆39Updated this week
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated last week