SPARK 2014 repository for the Why3 verification platform.
☆35Mar 13, 2026Updated last week
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below
Sorting:
- SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…☆298Updated this week
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆16Aug 30, 2025Updated 6 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- Open source F# mathematical logic library.☆12May 16, 2022Updated 3 years ago
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- z3-powered solver (theorem prover) for deal☆13Sep 28, 2023Updated 2 years ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Portable MurmurHash Implementation☆11Feb 19, 2024Updated 2 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Optimizing Oberon-2 Compiler☆36Apr 5, 2016Updated 9 years ago
- Embeddable Lambda Prolog Interpreter☆353Mar 3, 2026Updated 2 weeks ago
- GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.☆79Jan 22, 2026Updated last month
- AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros…☆17Jan 11, 2026Updated 2 months ago
- A dynamic way to instantiate an OCaml flow☆17Feb 26, 2026Updated 3 weeks ago
- An ENSIME SideKick plugin for jEdit☆16Jan 9, 2012Updated 14 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- Release snapshots of the Frama-C platform for source code analysis☆187Oct 21, 2020Updated 5 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 2 months ago
- ☆13Feb 4, 2026Updated last month
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆14Jan 3, 2025Updated last year
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆29Mar 13, 2026Updated last week
- Cicada scripting language☆48Updated this week
- Jane Street universe☆17Sep 14, 2020Updated 5 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- ☆19Dec 9, 2025Updated 3 months ago
- Type-checker for the λΠ-calculus modulo rewriting☆228Nov 25, 2025Updated 3 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- Source and Library repository for all things Rexx☆13Nov 1, 2025Updated 4 months ago
- GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.☆497Mar 13, 2026Updated last week
- A Python library for creating digital sound.☆13Sep 22, 2024Updated last year
- A scripting language for cowboy coders☆22Jun 1, 2024Updated last year
- The TLA⁺ Proof Manager☆109Jan 15, 2026Updated 2 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 10, 2026Updated last week
- thinkphp5 RCE auto exploit☆11Jun 19, 2019Updated 6 years ago
- Test repo for sharing code snippets and learning about git☆15Feb 22, 2026Updated 3 weeks ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- Oberon Portable Compiler and Linker☆14Oct 1, 2011Updated 14 years ago