ouroboros-high-assurance
isabelle-lambda-calculus
ouroboros-high-assurance | isabelle-lambda-calculus | |
---|---|---|
1 | 1 | |
1 | 10 | |
- | - | |
9.1 | 0.0 | |
3 months ago | almost 3 years ago | |
Isabelle | Isabelle | |
Apache License 2.0 | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ouroboros-high-assurance
isabelle-lambda-calculus
-
My Open Source Journey
I got more into theorem proving, i.e. using a programming language to write mathematical proofs and have them checked by a compiler. Step by step I am working on a machine checked proof of type safety of System Fc, the intermediate language of the Haskell compiler.
What are some alternatives?
plutus - The Plutus language implementation and tools
PlexMediaTagger - Uses the metadata held in the PlexMediaServer to tag media files
cardano-python - Python module for handling Cardano cryptocurrency
cakeml - CakeML: A Verified Implementation of ML
adalite - A lightweight web wallet for Cardano cryptocurrency with Trezor, Ledger and BitBox02 support. Please note that the only valid domain for our wallet is adalite.io
Cycle.js - A functional and reactive JavaScript framework for predictable code
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
cogent - Cogent Project
practical-fm - A gently curated list of companies using verification formal methods in industry
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
cardano-py - Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
hacl-star - HACL*, a formally verified cryptographic library written in F*