Experimental implementation of Ouroboros protocols

This is an experimental work in progress.

Name	Name	Last commit message	Last commit date
Latest commit bwbush Reorganized module structure. Oct 11, 2024 8be4763 · Oct 11, 2024 History 25 Commits
hoare	hoare	Work in progress.	Oct 5, 2024
leios	leios	Added license files.	Sep 22, 2024
peras	peras	Reorganized readme and flakes.	Sep 22, 2024
praos	praos	Reorganized module structure.	Oct 11, 2024
.gitignore	.gitignore	Set up lean environment	Jul 30, 2024
LICENSE	LICENSE	Added license files.	Sep 22, 2024
ReadMe.md	ReadMe.md	Reorganized readme and flakes.	Sep 22, 2024
flake.lock	flake.lock	Set up lean environment	Jul 30, 2024
flake.nix	flake.nix	Added praos.	Sep 22, 2024
vscode.sh	vscode.sh	Set up lean environment	Jul 30, 2024

Provide feedback