repos
33
ecosystems
2
languages
4
commits
889
─── top repos · by commits
─── repositories
33 totalTyped 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/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
An auction system running on Hydra L2 solution
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/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
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
A Purescript library for building smart contract transactions on Cardano
COOP - Cardano open oracle protocol
coop folk
Create PureScript datatypes from Haskell datatypes
A helper library for working with Plutus blueprints (Aiken or Plutarch)
A helper library for working with compiled, parameterized Plutus Scripts
A helper library for working with compiled, parameterized Plutus Scripts
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Alternative Haskell Infrastructure for Nixpkgs
A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.
A utility to pull issues and create Audit Reports.
Alternative Haskell Infrastructure for Nixpkgs
Some extra bits used first in plutus-apps.
Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
Smart contracts and supporting code for building an automated market maker (AMM) decentralized exchange on the Cardano blockchain.
─── peer developers
─── ecosystems
─── languages
- Haskell17
- Nix4
- PureScript3
- Makefile1
─── subscriber view
Unlock the full view of MangoIV
- · 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.