Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Ocaml Verification Open Source Projects

Open source projects categorized as Ocaml Verification
Fstar ⭐ 2,522
A Proof-oriented Programming Language
most recent commit 3 months ago
Karamel ⭐ 377
KaRaMeL is a tool for extracting low-level F* programs to readable C code
most recent commit 3 months ago
Scilla ⭐ 238
Scilla - A Smart Contract Intermediate Level Language
most recent commit 10 months ago
Coqhammer ⭐ 194
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 5 months ago
Kami ⭐ 130
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
most recent commit 6 months ago
Flyspeck ⭐ 98
The formal proof of the Kepler conjecture
most recent commit 3 years ago
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12most recent commit 10 months agonpm qcert} Downloads
Lvc ⭐ 51
LVC verified compiler
most recent commit 5 years ago
Fix Engine ⭐ 47
Imandra FIX Engine
most recent commit 3 months ago
Ocaml Offchain ⭐ 39
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
most recent commit 4 years ago
Pycoq ⭐ 34
Python bindings for the Coq interactive proof assistant
most recent commit 2 years ago
Proscript Messaging ⭐ 32
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
most recent commit 2 years ago
Loopinvgen ⭐ 31
Generates loop invariants for program verification
most recent commit 4 years ago
Rel ⭐ 31
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
most recent commit 7 months ago
Nv ⭐ 30
A Framework for Modeling and Analyzing Network Configurations
most recent commit a year ago
Actario ⭐ 28
Verification Framework for Actor Systems on Coq
most recent commit 6 years ago
Sml Handbook ⭐ 26
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
most recent commit 7 years ago
Why3 ⭐ 25
SPARK 2014 repository for the Why3 verification platform.
most recent commit 3 months ago
Oraft ⭐ 24
Library of Raft consensus algorithm implemented in OCaml
most recent commit 8 months ago
Lvca ⭐ 15
language verification, construction, and analysis
most recent commit 2 years ago
Roosterize ⭐ 15
Tool for suggesting lemma names in Coq verification projects
most recent commit 2 years ago
Mcoq ⭐ 14
Mutation analysis tool for Coq verification projects
most recent commit 4 years ago
Pipecheck ⭐ 13
most recent commit 9 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.