repos
18
ecosystems
6
languages
7
commits
385
─── top repos · by commits
─── repositories
18 totalScilla - A Smart Contract Intermediate Level Language
Documentation for Scilla
🌴 Empowering everyone to build reliable and efficient smart contracts.
Documents and code for Scilla workshops and similar events
Examples of using Polygon Miden
This repository is the central portal that collates together the contracts, documentations around them, unit tests, and scripts to deploy and run the contracts on the network.
StraitsX-tokens, fiat tokens in different smart contract languages
This repository is the central portal that collates together the contracts, documentations around them, unit tests, and scripts to deploy and run the contracts on the network.
STARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
STARK-based virtual machine
STARK-based virtual machine
Compiler from Rust to Miden Assembly
Compiler from MidenIR to Miden Assembly
A domain-specific language for writing AIR constraints for STARKs
A domain-specific language for writing AIR constraints for STARKs
─── peer developers
─── languages
- Rust8
- C++2
- OCaml1
- Shell1
- TypeScript1
- Go1
- JavaScript1
─── subscriber view
Unlock the full view of jjcnn
- · 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.