Zilliqa Reference Contracts
☆42Sep 12, 2024Updated last year
Alternatives and similar repositories for ZRC
Users that are interested in ZRC are comparing it to the libraries listed below
Sorting:
- Documentation for Scilla☆17Jan 30, 2023Updated 3 years ago
- Zilliqa Improvement Proposal☆22Aug 22, 2024Updated last year
- StraitsX-tokens, fiat tokens in different smart contract languages☆30Mar 14, 2023Updated 2 years ago
- Documentation for Zilliqa developer☆16May 18, 2024Updated last year
- Zilliqa Python API☆17Sep 23, 2022Updated 3 years ago
- Zilliqa golang sdk☆34Oct 23, 2024Updated last year
- 💡An interactive tutorial for people to learn Scilla through a gamification process.☆18Jun 7, 2021Updated 4 years ago
- Zilliqa Blockchain Library☆14Sep 12, 2019Updated 6 years ago
- RPC Server for Zilliqa☆39May 9, 2021Updated 4 years ago
- Laska, Dart version: https://pub.dartlang.org/documentation/laksadart/latest/laksadart/laksadart-library.html☆17Sep 7, 2021Updated 4 years ago
- ☆18Feb 5, 2019Updated 7 years ago
- ☆20Jan 9, 2019Updated 7 years ago
- Swift SDK for Zilliqa☆13May 1, 2022Updated 3 years ago
- Zilliqa On-chain DEX☆20Jan 25, 2024Updated 2 years ago
- LaksaJ -- Zilliqa Blockchain Java Library☆19Feb 16, 2021Updated 5 years ago
- Zilswap Typescript SDK☆18Jul 6, 2025Updated 7 months ago
- The Rocq Prover bot☆26Jan 30, 2026Updated last month
- A toolkit for building qtum light wallets☆21Jun 23, 2022Updated 3 years ago
- A library interfacing with the Zilliqa blockchain and ViewBlock's APIs☆22Sep 7, 2022Updated 3 years ago
- ☆21May 6, 2025Updated 9 months ago
- Zilswap Web UI. The AMM-protocol for ZIlliqa.☆24Sep 5, 2025Updated 5 months ago
- Mining software for Zilliqa☆38Jun 25, 2021Updated 4 years ago
- Zilliqa Naming Service☆32Jul 18, 2023Updated 2 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- ☆12Oct 16, 2021Updated 4 years ago
- Implementation of Quake 3 rendering engine in the Ethereum blockchain☆38Jan 25, 2018Updated 8 years ago
- A list of NEP5 tokens on MainNet☆11Mar 10, 2024Updated last year
- A full-text search engine in the browser☆22Dec 1, 2017Updated 8 years ago
- A Maple flavored proxy factory☆12Oct 10, 2024Updated last year
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 3 weeks ago
- Eth-initium (ethereum start) is an open source repository for those who want to understand how the ethereum blockchain functions along wi…☆14Dec 10, 2022Updated 3 years ago
- Advanca is now Automata.☆12Feb 13, 2021Updated 5 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated last month
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- The complete Neo ecosystem for macOS/Linux☆11Feb 20, 2019Updated 7 years ago
- Documentation for the Ethereum LLL compiler☆14Jul 15, 2023Updated 2 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Go implementation of MEV-Extract for Ethereum☆12Dec 17, 2022Updated 3 years ago