bwasti / avalanche_playground

Related projects ⓘ

Alternatives and complementary repositories for avalanche_playground

• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 7 years ago
• fps / guix-ipfs-cache
  A dirty hacky prototype to evaluate ipfs as a mechanism to distribute binaries for guixsd
  ☆12Updated 5 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• perlin-network / lens
  The official network explorer for Wavelet.
  ☆28Updated last year
• tendermint / amino_rs
  Rust implementation of Amino
  ☆26Updated 4 years ago
• benjaminion / LLL_docs
  Documentation for the Ethereum LLL compiler
  ☆11Updated last year
• tendermint / merkleeyes
  DEPRECATED: Merkle-ized data store
  ☆46Updated 5 years ago
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 5 years ago
• ETCDEVTeam / sputnikvm-dev
  Development environment based on SputnikVM and etcommon
  ☆14Updated 6 years ago
• argumentcomputer / lurk-lib
  Shared Lurk source code, including tests and library code.
  ☆18Updated 8 months ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• kilic / fp
  Nearly generic prime field implementation in Go
  ☆24Updated 4 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 5 years ago
• anoma / alucard
  A common lisp DSL for writing zero knowledge circuits
  ☆18Updated 2 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 2 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• dedis / tlc
  Threshold Logical Clocks and Que Sera Consensus
  ☆28Updated last year
• gstew5 / snarkl
  ☆59Updated 2 years ago
• oscoin / oscoin
  Oscoin Full Node Implementation in Haskell (Work in Progress)
  ☆24Updated 4 years ago
• hwayne / tla-snippets
  A collection of useful TLA+ operators
  ☆21Updated 6 years ago
• radicle-dev / radicle-decisions
  Radicle Developers of All Countries, Unite!
  ☆17Updated 3 years ago
• decanus / rutschblock
  A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+
  ☆18Updated 4 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆20Updated 5 years ago
• novifinancial / rust-curve25519-fiat
  Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
  ☆12Updated 4 years ago
• rdancer / fhe
  Fully Homomorphic Encryption
  ☆28Updated last year