TroupeLang / TroupeLinks
Troupe programming language
☆21Updated last week
Alternatives and similar repositories for Troupe
Users that are interested in Troupe are comparing it to the libraries listed below
Sorting:
- A work-in-progress language and compiler for verified low-level programming☆310Updated 3 weeks ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆111Updated this week
- The Eldarica model checker☆89Updated 2 months ago
- The Gillian Platform main repository☆88Updated this week
- An SMT Solver for string constraints☆39Updated last month
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆62Updated 2 weeks ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- Definition of the Viper intermediate verification language.☆88Updated 3 weeks ago
- PL conference deadline countdowns☆61Updated 3 weeks ago
- A Verified Compiler for Gallina, Written in Gallina☆152Updated last week
- A mechanisation of Wasm in Coq(Rocq)☆107Updated last month
- Randomized Property-Based Testing Plugin for Coq☆267Updated 2 weeks ago
- A Library for Representing Recursive and Impure Programs in Coq☆229Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last month
- Apron Numerical Abstract Domain Library☆132Updated 4 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆77Updated 2 weeks ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month
- An overview of property-based testing functionality☆70Updated 2 months ago
- The Vellvm (Verified LLVM) coq development.☆440Updated this week
- Formal verification for OCaml☆266Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆377Updated 7 months ago
- PC-miner tool for program chairs☆27Updated this week
- SMTInterpol interpolating SMT solver☆67Updated last month
- Graph Theory [maintainers=@chdoc,@damien-pous]☆37Updated last month
- SymDiff-Differential-Program-Verifier☆36Updated last month
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆46Updated 7 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated 10 months ago
- Static program analysis for TIP☆295Updated 3 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆105Updated last week