Alternatives and similar repositories for asstprofbook:

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

• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆117Updated last month
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated 11 months ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• Ying1123 / awesome-neural-symbolic
  A list of awesome neural symbolic papers.
  ☆44Updated 2 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆21Updated 3 years ago
• gussmith23 / lakeroad
  FPGA synthesis tool powered by program synthesis
  ☆41Updated 2 months ago
• jiazhihao / attention_superoptimizer
  An Attention Superoptimizer
  ☆21Updated 3 weeks ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 2 years ago
• pauls658 / ReluDiff-ICSE2020-Artifact
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆10Updated 3 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆31Updated 8 months ago
• ucbrise / cs294-ai-sys-fa19
  CS294-162; Machine Learning Systems Seminar
  ☆31Updated last year
• baco-authors / baco
  ☆16Updated last year
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆17Updated 6 months ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 2 months ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆38Updated 2 years ago
• dywsjtu / apparate
  Artifact for "Apparate: Rethinking Early Exits to Tame Latency-Throughput Tensions in ML Serving" [SOSP '24]
  ☆22Updated 2 months ago
• verivital / vnn-comp
  ☆12Updated last year
• ebmoon / transformers-GAD
  [NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
  ☆12Updated this week
• jetafese / btor2mlir
  Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
  ☆13Updated 2 months ago
• zhisbug / Cavs
  Cavs: An Efficient Runtime System for Dynamic Neural Networks
  ☆14Updated 4 years ago
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago
• illinois-impact / klap
  A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches
  ☆15Updated 5 years ago
• 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 3 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• ithemal / DiffTune
  ☆17Updated 3 years ago
• noise-lab / research-course
  "How to Do Great Research" Course for Ph.D. Students
  ☆112Updated last year
• Thesys-lab / parity-models
  Learning-Based Coded Computation
  ☆47Updated 2 years ago
• lip6 / painless
  A framework to ease parallelization of sequential SAT solvers
  ☆15Updated 3 months ago
• strongh2 / sc22-ae
  ☆12Updated 2 years ago