Alternatives and similar repositories for move-mode

Users that are interested in move-mode are comparing it to the libraries listed below

• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 3 years ago
• lurk-lab / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated last year
• dvush / cl-evasm
  EVM assembly as an embedded Common Lisp dsl
  ☆21Updated 3 years ago
• ethereum / emacs-solidity
  The official solidity-mode for EMACS
  ☆209Updated 2 years ago
• z80dev / dasy
  a lisp built on top of vyper
  ☆43Updated last month
• polybase / polylang
  ☆37Updated 2 years ago
• fe-lang / sonatina
  ☆53Updated this week
• Sword-Smith / Sword
  Sword — A financial derivative language for the blockchain
  ☆28Updated 4 years ago
• argotorg / yul-isabelle
  ☆41Updated 3 years ago
• Galxe / grevm
  Parallel EVM inspired by BlockSTM
  ☆38Updated last month
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• damirka / move-syntax
  Move language syntax for VSCode and GitHub
  ☆33Updated 3 weeks ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 4 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• iden3 / circom_runtime
  circom runtime
  ☆20Updated last year
• melekes / merkle-tree-rs
  Merkle Tree implemented in Rust programming language
  ☆30Updated 8 years ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated 5 months ago
• cartesi / rollups
  Cartesi Rollups
  ☆30Updated 2 years ago
• vorot93 / evmodin
  Ethereum Virtual Machine implementation
  ☆161Updated 3 years ago
• octopus-network / octopus-pallets
  Collection of pallets used in Octopus Network
  ☆21Updated 2 years ago
• informalsystems / cosmos.nix
  A reproducible package set for Cosmos, IBC and CosmWasm
  ☆62Updated 5 months ago
• OffchainLabs / arb-os
  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
• zkvalidator / mina-vrf-rs
  ☆38Updated 4 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆64Updated 2 months ago
• rauljordan / zevm
  Zig implementation of the Ethereum Virtual Machine
  ☆86Updated 2 years ago
• lita-xyz / rust-examples
  ☆18Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆67Updated last year
• anoma / ferveo
  An implementation of a DKG protocol for front-running protection on Anoma.
  ☆84Updated 2 years ago