GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ ouroboros
Top 3 ouroboros open source projects
pallas
Rust-native building blocks for the Cardano blockchain ecosystem
✭ 66
rust
blockchain
cardano
ouroboros
high-assurance-legacy
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
✭ 81
haskell
Isabelle
TeX
blockchain
distributed-computing
cryptocurrency
formal-methods
formal-verification
cardano
ouroboros
CrowsNest
Watchtower for Git: automatically keep local Git repositories up to date with their remotes
✭ 59
go
Dockerfile
powershell
devops
automation
update-checker
watchtower
continous-delivery
ouroboros
1-3
of
3
ouroboros projects