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 Projects → input-output-hk → high-assurance-legacy

input-output-hk / high-assurance-legacy

Licence: MIT license
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

Programming Languages

haskell
3896 projects
Isabelle
26 projects
TeX
3793 projects

Labels

blockchaindistributed-computingcryptocurrencyformal-methodsformal-verificationcardanoouroboros

Projects that are alternatives of or similar to high-assurance-legacy

plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (-58.02%)
Mutual labels:  formal-methods, cardano
fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
Stars: ✭ 19 (-76.54%)
Mutual labels:  formal-methods, formal-verification
pallas
Rust-native building blocks for the Cardano blockchain ecosystem
Stars: ✭ 66 (-18.52%)
Mutual labels:  cardano, ouroboros
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-82.72%)
Mutual labels:  formal-methods, formal-verification
reasonml-tic-tac-toe
www.imandra.ai
Stars: ✭ 19 (-76.54%)
Mutual labels:  formal-methods, formal-verification
vsrl-framework
The Verifiably Safe Reinforcement Learning Framework
Stars: ✭ 42 (-48.15%)
Mutual labels:  formal-methods, formal-verification
tutoriel wp
Frama-C and WP tutorial
Stars: ✭ 31 (-61.73%)
Mutual labels:  formal-methods, formal-verification
Ouroboros High Assurance
High-assurance implementation of the Ouroboros protocol family
Stars: ✭ 79 (-2.47%)
Mutual labels:  distributed-computing, formal-methods
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-77.78%)
Mutual labels:  formal-methods, formal-verification
rce
Distributed, workflow-driven integration environment
Stars: ✭ 42 (-48.15%)
Mutual labels:  distributed-computing
dcf
Yet another distributed compute framework
Stars: ✭ 48 (-40.74%)
Mutual labels:  distributed-computing
cardano wallet sdk
Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.
Stars: ✭ 31 (-61.73%)
Mutual labels:  cardano
raven-distribution-framework
Decentralized Computing Backend for Artificial Intelligence, Web3, Metaverse, and Gaming Application
Stars: ✭ 31 (-61.73%)
Mutual labels:  distributed-computing
tutorial
Tutorials to help you build your first Swim app
Stars: ✭ 27 (-66.67%)
Mutual labels:  distributed-computing
ShadowClone
Unleash the power of cloud
Stars: ✭ 224 (+176.54%)
Mutual labels:  distributed-computing
TorXakis
A tool for Model Based Testing
Stars: ✭ 40 (-50.62%)
Mutual labels:  formal-methods
protoactor-python
Proto Actor - Ultra fast distributed actors
Stars: ✭ 78 (-3.7%)
Mutual labels:  distributed-computing
wrench
WRENCH: Cyberinfrastructure Simulation Workbench
Stars: ✭ 25 (-69.14%)
Mutual labels:  distributed-computing
plutusPioneerProgram
Plutus Pioneer Program #2 Cohort
Stars: ✭ 25 (-69.14%)
Mutual labels:  cardano
Archived-SANSA-Query
SANSA Query Layer
Stars: ✭ 31 (-61.73%)
Mutual labels:  distributed-computing
View All Similar Projects ➔

Overview

This is the old repository of the project to develop implementations of blockchain consensus protocols from the Ouroboros family in a process calculus and verify that they have various key properties.

In this final, archived form, this repository contains only some old exploratory material as well as code we have chosen not to develop further, in most cases because it got superseded by superior components. We keep this repository around merely for people interested in the history of this project.

The actively developed code of this project can be found in the following GitHub repositories:

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].