This is stars and forks stats for /input-output-hk/formal-ledger-specifications repository. As of 26 Apr, 2024 this repository has 18 stars and 10 forks.
Formal ledger specifications This repository contains the formal ledger specifications that are intended to eventually replace the existing formal specifications of the Cardano ledger found here. This project is currently incomplete and work in progress. This repository currently contains two specifications---the work in progress specification for Cardano (up to and including the Conway era) and a small example that was produced for the Midnight project (but is unrelated to any actual Midnight code/features)....
Formal ledger specifications This repository contains the formal ledger specifications that are intended to eventually replace the existing formal specifications of the Cardano ledger found here. This project is currently incomplete and work in progress. This repository currently contains two specifications---the work in progress specification for Cardano (up to and including the Conway era) and a small example that was produced for the Midnight project (but is unrelated to any actual Midnight code/features)....
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
pret/pokeyellow | AssemblyPythonOther | 609 | +4 | 203 | +1 |
blackmagic-debug/blackmagic | CPythonMakefile | 2.8k | +16 | 704 | +2 |
bchavez/Bogus | C#JavaScriptOther | 7.7k | 0 | 450 | 0 |
xuelongqy/flutter_easy_refresh | DartC++CMake | 3.6k | 0 | 610 | 0 |
sobolevbel/jdg | MarkdownOther | 281 | 0 | 84 | 0 |
remoteoss/swoosh_gallery | ElixirHTMLOther | 34 | 0 | 10 | 0 |
alexislozano/salaires.dev | RustOther | 74 | 0 | 0 | 0 |
loganoz/horses3d | FortranMakefileTeX | 85 | 0 | 17 | 0 |
aquasecurity/chain-bench | GoOpen Policy AgentOther | 664 | 0 | 59 | 0 |
spinnaker/gate | GroovyJavaKotlin | 121 | 0 | 737 | 0 |