repos
17
ecosystems
4
languages
3
commits
983
─── top repos · by commits
─── repositories
17 totalMore strongly typed variant of the ixset Haskell package
Beam integration for the large-records package
Videos and exercises for the Haskell and Cryptocurrencies class.
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
An optimizer for untyped plutus core
An optimizer for untyped plutus core
Tools to support the Software Development Process
The ledger implementation and specifications of the Cardano blockchain.
A formal specification and executable model of the ledger rules introduced by the Shelley release
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
─── peer developers
─── languages
- Haskell12
- Nix2
- Isabelle1
─── subscriber view
Unlock the full view of kosmikus
- · 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.