GitHub topics: certified-programming
awesomo4000/awesome-provable
A curated set of links to formal methods involving provable code.
Size: 25.4 KB - Last synced at: 12 days ago - Pushed at: over 3 years ago - Stars: 202 - Forks: 10
llee454/functional-algebra
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.
Language: Coq - Size: 1.95 MB - Last synced at: 9 months ago - Pushed at: about 6 years ago - Stars: 28 - Forks: 2
BitFunctor/bitfunctor
Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform
Language: Haskell - Size: 246 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0
octocat-maven/tree-view Fork of atom/tree-view
🌳 Explore and open project files in Atom
Language: CoffeeScript - Size: 2.46 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
