Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for isabelle
isabelle
x
48 search results found
Elle
⭐
591
Black-box transactional safety checker based on cycle detection
Sail
⭐
495
Sail architecture definition language
L4v
⭐
477
seL4 specification and proofs
Eth Isabelle
⭐
209
A Lem formalization of EVM and some Isabelle/HOL proofs
Marlowe
⭐
170
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Elasticsearch Formal Models
⭐
143
Formal models of core Elasticsearch algorithms
Awesome Provable
⭐
136
A curated set of links to formal methods involving provable code.
Isabelle
⭐
111
git mirror of the Munich isabelle hg repository
Ouroboros High Assurance
⭐
80
High-assurance implementation of the Ouroboros protocol family
Iptables_semantics
⭐
76
Verified iptables Firewall Ruleset Analysis
Sail Arm
⭐
69
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
Psl
⭐
58
Mirror Isabelle
⭐
49
Git mirror of https://isabelle.in.tum.de/repos/isabelle
Sail Cheri Riscv
⭐
48
CHERI-RISC-V model written in Sail
Nunchaku
⭐
41
Model finder for higher-order logic
Scala Isabelle
⭐
32
A Scala library for controlling/interacting with Isabelle
Utp Main
⭐
30
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Isabelle Hott
⭐
29
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Auto2
⭐
26
A best-first-search theorem prover implemented in Isabelle
Sortnetopt
⭐
22
Lower Size Bounds for Sorting Networks
Isabelle Emacs
⭐
20
Clone of isabelle, with LSP extensions in seperate branches
Isahipster
⭐
17
Theory Exploration for Isabelle using HipSpec
Isarmathlib
⭐
16
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
Aot
⭐
15
Embedding of The Theory of Abstract Objects in Isabelle/HOL
Munta
⭐
14
Fully verified model checker for realtime systems
Hsv
⭐
14
Logikey
⭐
11
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
Blockchain
⭐
10
A verified permissioned centralized Blockchain for Isabelle/HOL
Veriopt Releases
⭐
10
Verifying the optimization phases of the GraalVM compiler
Cookbook
⭐
10
A collection of useful tips/tricks/hints for Isabelle users.
Wasmcert Isabelle
⭐
10
A mechanisation of Wasm in Isabelle.
Scyther Proof
⭐
9
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
Isabelle Lambda Calculus
⭐
9
A formal definition and verification of System F. To be extended to System Fc
Echronos Proofs
⭐
9
Isabelle/HOL proofs about the eChronos RTOS
Isabelle Hardware Models
⭐
8
Hardware decoding net model in Isabelle/HOL
Phi System
⭐
8
Tangle Isabelle
⭐
8
Arwm
⭐
7
Automated Reasoning for the Working Mathematician
Uniswap_v
⭐
7
Csp Prover
⭐
7
Isabelle Client
⭐
7
A client for Isabelle server (https://isabelle.in.tum.de)
Isabelle_marries_dirac
⭐
6
A certified library of quantum computing using the proof assistant Isabelle
Machine Certified Linearizability
⭐
6
Artifact package accompanying our POPL 2024 submission titled "A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability".
L4v
⭐
6
development version of seL4 proofs
Isabelle Spartan
⭐
6
A dependent type theory logic for Isabelle
Vdm_toolkit
⭐
6
VDM-SL libraries
Nbg_hol
⭐
5
A formalisation of NBG set theory in Isabelle/HOL
Interaction Trees
⭐
5
Interactions Trees in Isabelle/HOL and a CSP model
Related Searches
Formal Verification Isabelle (10)
Haskell Isabelle (7)
Coq Isabelle (5)
Ocaml Isabelle (5)
Formal Methods Isabelle (5)
Archive Isabelle (5)
Calculus Isabelle (4)
Isabelle Hol (4)
Standard Ml Isabelle (4)
Lean Isabelle (4)
1-48 of 48 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.