jeltsch
Follow
-
-
ouroboros-high-assurance Public
Forked from input-output-hk/ouroboros-high-assuranceHigh-assurance implementation of the Ouroboros protocol family
Isabelle Apache License 2.0 UpdatedJan 23, 2024 -
network-equivalences Public
Forked from input-output-hk/network-equivalencesFormal proofs of equivalences of different kinds of networks
Isabelle Apache License 2.0 UpdatedJan 23, 2024 -
thorn-calculus Public
Forked from input-output-hk/thorn-calculusA general-purpose process calculus with support for arbitrary data
Isabelle Apache License 2.0 UpdatedJan 23, 2024 -
transition-systems Public
Forked from input-output-hk/transition-systemsSupport for working with labeled transition systems
Isabelle Apache License 2.0 UpdatedJan 23, 2024 -
equivalence-reasoner Public
Forked from input-output-hk/equivalence-reasonerAn automated equivalence reasoner for Isabelle/HOL
Isabelle Apache License 2.0 UpdatedJan 23, 2024 -
actions-isabelle-build Public
GitHub action for building Isabelle sessions
-
RoundSquare Public
Forked from HansLemurson/RoundSquareFreeciv tileset, clean un-cluttered graphics
Python GNU General Public License v2.0 UpdatedMar 17, 2023 -
modal-programming Public
Modal programming in Haskell
-
actions-cabal-build Public
GitHub action for building Cabal packages
BSD 3-Clause "New" or "Revised" License UpdatedJun 26, 2022 -
high-assurance-legacy Public
Forked from input-output-hk/high-assurance-legacyLegacy code connected to the high-assurance implementation of the Ouroboros protocol family
Haskell MIT License UpdatedFeb 4, 2022 -
Proof of correctness of the Jeltsch–Firsov order maintenance algorithm
BSD 3-Clause "New" or "Revised" License UpdatedApr 25, 2021 -
wflp-2019 Public
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
-
pomelo Public
The Pomelo temporal programming library
-
stand-in-language Public
Forked from sfultong/stand-in-languagea simple total pure functional language, eventually to have powerful static checking and optimization
Haskell Apache License 2.0 UpdatedJan 29, 2019 -
incremental-computing Public
Incremental computing
-
3d-graphics-examples Public
Examples of 3D graphics programming with OpenGL
-
order-maintenance Public
Algorithms for the order maintenance problem with a safe, yet flexible interface
-
isabelle-intro Public
A small introduction to Isabelle/HOL
Isabelle BSD 3-Clause "New" or "Revised" License UpdatedOct 6, 2018