Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Coq Idris Open Source Projects

Open source projects categorized as Coq Idris
Categories > Idris
Awesome Provable ⭐ 136
A curated set of links to formal methods involving provable code.
most recent commit 2 years ago
Ttlite ⭐ 108
A SuperCompiler for Martin-Löf's Type Theory
most recent commit 2 years ago
Idris Bi ⭐ 29
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
most recent commit 6 years ago
Talks ⭐ 8
Talks that I have given
most recent commit 2 years ago
Idris Logic ⭐ 7
Propositional logic tools, inspired by the Coq standard library.
most recent commit 6 years ago
Misc ⭐ 6
Misc playground and random stuff
most recent commit 5 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.