Discover awesome Isabelle
open-source projects

11
21
35
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
l4v
cogent
marlowe
elle
Mentions
@
 Stars Project Description
We couldn't find any libraries for the selected period

Popular Isabelle Topics

Formal Verification programming-languages Ouroboros soundness sel4-microkernel sel4-proofs isabelle-hol Distributed Systems co-generation file-systems Proof formalisation Cryptocurrency Blockchain Security Verification Cardano Formal Methods isabelle

Latest Mentions

Latest mentioned Isabelle repos
Stars Project
529 l4v
652 elle
44 sortnetopt
161 cogent
1 Folklore-and-miscellaneous-results-in...
22 WasmCert-Isabelle
2 Lambda-RAM-Compiler
175 marlowe
1 ouroboros-high-assurance
10 isabelle-lambda-calculus

Latest Discoveries

Latest discovered Isabelle repos
Stars Project
44 sortnetopt
1 Folklore-and-miscellaneous-results-in...
22 WasmCert-Isabelle
652 elle
2 Lambda-RAM-Compiler
161 cogent
1 ouroboros-high-assurance
529 l4v
10 isabelle-lambda-calculus
175 marlowe
15 scyther-proof

Recently updated posts

View more »

Newsletter

Many thanks to our great sponsors

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
Loading...