isabelle-lambda-calculus
A formal definition and verification of System F. To be extended to System Fc (by jvanbruegge)
ouroboros-high-assurance
High-assurance implementation of the Ouroboros protocol family (by input-output-hk)
Our great sponsors
| isabelle-lambda-calculus | ouroboros-high-assurance | |
|---|---|---|
| 1 | 1 | |
| 10 | 1 | |
| - | - | |
| 0.0 | 9.1 | |
| almost 3 years ago | 3 months ago | |
| Isabelle | Isabelle | |
| - | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
isabelle-lambda-calculus
Posts with mentions or reviews of isabelle-lambda-calculus.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2020-11-06.
-
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.
ouroboros-high-assurance
Posts with mentions or reviews of ouroboros-high-assurance.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-25.
What are some alternatives?
When comparing isabelle-lambda-calculus and ouroboros-high-assurance you can also consider the following projects:
PlexMediaTagger - Uses the metadata held in the PlexMediaServer to tag media files
plutus - The Plutus language implementation and tools
cakeml - CakeML: A Verified Implementation of ML
cardano-python - Python module for handling Cardano cryptocurrency
Cycle.js - A functional and reactive JavaScript framework for predictable code
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
cogent - Cogent Project
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
isabelle-lambda-calculus vs PlexMediaTagger
ouroboros-high-assurance vs plutus
isabelle-lambda-calculus vs cakeml
ouroboros-high-assurance vs cardano-python
isabelle-lambda-calculus vs Cycle.js
ouroboros-high-assurance vs adalite
isabelle-lambda-calculus vs cogent
ouroboros-high-assurance vs cardano-ledger