Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for contracts ocaml
contracts
x
ocaml
x
0 search results found
Bamboo
⭐
295
Bamboo see https://github.com/cornellblockchain/bamboo
Scilla
⭐
238
Scilla - A Smart Contract Intermediate Level Language
Liquidity
⭐
138
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Verismart Public
⭐
65
a safety verifier for Solidity smart contracts
Granary
⭐
59
Tezos smart contract & dapp development toolkit
Dry Analyzer
⭐
38
Dr. Y's Ethereum Contract Analyzer
Clarc
⭐
38
Clarc compiles Clarity smart contracts into Ethereum virtual machine (EVM) bytecode.
Sworn
⭐
36
Sworn compiles Clarity smart contracts into SmartWeave contracts.
Lamtez
⭐
22
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
Nomos
⭐
19
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
Coq Smart Contract
⭐
17
Techelson
⭐
15
A test execution engine for Michelson smart contracts.
Dbc
⭐
12
Design-by-contract programming for JavaScript and ReasonML
Yallo Lang
⭐
12
A smart contract language for Tezos
Hmc
⭐
11
Hindley-Milner with contracts
Clarity.ml
⭐
10
Clarity smart contract parser and AST for OCaml.
Functional Cryptocurrencies
⭐
10
List of cryptocurrencies and smart contracts using functional programming languages
Kframework
⭐
7
RChain Rholang Implementation & Materials for learning K Framework
Michelsonexecutionengine
⭐
6
Tezos Js
⭐
6
Tezos Michaelson interpreter compiled to js.
Tl_interpreter
⭐
5
1-0 of 0 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.