repos
15
ecosystems
1
languages
4
commits
1,969
─── top repos · by commits
─── repositories
15 totalAn auction system running on Hydra L2 solution
An auction system running on Hydra L2 solution
A Purescript library for building smart contract transactions on Cardano
A Purescript library for building smart contract transactions on Cardano
https://cardano.ideascale.com/c/idea/106740
Cardano Node Emulator (next-gen PSM)
Proof Of co-CREation
Agda is a dependently typed programming language / interactive theorem prover.
Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)
Implementation of the Hydra Head protocol
Fork of the Hydra Head for SundaeSwap's upstream contributions
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
─── peer developers
─── ecosystems
─── languages
- Haskell9
- PureScript3
- TypeScript1
- Nix1
─── subscriber view
Unlock the full view of uhbif19
- · 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.