SPARK 2014 repository for the Why3 verification platform.
☆35Feb 10, 2026Updated 2 weeks ago
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below
Sorting:
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 4 years ago
- SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…☆295Updated this week
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆29Updated this week
- ☆13Feb 4, 2026Updated 3 weeks ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆13Sep 28, 2023Updated 2 years ago
- ☆18Dec 9, 2025Updated 2 months ago
- Tiny Lisp Interpreter Written in Ada☆31Dec 14, 2025Updated 2 months ago
- Open source F# mathematical logic library.☆12May 16, 2022Updated 3 years ago
- A dynamic way to instantiate an OCaml flow☆17Jun 25, 2024Updated last year
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆13Jan 3, 2025Updated last year
- Training files for Ada courses☆13Jan 26, 2026Updated last month
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- GNATcoverage: Coverage Analysis Tool☆46Updated this week
- AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros…☆17Jan 11, 2026Updated last month
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Jane Street universe☆17Sep 14, 2020Updated 5 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.☆21Feb 16, 2026Updated last week
- The 1802 cross-assembler from CUG-149. (C User's Group http://www.hal9k.com/cug/)☆18Nov 26, 2019Updated 6 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 3 years ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated 11 months ago
- Release snapshots of the Frama-C platform for source code analysis☆185Oct 21, 2020Updated 5 years ago
- Embeddable Lambda Prolog Interpreter☆339Jan 24, 2026Updated last month
- Optimizing Oberon-2 Compiler☆36Apr 5, 2016Updated 9 years ago
- Type-level interfaces for type-level design in Rust☆25Feb 3, 2025Updated last year
- TTG: Template Task Graph C++ API☆26Feb 10, 2026Updated 2 weeks ago
- Extract information from Emacs Lisp libraries☆28Jan 3, 2026Updated last month
- High level commands to declare a hierarchy based on packed classes☆104Updated this week
- A GameBoy emulation library in Ada☆29Updated this week
- Isabelle LLVM Code Generator and Refinement☆29Nov 10, 2025Updated 3 months ago
- tiny emacs☆28Dec 11, 2021Updated 4 years ago
- Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.☆24Jul 30, 2013Updated 12 years ago
- Embeddable Forth interpreter written in Ada☆28Sep 20, 2015Updated 10 years ago