Awesome Open Source

Programming Languages

Search results for language contracts

1 search results found

Solidity ⭐ 21,616

Solidity, the Smart Contract Programming Language

Emerging smart contract language for the Ethereum blockchain.

Cadence ⭐ 516

Cadence, the resource-oriented smart contract programming language 🏃‍♂️

Dotnetstack ⭐ 400

.NET technology stack, including frameworks, platforms, IDE, SDKs, desktop, web, SOA, data, productivity, components, tools etc

Bamboo see https://github.com/cornellblockchain/bamboo

Algorand Smart Contracts in Python

Scilla - A Smart Contract Intermediate Level Language

Smart Contract Languages ⭐ 235

A curated collection of resources on smart contract programming languages

Pyramid Scheme ⭐ 228

Pyramid is a language to create Ethereum smart contracts

Smart contract specification language

Verisol ⭐ 205

A formal verifier and analysis tool for Solidity Smart Contracts

Soliditysamples ⭐ 180

Solidity Smart Contracts Samples

A Miniscript-based high-level scripting language for Bitcoin contracts

Programming Language for Smart Legal Contracts

Liquidity ⭐ 138

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

Radspec ⭐ 123

🤘 Radspec is a safe interpreter for Ethereum's NatSpec

Overview ⭐ 36

Overview of the Clarity language for smart contracts

Unicorn Maker ⭐ 36

Unicorn-maker is a complete example of an AWS CloudFormation resource type. This resource is built in multiple languages.

Domain-Specific Languages of PRESS.one Contracts

Mdsl Specification ⭐ 34

A domain-specific language to specify (micro-)service contracts, data representations and endpoints.

Contract ⭐ 32

My plain-language freelance contract (in Markdown).

Precise description and operational execution of exotic contracts.

Contracts ⭐ 31

Symbolic financial contract EDSL

Binary <> JSON conversion using ABIs. Compatible with languages which can interface to C

An ML-inspired smart contract language, compiling to Tezos' Michelson VM

Redpaper ⭐ 21

Red Paper ++ sruby - Small, Smart, Secure, Safe, Solid & Sound (S6) Ruby - The Ruby Programming Language for Contract / Transaction Scripts on the Blockchain World Computer - Yes, It's Just Ruby

Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain

PCF with Contracts and Symbolic Values

Learn Scilla ⭐ 16

💡An interactive tutorial for people to learn Scilla through a gamification process.

Nim Ethereum Contract DSL. Targeting eWASM.

Neo Debugger Tools ⭐ 13

A set of tools to develop NEO smart contracts

Guardian ⭐ 12

A programming language for stack-based smart contract VMs.

Yallo Lang ⭐ 12

A smart contract language for Tezos

Ruby Serpent ⭐ 11

Ruby binding to Ethereum Serpent compiler. Serpent is a Python style smart contract language.

Functional Cryptocurrencies ⭐ 10

List of cryptocurrencies and smart contracts using functional programming languages

Elara is a purely-functional programming language targetting the JVM

Language Qux ⭐ 7

WIP: Utilities for working with the Qux language

Termslang ⭐ 7

Official TERMS language compiler for EVM (source code)

Kframework ⭐ 7

RChain Rholang Implementation & Materials for learning K Framework

Scilla Language Server ⭐ 6

A analysis server for the smart contract language Scilla following the language server protocol.

Hyperservice Language ⭐ 6

This is the repository to host the code for hslang parsing and code generation.

Monascript ⭐ 5

The language for Smart Contracts inspired by Sipa's Miniscript

Clarity Script ⭐ 5

Proposal for a JavaScript compatible language compilable to Clarity

Related Searches

Javascript Contracts (4,916)

Python Language (4,480)

Javascript Language (4,116)

Contracts Ethereum (3,405)

Java Language (2,399)

Contracts Solidity (2,350)

Blockchain Contracts (2,244)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

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