Alternatives and similar repositories for chezbob

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

• cucapra / pollen
  generating hardware accelerators for pangenomic graph queries
  ☆38Updated 3 weeks ago
• mwillsey / cs265
  Website for CS 265
  ☆28Updated 5 months ago
• Cal-CS-61A-Staff / oh-queue
  Web-based queue for office hours
  ☆18Updated 4 years ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 10 months ago
• opencompl / paper-template
  A template for writing CS papers with latex -- includes CI, todonotes, ...
  ☆35Updated 2 months ago
• yatisht / darwin
  Darwin: A co-processor for long read alignment
  ☆16Updated 6 years ago
• vegaluisjose / reticle
  ☆40Updated 3 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• arun-sub / genomicsbench
  A benchmark suite to study the performance characteristics of genomics applications
  ☆32Updated 7 months ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆66Updated 4 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆85Updated 2 months ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• qqq-wisc / wisq
  ☆20Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆173Updated 2 weeks ago
• MatthiasJReisinger / PolyBenchC-4.2.1
  PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
  ☆88Updated 8 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆49Updated 2 weeks ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• emeryberger / PC-Resources
  Resources for conference program chairs, especially in systems/PL areas of computer science.
  ☆11Updated 2 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆52Updated last week
• audemard / glucose
  The glucose SAT solver
  ☆101Updated 7 months ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• quepas / Compiler-benchmark-suites
  A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
  ☆53Updated last year
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆112Updated last month
• opencompl / Quidditch
  IREE compiler and runtime for Snitch
  ☆12Updated last month
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated last week
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆143Updated 10 months ago
• PASSIONLab / ELBA
  Parallel String Graph Construction, Transitive Reduction, and Contig Generation for De Novo Genome Assembly
  ☆16Updated 11 months ago
• thu-cs-lab / jieplag
  Plagiarism detection tool in Rust (inspired by Stanford Moss)
  ☆51Updated 2 months ago
• agile-hw / labs
  Lab assignments for the Agile Hardware Design course
  ☆14Updated last week
• jiegec / cpu
  Microarchitecture diagrams of several CPUs
  ☆36Updated last month