GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Programming Languages → Isabelle

Top 26 Isabelle open source projects

1. net-network
Public collection of firewall dumps.
✭ 40
shellpythonIsabelleRoffnetworkfirewalliptablesdumpsiptables-rulesiptables-configurationsnftables
2. fds ss20
Lecture course on verified Functional Data Structures
✭ 16
IsabelleStandard ML
3. sortnetopt
Lower Size Bounds for Sorting Networks
✭ 35
Isabellerusthaskell
4. LCF77
The original Edinburgh LCF.
✭ 20
common lispemacs lispStandard MLRoffNewLispIsabelle
5. elasticsearch-formal-models
Formal models of core Elasticsearch algorithms
✭ 181
IsabelleTLATeX
6. camkes-tool
The main CAmkES tool
✭ 17
pythoncIsabelleCMakeGAPPromelacamkes
7. libsparkcrypto
A cryptographic library in SPARK 2014
✭ 25
AdaIsabellecrypto-libraryformal-verification
8. why3
SPARK 2014 repository for the Why3 verification platform.
✭ 17
ocamlCoqcMakefileshellIsabelle
9. marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
✭ 138
javascripthaskellTeXIsabelleCoqHTML
10. IsaHipster
Theory Exploration for Isabelle using HipSpec
✭ 17
IsabelleTeXStandard ML
11. evmverif
An EVM code verification framework in Coq
✭ 44
CoqIsabelleMakefile
12. curry-club-augsburg.de
Our Website
✭ 17
HTMLhaskellTeXCSSNixshellIsabellewebsitefunctional-programminghakyll
13. Isabelle-HoTT
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
✭ 30
Standard MLIsabelletype-theoryinteractive-theorem-provinghomotopy-type-theory
14. sail-cheri-riscv
CHERI-RISC-V model written in Sail
✭ 26
IsabelleCoq
15. munta
Fully verified model checker for realtime systems
✭ 14
IsabelleStandard MLocamlverificationmodel-checkertimed-automata
16. high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
✭ 81
haskellIsabelleTeXblockchaindistributed-computingcryptocurrencyformal-methodsformal-verificationcardanoouroboros
17. tangentlabs
lots of mini experiments in various languages
✭ 35
IsabellebasicpythonJpascalJetBrains MPS
18. auto2
A best-first-search theorem prover implemented in Isabelle
✭ 30
IsabelleStandard MLocamlTeX
19. Naproche-SAD
No description, website, or topics provided.
✭ 21
haskellStandard MLIsabelle
20. mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
✭ 36
IsabelleStandard MLscalaTeXocamljava
21. sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
✭ 56
IsabelleCoqcStandard MLRoffMakefile
22. non-binary
💛♡♥💜
✭ 58
IsabelleEmberScriptcrystalarc
23. soap
🎯 soap - Structural Optimisation of Arithmetic Programs
✭ 21
pythonIsabelleVHDLfpgadesign-space-explorationabstract-interpretationhigh-level-synthesisfloating-point-accuracy-problems
24. elle
Black-box transactional safety checker based on cycle detection
✭ 540
Isabelleclojurejava
25. smtinterpol
SMTInterpol interpolating SMT solver
✭ 56
javaSMTTeXIsabelleLexHTML
26. utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
✭ 30
IsabelleTeXStandard MLpythonC++ctheoryholutpunifying-theories
1-26 of 26 Isabelle projects