Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Ocaml Proof Assistant Open Source Projects

Open source projects categorized as Ocaml Proof Assistant
Coq ⭐ 4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dependent packages 1total releases 4most recent commit 3 months ago
Fstar ⭐ 2,522
A Proof-oriented Programming Language
most recent commit 3 months ago
Lambdapi ⭐ 241
Proof assistant based on the λΠ-calculus modulo rewriting
most recent commit 3 months ago
Cooltt ⭐ 206
😎TT
most recent commit 6 months ago
Redtt ⭐ 183
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
most recent commit 2 years ago
Fiat ⭐ 141
Mostly Automated Synthesis of Correct-by-Construction Programs
most recent commit 4 months ago
Kami ⭐ 130
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
most recent commit 6 months ago
Coq Serapi ⭐ 119
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
most recent commit 3 months ago
Nunchaku ⭐ 41
Model finder for higher-order logic
most recent commit 5 months ago
Algaett ⭐ 27
🦠 An experimental elaborator for dependent type theory using effects and handlers
most recent commit 7 months ago
Mugen ⭐ 24
♾️ A library for universe levels and universe polymorphism
most recent commit 4 months ago
Kado ⭐ 18
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
most recent commit 5 months ago
Easier Proofs ⭐ 14
A project which aim to help engineers to make proves easily
most recent commit 2 years ago
Anders ⭐ 13
Anders: Cubical Type Checker
most recent commit 6 months ago
Pml ⭐ 12
New version of the PML language and (classical) proof assistant
most recent commit 3 years ago
Albatross ⭐ 8
Compiler for the Albatross Language
most recent commit 3 years ago
Vstyle ⭐ 7
A style guide for Coq
most recent commit 2 years ago
Bravo ⭐ 6
Castle Bravo: Experimental HoTT Implementation
most recent commit 10 months 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.