Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Blockchain Ocaml Open Source Projects

Open source projects categorized as Blockchain Ocaml
Categories > Blockchain > Blockchain
Mina ⭐ 1,908
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
dependent packages 4total releases 10most recent commit a month agonpm @o1labs/client-sdk} Downloads
Tezos ⭐ 1,496
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
most recent commit 2 years ago
Scilla ⭐ 238
Scilla - A Smart Contract Intermediate Level Language
most recent commit 10 months ago
Liquidity ⭐ 138
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
most recent commit 3 years ago
Verismart Public ⭐ 65
a safety verifier for Solidity smart contracts
most recent commit a year ago
Tezos Mirror ⭐ 58
Github test mirror of the Octez software. Please do not submit pull-requests here!
most recent commit 3 months ago
Ocaml Offchain ⭐ 39
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
most recent commit 3 years ago
Bitcoinml ⭐ 32
Bitcoin data-structures library for OCaml
most recent commit 4 years ago
Algoml ⭐ 20
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
most recent commit 2 years ago
Btc Ocaml ⭐ 19
A toy implementation of the bitcoin protocol in ocaml.
most recent commit 8 years ago
Kframework ⭐ 7
RChain Rholang Implementation & Materials for learning K Framework
most recent commit 4 years ago
Firma ⭐ 5
Simple Merkle tree implementation based on the Bitcoin white paper.
most recent commit 3 years ago
Popular Blockchain Categories
Blockchain
Ethereum
Bitcoin
Cryptocurrency
Wallet
Mining
Smart Contracts
Fabric
Web3
Dapp
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.