amnn / move-modeLinks
Emacs major mode for Move smart contract programming language.
☆19Updated last month
Alternatives and similar repositories for move-mode
Users that are interested in move-mode are comparing it to the libraries listed below
Sorting:
- A common lisp DSL for writing zero knowledge circuits☆18Updated 3 years ago
- Lisp implementation of Lurk.☆78Updated last year
- EVM assembly as an embedded Common Lisp dsl☆21Updated 3 years ago
- Collection of pallets used in Octopus Network☆21Updated 2 years ago
- The official solidity-mode for EMACS☆209Updated 2 years ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- ☆37Updated 2 years ago
- ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.☆94Updated 3 years ago
- ☆41Updated 3 years ago
- a lisp built on top of vyper☆43Updated last month
- ☆18Updated last year
- ☆53Updated this week
- Ethereum Virtual Machine implementation☆161Updated 3 years ago
- Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security☆63Updated 2 months ago
- A reproducible package set for Cosmos, IBC and CosmWasm☆62Updated 5 months ago
- Move language syntax for VSCode and GitHub☆33Updated 3 weeks ago
- CosmWasm smart contract framework☆102Updated 7 months ago
- Parallel EVM inspired by BlockSTM☆38Updated last month
- Generalized RISC-V based state transition function for the ZKsync protocol☆28Updated this week
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 years ago
- Tower-based ABCI interface.☆78Updated last year
- Rustic programming language that targets the Ethereum Virtual Machine☆171Updated 3 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆83Updated 7 months ago
- attempting to be the cleanest & clearest implementation of Ethereum's execution layer☆20Updated 4 years ago
- ☆29Updated last year
- ☆100Updated 9 months ago
- This repository implements IBC solo machine which can be used to interface with other machines and replicated ledgers which speak IBC.☆43Updated 7 months ago
- ☆24Updated 4 months ago
- Cryptography In Rust For Hackers☆21Updated last year
- Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.☆58Updated last year