12
21
36
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 5 | 617 | Black-box transactional safety checker based on cycle detection | |
| 2 | 539 | Sail architecture definition language | |
| 15 | 490 | seL4 specification and proofs | |
| 3 | 171 | Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies | |
| 4 | 157 | Cogent Project | |
| 2 | 40 | 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 | High-assurance implementation of the Ouroboros protocol family |
Popular Isabelle Topics
Latest Mentions
Latest mentioned Isabelle repos
| Stars | Project |
|---|---|
| 539 | sail |
| 490 | l4v |
| 617 | elle |
| 40 | sortnetopt |
| 157 | cogent |
| 1 | Folklore-and-miscellaneous-results-in... |
| 17 | WasmCert-Isabelle |
| 2 | Lambda-RAM-Compiler |
| 171 | marlowe |
| 1 | ouroboros-high-assurance |
| 10 | isabelle-lambda-calculus |
Latest Discoveries
Latest discovered Isabelle repos
| Stars | Project |
|---|---|
| 539 | sail |
| 40 | sortnetopt |
| 1 | Folklore-and-miscellaneous-results-in... |
| 17 | WasmCert-Isabelle |
| 617 | elle |
| 2 | Lambda-RAM-Compiler |
| 157 | cogent |
| 1 | ouroboros-high-assurance |
| 490 | l4v |
| 10 | isabelle-lambda-calculus |
| 171 | marlowe |
| 13 | scyther-proof |
Recently updated posts
-
SeL4 Specification and Proofs
-
Tetrisssss
-
Elimination of programmers
-
Google Announces KataOS and Sparrow
-
Thoughts on the Rascal meta-programming language