Alternatives and similar repositories for scilla-coq

Users that are interested in scilla-coq are comparing it to the libraries listed below

• verse-lab / toychain

  View on GitHub
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Apr 13, 2020Updated 5 years ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• rizo / iter

  View on GitHub
  Efficient functorized iterators for OCaml.
  ☆13Feb 23, 2018Updated 7 years ago
• janestreet / ppx_here

  View on GitHub
  Expands [%here] into its location
  ☆14Jan 15, 2026Updated 3 weeks ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• MetaRocq / rocq-verified-extraction

  View on GitHub
  Verified Extraction from Rocq to OCaml/Malfunction
  ☆14May 23, 2025Updated 8 months ago
• ucsd-progsys / nate

  View on GitHub
  Learning to Blame Type Errors from Novice Mistakes
  ☆10Sep 19, 2017Updated 8 years ago
• womeier / certicoqwasm

  View on GitHub
  ☆12Nov 6, 2025Updated 3 months ago
• tsubame-sp / ocaml_at_p

  View on GitHub
  OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml
  ☆10Feb 17, 2017Updated 8 years ago
• etherex / btc-swap

  View on GitHub
  Ethereum Bitcoin Swap
  ☆10Dec 10, 2015Updated 10 years ago
• AU-COBRA / coq-rust-extraction

  View on GitHub
  Coq plugin for extracting Rust code
  ☆18Dec 15, 2025Updated last month
• c-cube / ocaml-minisat

  View on GitHub
  OCaml bindings to Minisat
  ☆12May 6, 2024Updated last year
• frex-project / metaocaml-frex

  View on GitHub
  ☆24May 16, 2025Updated 8 months ago
• rizo / streaming-zoo

  View on GitHub
  Implementations of common streaming abstractions in OCaml.
  ☆12Jun 28, 2016Updated 9 years ago
• me-box / zestdb

  View on GitHub
  ZestDB
  ☆18Nov 26, 2018Updated 7 years ago
• SiliconJungles / onepiece-dapp

  View on GitHub
  A simple dapp written by Scilla - Running on Zilliqa
  ☆14Jan 4, 2023Updated 3 years ago
• simonjbeaumont / ocaml-flock

  View on GitHub
  Ctypes bindings to flock(2) for OCaml
  ☆14Mar 7, 2024Updated last year
• rizo / dataflow

  View on GitHub
  Simple, secure and composable abstraction for construction of efficient data flows.
  ☆15Apr 21, 2017Updated 8 years ago
• rocq-community / atbr

  View on GitHub
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆24Oct 21, 2024Updated last year
• andrewray / iocamlserver

  View on GitHub
  Web server for IOCaml
  ☆23Jun 24, 2017Updated 8 years ago
• samoht / topkg-jbuilder

  View on GitHub
  Helpers for using topkg with jbuilder
  ☆15Oct 12, 2017Updated 8 years ago
• andrenth / ocaml-uint

  View on GitHub
  Unsigned ints for OCaml
  ☆24Aug 27, 2019Updated 6 years ago
• Zilliqa / kaya

  View on GitHub
  RPC Server for Zilliqa
  ☆39May 9, 2021Updated 4 years ago
• amsee01 / ZeroWallet

  View on GitHub
  The project page of ZeroWallet
  ☆19Jul 19, 2019Updated 6 years ago
• tel / ocaml-transducers

  View on GitHub
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆16Feb 14, 2015Updated 10 years ago
• rchain-community / rchain.cloud

  View on GitHub
  Online Rholang interpreter.
  ☆20Feb 25, 2021Updated 4 years ago
• runtimeverification / iele-semantics

  View on GitHub
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆131Jul 20, 2023Updated 2 years ago
• gpetiot / Frama-C-Mutation

  View on GitHub
  Generation of mutant programs
  ☆20Oct 31, 2018Updated 7 years ago
• xavierleroy / cdf-sem-meca

  View on GitHub
  Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
  ☆23Apr 12, 2024Updated last year
• c-cube / sidekick

  View on GitHub
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆26Updated this week
• ocaml-ppx / ppx_getenv

  View on GitHub
  A sample syntax extension using OCaml's new extension points API.
  ☆25Jul 5, 2024Updated last year
• maximedenes / coq-amd64

  View on GitHub
  ☆21Mar 15, 2016Updated 9 years ago
• akabe / ppx_bigarray

  View on GitHub
  A PPX extension for big array literals in OCaml
  ☆19Jul 18, 2018Updated 7 years ago
• wenkokke / msla2014

  View on GitHub
  wherein I implement several substructural logics in Agda
  ☆24Oct 8, 2018Updated 7 years ago
• lastland / WebSpec

  View on GitHub
  ☆17May 10, 2017Updated 8 years ago
• Armael / coq-procrastination

  View on GitHub
  A small Coq library for collecting side conditions and deferring their proof
  ☆25Oct 14, 2019Updated 6 years ago
• pirapira / eth-isabelle

  View on GitHub
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆242Mar 24, 2022Updated 3 years ago
• fxfactorial / ocaml-graphql

  View on GitHub
  OCaml implementation of Facebook's graphql, library and server.
  ☆21Feb 24, 2016Updated 9 years ago
• mit-plv / rewriter

  View on GitHub
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆26Feb 5, 2026Updated last week