repos
21
ecosystems
3
languages
2
commits
663
─── top repos · by commits
─── repositories
21 totalHaskell rules for Bazel.
Formal specifications of the Cardano ledger
Implementation of a Consensus Layer for the Ouroboros family of protocols
Implementation of a Consensus Layer for the Ouroboros family of protocols
Plutus smart contracts verified with Liquid Haskell
Proposed compiler and language changes for GHC and GHC/Haskell
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
An abstract set theory library that can be instantiated in various ways
Language-generic workbench for building static analysis
The ledger implementation and specifications of the Cardano blockchain.
Modern and extensible testing framework for Haskell
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
─── peer developers
─── ecosystems
─── languages
- Haskell13
- Agda2
─── subscriber view
Unlock the full view of facundominguez
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.