repos
95
ecosystems
24
languages
10
commits
3,768
─── top repos · by commits
─── repositories
95 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/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Plutarch 2.0
Zeko: zk-Rollup for Mina, a succinct blockchain
Implementation experiments as part of the design process of Starstream VM
A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.
Advanced techniques in the plutus smart contract language
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 Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
Helper libraries for Plutus.
Helper libraries for Plutus.
Helper libraries for Plutus.
Helper libraries for Plutus.
Helper libraries for Plutus.
Helper libraries for Plutus.
Alternative Haskell Infrastructure for Nixpkgs
Alternative Haskell Infrastructure for Nixpkgs
The Halo2 zero-knowledge proving system
Plutus Use Cases
halo2 with secq256k1 curve in the IPA backend for efficient ZK proofs of secp256k1 ECDSA operations
Plutus Use Cases
https://github.com/QED-it/halo2/tree/zsa1
The Plutus language implementation and tools
Unofficial PAB implementation
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
The Plutus language implementation and tools
DEPRECATED. Use input-output-hk/haskell.nix
The Plutus language implementation and tools
Unofficial PAB implementation
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Helper libraries for Plutus.
The Plutus language implementation and tools
The Plutus language reference implementation and tools
Unofficial PAB implementation
The Plutus language implementation and tools
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
The Plutus language implementation and tools
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
The Plutus language implementation and tools
Cardano Improvement Proposals (CIPs)
COOP - Cardano open oracle protocol
Shrink Plutus scripts
Standalone JIT-style runtime for WebAssembly, using Cranelift
This is mirror of halo2(https://github.com/scroll-tech/halo2).
CIPs being edited or proposed by Project Catalyst
Standalone JIT-style runtime for WebAssembly, using Cranelift
CIPs for ALBA, Leios, Peras, ...
halo2 circuit for SHA2 hash using CQ lookup argument
TypeScript framework for zk-SNARKs and zkApps
The Plutus language implementation and tools
The Plutus language implementation and tools
Parser for Rust source code
Faucet for the canonical Zeko L2 testnet deployment
A fast and secure runtime for WebAssembly
Yet another matrix client
Standalone JIT-style runtime for WebAssembly, using Cranelift
─── peer developers
─── ecosystems
─── languages
- Haskell26
- Rust21
- Nix5
- JavaScript4
- TypeScript3
- OCaml2
- Makefile1
- PureScript1
- Shell1
- Python1
─── subscriber view
Unlock the full view of L-as
- · 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.