Alternatives and similar repositories for arora-barak-complexity:

Users that are interested in arora-barak-complexity are comparing it to the libraries listed below

• Shlw / Books-and-Exercises
  Book reading
  ☆15Updated 4 years ago
• pdlan / OSCAR
  Code for ICML 2021 paper: How could Neural Networks understand Programs?
  ☆123Updated 4 months ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• sun-wendy / DafnyBench
  DafnyBench: A Benchmark for Formal Software Verification
  ☆31Updated 3 months ago
• DLFrameworkBug / DLFrameworkBugsData
  a data collection of related work: Toward Understanding Deep Learning Framework Bugs
  ☆15Updated last year
• NoMoreHurt / NoMoreHurt
  ☆18Updated 3 years ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated 2 years ago
• FudanSELab / ClassEval
  Benchmark ClassEval for class-level code generation.
  ☆138Updated 5 months ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆55Updated last month
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆12Updated 2 months ago
• pkuzengqi / how-to-begin-phd-CN
  ☆74Updated 2 years ago
• LearningOpt / pie
  ☆50Updated 8 months ago
• lcpu-club / overleaf
  PKU LaTeX
  ☆49Updated 3 weeks ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆42Updated 9 months ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆28Updated 3 months ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆119Updated 3 months ago
• sakura0423 / USTC_Graph_Theory
  This is a repository for graph theory course in USTC
  ☆46Updated 2 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆24Updated 3 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆18Updated 7 months ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated last year
• jiangyy / NJU-TOC-Solutions
  Solutions to "Introduction to Models of Computation" of Nanjing University
  ☆62Updated 6 years ago
• ShenQingchao / DLCstudy
  This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
  ☆23Updated last year
• llm4code / 2024
  The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)
  ☆17Updated 6 months ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆91Updated 4 years ago
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆204Updated last month
• zkysfls / 20fall-
  ☆101Updated 5 years ago
• Kaffaljidhmah2 / Arxiv-Recommender
  ☆49Updated last year