repos
60
ecosystems
8
languages
8
commits
1,178
─── top repos · by commits
─── repositories
60 totalTypeScript framework for zk-SNARKs and zkApps
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Unit testing with resource estimation for Plutus
Unit testing with resource estimation for Plutus
A Purescript library for building smart contract transactions on Cardano
A Purescript library for building smart contract transactions on Cardano
Shrink Plutus scripts
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
TypeScript framework for zk-SNARKs and zkApps
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/
Tools for shrinking UPLC scripts.
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
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/
Better testing for Plutus
Zeko: zk-Rollup for Mina, a succinct blockchain
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
An untyped Plutus Core assembler
A Purescript library for building smart contract transactions on Cardano
Advanced techniques in the plutus smart contract language
The proof systems used by Mina
Directed Graphs
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Directed Graphs
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
─── peer developers
─── ecosystems
─── languages
- Haskell25
- PureScript4
- OCaml3
- TypeScript2
- Nix2
- JavaScript1
- Makefile1
- Rust1
─── subscriber view
Unlock the full view of Geometer1729
- · 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.