─── language
OCaml
206 repositories · 9,101 stars · 1,602 forks
─── top repos · by stars
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Github test mirror of the Octez software. Please do not submit pull-requests here!
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
Clarc compiles Clarity smart contracts into Ethereum virtual machine (EVM) bytecode.
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
A platform agnostic library for P2P communications using UDP and Bin_prot
A project which aim to help engineers to make proves easily
OCaml support for smart contracts in Hyperledger Fabric
A http server agnostic library to generate Openapi json and UI
RChain Rholang Implementation & Materials for learning K Framework
BN 128 elliptic curve implementation in OCAML (for Ethereum zero-knowledge proofs)
OCaml client library for the Polymarket prediction market API with full CLOB, Gamma, and Data API support
bucklescript bindings to web3 IGNORE THIS: USE https://github.com/fxfactorial/ethereum-re
Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓
Irmin is a distributed database that follows the same design principles as Git
Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents
Based on Jim Trevor's work, includes modifications made in/for Infer by Josh Berdine
Tz-Proxy is a reverse proxy specifically for Tezos Nodes written entirely in OCaml.
Example of modular FA2 contract generator (fa2-contracts).
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Ethereum RISCV32IM simulator that decodes and runs ELF, with ecalls for Stylus-friendly Ethereum operations.
A somewhat authentic implementation of chialisp from the ground up using a different approach
OCaml library for reporting metrics to a Prometheus server
Type-safe library for building parallel applications, built on top of Async's Rpc module.
─── subscriber view
Unlock the full view of OCaml repos
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.