SPARK 2014 repository for the Why3 verification platform.
☆35Apr 2, 2026Updated last week
Alternatives and similar repositories for why3
Users that are interested in why3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…☆301Updated this week
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 7 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- GNATcoverage: Coverage Analysis Tool☆46Updated this week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆14Sep 28, 2023Updated 2 years ago
- ☆19Dec 21, 2024Updated last year
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Ada Wavefile Library☆19Dec 14, 2022Updated 3 years ago
- ganbaru zoi!☆28May 31, 2023Updated 2 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Optimizing Oberon-2 Compiler☆36Apr 5, 2016Updated 10 years ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 2 years ago
- Embeddable Lambda Prolog Interpreter☆355Mar 18, 2026Updated 3 weeks ago
- GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.☆78Mar 31, 2026Updated last week
- A simple heapless command line interface parser for embedded devices☆16Mar 15, 2019Updated 7 years ago
- Theorem Proving in Lean 4 日本語訳☆17Jan 11, 2025Updated last year
- Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト☆10May 8, 2024Updated last year
- 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 last month
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 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
- ☆18Aug 30, 2022Updated 3 years ago
- ☆15Feb 4, 2026Updated 2 months ago
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆14Jan 3, 2025Updated last year
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.☆25Jul 30, 2013Updated 12 years ago
- Kenja repository☆17Oct 29, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Your self-hosted, globally interconnected microblogging community☆13Feb 26, 2024Updated 2 years ago
- Cicada scripting language☆48Mar 19, 2026Updated 3 weeks ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆29Apr 2, 2026Updated last week
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- Type-checker for the λΠ-calculus modulo rewriting☆230Nov 25, 2025Updated 4 months ago
- Tiny Lisp Interpreter Written in Ada☆32Dec 14, 2025Updated 3 months ago