certified-programming

There are 0 repository under certified-programming topic.

• awesomo4000 / awesome-provable

  A curated set of links to formal methods involving provable code.

  formal-verificationcertified-programmingsel4coqisabelleisabelle-holidrisagda
  188

• 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.

  coqcoq-formalizationcoq-librarytheorem-provingcertified-programmingmathematics
  Language:Coq 28

• BitFunctor / bitfunctor

  Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform

  certified-programmingcoqagdablockchain-platform
  Language:Haskell 3

• octocat-maven / tree-view

  🌳 Explore and open project files in Atom

  test-flightatom-packageownershipcertified-kubernetes-administratorcertifiedsecuritypatch2019certified-programmingg-suitgoogle-analyticsgit-hubcertified-super-admingitlabmozillahackerone
  Language:CoffeeScript