Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Dependent Types Theorem Prover Open Source Projects

Open source projects categorized as Dependent Types Theorem Prover
Categories > Programming Languages > Dependent Types
Categories > Theorem Prover
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
Awesome Rust Formalized Reasoning ⭐ 246
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
most recent commit 3 months ago
Coqhammer ⭐ 194
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 5 months ago
Cicada Solo ⭐ 125
Cicada Language (solo version)
most recent commit 6 months ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 4 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 6 months agonpm cicada-lang} Downloads
Anders ⭐ 14
🧊 Модальний Гомотопічний Прувер
total releases 1most recent commit 6 months ago
Anders ⭐ 13
Anders: Cubical Type Checker
most recent commit 6 months ago
Bravo ⭐ 6
Castle Bravo: Experimental HoTT Implementation
most recent commit 10 months ago
The 2 Most Depended On Dependent Types Theorem Prover Open Source Projects
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 6 months agonpm cicada-lang} Downloads
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
The 4 Latest Releases In Dependent Types Theorem Prover Open Source Projects
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 4 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Anders ⭐ 14
🧊 Модальний Гомотопічний Прувер
total releases 1latest release April 08, 2022most recent commit 6 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 6 months agonpm cicada-lang} Downloads
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.