hauntedhost / functional-cryptocurrencies

Related projects ⓘ

Alternatives and complementary repositories for functional-cryptocurrencies

• zenprotocol / contracts
  Contract examples
  ☆10Updated 2 years ago
• OCamlPro / ocaml-solidity
  Ocaml-solidity provides a Solidity parser and typechecker
  ☆30Updated last year
• dakk / bitcoinml
  Bitcoin data-structures library for OCaml
  ☆43Updated 4 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• fab13n / lamtez
  An ML-inspired smart contract language, compiling to Tezos' Michelson VM
  ☆22Updated 7 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• dakk / caravand-fullnode
  Type-safe bitcoin full-node
  ☆19Updated 6 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 6 months ago
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆11Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• zenprotocol / zenprotocol
  The default client for the Zen Protocol. Mirrored from https://gitlab.com/zenprotocol/zenprotocol
  ☆55Updated 3 weeks ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• emillon / ocaml-noise
  The Noise Protocol Framework, with types
  ☆26Updated 2 years ago
• konnov / bymc
  Byzantine model checker
  ☆21Updated last year
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated 11 months ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• murbard / plebeia
  Optimized Patricia trie with disk storage
  ☆31Updated 5 years ago
• jet / Microservice-Edge-Testing-Example
  A sample implementation of complex microservice edge testing using distributable fakes
  ☆13Updated 4 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 6 months ago
• marcoonroad / nocoiner
  A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.
  ☆11Updated last year
• tezos / optimal_stack
  Compiler for stack manipulation in Michelson
  ☆14Updated 5 years ago
• mauny / the-functional-approach-to-programming
  Programs that are used in the Cousineau/Mauny books
  ☆29Updated 3 years ago
• mariaschett / ppltr
  A PoPuLaToR for a PeePhoLe opTimizeR
  ☆12Updated 3 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 2 months ago