H-Huang / LL1-AcademyLinks
LL1 by Team , made with
☆11Updated 3 years ago
Alternatives and similar repositories for LL1-Academy
Users that are interested in LL1-Academy are comparing it to the libraries listed below
Sorting:
- Learning Rust in 6 weeks with ACM @ UCLA!☆10Updated 3 years ago
- The code for Hotseat!☆17Updated last year
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆450Updated 3 months ago
- 🐀 Regular Expression Denial of Service analyzer.☆26Updated last year
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆275Updated last week
- Program synthesis class taught by Loris D'Antoni☆38Updated 2 months ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆50Updated last month
- 👋 get to know me through my personal website!☆10Updated 4 months ago
- An autograder base Docker image for Gradescope with improved security☆18Updated 2 years ago
- The Vellvm (Verified LLVM) coq development.☆451Updated this week
- Collection of Verification Tasks (MOVED, please follow the link)☆186Updated 4 years ago
- Visual Studio Code extension for Coq☆426Updated 2 weeks ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆248Updated last year
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆298Updated last week
- Race Condition Running☆11Updated 2 weeks ago
- Online demo without installing at - https://buildit.so/tryit☆187Updated 2 weeks ago
- Apron Numerical Abstract Domain Library☆143Updated 9 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆355Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆251Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆180Updated 3 weeks ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆413Updated this week
- A fuzzing framework for SMT solvers☆194Updated 3 weeks ago
- SRI Yices SMT Solver☆439Updated 3 months ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- The Ultimate program analysis framework.☆236Updated last week
- Yet Another Random Program Generator☆542Updated last month
- Verified Software Toolchain☆482Updated last week
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆137Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- SeaHorn Verification Framework☆467Updated 6 months ago