Alternatives and similar repositories for PC-Resources

Users that are interested in PC-Resources 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
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆103Updated this week
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 7 months ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆72Updated 5 months ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• mwillsey / cs265
  Website for CS 265
  ☆30Updated 10 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆154Updated last month
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆23Updated 2 years ago
• vegaluisjose / reticle
  ☆40Updated 4 years ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆21Updated last week
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆51Updated 3 weeks ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 5 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆112Updated 2 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆80Updated this week
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆70Updated 5 months ago
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆145Updated 2 weeks ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated last year
• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆31Updated 4 years ago
• ADAPT-uiuc / TensorRight
  TensorRight: Automated Verification of Tensor Graph Rewrites
  ☆15Updated last week
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆69Updated last year
• apl-cornell / PDL
  A Hardware Pipeline Description Language
  ☆48Updated 3 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆54Updated 7 months ago
• dslab-epfl / lpn
  Repo for Performance Interfaces for Hardware Accelerators.
  ☆15Updated 2 months ago
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆35Updated 3 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆82Updated 4 months ago