12
21
35
Our great sponsors
Mentions
@
|
Stars | Project | Description |
---|---|---|---|
5 | 608 | Black-box transactional safety checker based on cycle detection | |
1 | 516 | Sail architecture definition language | |
15 | 488 | seL4 specification and proofs | |
3 | 170 | Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies | |
4 | 157 | Cogent Project | |
2 | 39 | Lower Size Bounds for Sorting Networks | |
1 | 17 | A mechanisation of Wasm in Isabelle. | |
- | 13 | A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols. | |
1 | 10 | A formal definition and verification of System F. To be extended to System Fc | |
1 | 2 | ||
1 | 1 | Formal verification of folklore and miscellaneous results in number theory | |
1 | 1 | High-assurance implementation of the Ouroboros protocol family |
Popular Isabelle Topics
Latest Mentions
Latest mentioned Isabelle repos
Stars | Project |
---|---|
488 | l4v |
516 | sail |
608 | elle |
39 | sortnetopt |
157 | cogent |
1 | Folklore-and-miscellaneous-results-in... |
17 | WasmCert-Isabelle |
2 | Lambda-RAM-Compiler |
170 | marlowe |
1 | ouroboros-high-assurance |
10 | isabelle-lambda-calculus |
Latest Discoveries
Latest discovered Isabelle repos
Stars | Project |
---|---|
516 | sail |
39 | sortnetopt |
1 | Folklore-and-miscellaneous-results-in... |
17 | WasmCert-Isabelle |
608 | elle |
2 | Lambda-RAM-Compiler |
157 | cogent |
1 | ouroboros-high-assurance |
488 | l4v |
10 | isabelle-lambda-calculus |
170 | marlowe |
13 | scyther-proof |