Alternatives and similar repositories for LL1-Academy

Users that are interested in LL1-Academy are comparing it to the libraries listed below

• hotseatio / hotseat.io
  The code for Hotseat!
  ☆17Updated 10 months ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• saligrama / securescope
  An autograder base Docker image for Gradescope with improved security
  ☆18Updated 2 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆445Updated this week
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 3 months ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆439Updated last month
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆413Updated this week
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆673Updated last month
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆290Updated last month
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆273Updated this week
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆749Updated this week
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆292Updated this week
• phreppo / rat
  🐀 Regular Expression Denial of Service analyzer.
  ☆25Updated last year
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 2 years ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆994Updated 3 weeks ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated last week
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆250Updated this week
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆474Updated this week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆431Updated 2 months ago
• model-checking / cbmc-starter-kit
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆48Updated this week
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆397Updated this week
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆354Updated last year
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆318Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆159Updated this week
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• sampsyo / cs6120
  advanced compilers
  ☆872Updated 2 weeks ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,209Updated last week