amnn / move-mode
Emacs major mode for Move smart contract programming language.
☆13Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for move-mode
- A common lisp DSL for writing zero knowledge circuits☆18Updated 2 years ago
- Substrate package manager☆19Updated 2 years ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆57Updated 2 weeks ago
- Shared Lurk source code, including tests and library code.☆18Updated 8 months ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆40Updated this week
- Lisp implementation of Lurk.☆67Updated 2 months ago
- Static analysis for Substrate based projects☆27Updated last year
- Instrument and transform wasm modules.☆47Updated 3 months ago
- ☆31Updated 3 years ago
- A standard library wrapper for use in the `arkworks` ecosystem☆37Updated 2 weeks ago
- A substrate pallet prototype for a quadratic funding grant☆10Updated 3 years ago
- Rust SDK for Ledger device applications☆46Updated this week
- ☆27Updated 3 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆39Updated 2 months ago
- An example ABCI application making use of tendermint-rs and ibc-rs☆56Updated this week
- Tower-based ABCI interface.☆75Updated 2 months ago
- Deterministic executor + network sim for tokio-based systems.☆14Updated last month
- The Solana CLI tools packaged up with Nix☆14Updated 2 years ago
- Ed25519 suitable for use in consensus-critical contexts.☆45Updated 3 months ago
- ☆37Updated last year
- Merkle Tree implemented in Rust programming language☆28Updated 7 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- ☆13Updated 6 months ago
- Uniswap V1 ported to substrate☆18Updated 11 months ago
- An experimental RISC-V recompiler☆18Updated last year
- Collection of pallets used in Octopus Network☆22Updated 11 months ago
- Rust implementation of the HotStuff consensus algorithm.☆39Updated this week