Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Ocaml Smart Contracts Open Source Projects

Open source projects categorized as Ocaml Smart Contracts
Categories > Blockchain > Smart Contracts
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
Smart Contracts ⭐ 101
A library of smart contracts
most recent commit 6 months 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
Clarc ⭐ 38
Clarc compiles Clarity smart contracts into Ethereum virtual machine (EVM) bytecode.
most recent commit 3 years ago
Sworn ⭐ 36
Sworn compiles Clarity smart contracts into SmartWeave contracts.
most recent commit 3 years ago
Tzcomet ⭐ 26
Contract Metadata Viewer on Tezos
most recent commit 8 months ago
Lamtez ⭐ 22
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
most recent commit 7 years ago
Techelson ⭐ 15
A test execution engine for Michelson smart contracts.
most recent commit 5 years ago
Functional Cryptocurrencies ⭐ 10
List of cryptocurrencies and smart contracts using functional programming languages
most recent commit 5 years ago
Kframework ⭐ 7
RChain Rholang Implementation & Materials for learning K Framework
most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.