840 Open source projects that are alternatives of or similar to ATS-blockchain

(λ) Educational lambda calculus interpreter

Composable smart contract hosting with fail-safe interoperable execution

Tranquility is an in-development programming language intended to replace Solidity

An interpreter for learning and exploring pure λ-calculus

Efficient and single-steppable ULC evaluation algorithm

lambda calculus interpreter

My experiment on EOSIO blockchain to develop an election Smart Contract. I also develop a webapp which interacts with the blockchain.

Examples of scripts for accounts, dApps and assets using RIDE programming language.

This project is to create a system that uses DeFi technology to enforce contracts. Users will be able to set up contracts between each other, this includes an escrow service for payments. If users disagree over whether a contract was fulfilled, a jury appointed by the system will make the final decision.

Implementations of the Source languages, which are small sublanguages of JavaScript designed for SICP JS

Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining

Higher Order Prolog with Extensional Semantics

🐲 Object orientated, dynamically typed, interpreted programming language inspired by Python and Javascript.

Delving into Free Monads and using them to write pure functional web applications

Corium is a modern scripting language which combines simple, safe and efficient programming.

An implementation of the Arweave SmartWeave smart contracts protocol.

This is my attempt to list all possible blockchain consensus out there, i welcome pull request of the blockchain community! lets make it the main reference for blockchain consensus

Smart Contract parachain interoperate with Polkadot and Ethereum

This repo is retired. See http://forthworks.com:8000/

Web Assembly Zig Machine

Zentanetwork is a forkless Proof of Stake consensus for communication and data storage.

Lecture note on Lambda Calculus and Types for FLOLAC

A simple and pleasant programming language.

Medical insurance claiming DApp which uses a Multi-Sig type approach to grant claim (ConsenSys project)

嵌入式脚本语言 Lightweight embedded scripting language

Smart contracts for the Dala token sale and ERC20 token

Run JVM-based code in Go efficiently

General purpose command line tools for interacting with NEAR Protocol

Toy programming language. Now being reimplemented in Rust: https://github.com/poteto/monkers

Social impact bond implemented on Ethereum

Sam's Programming Language

Command Line Interface File Manager

Reference DAML application demonstrating a bond issuance use case.

The Zeta Programming langauge

Like the Programming Languages Zoo but with esoteric languages.

This tutorial will take you through the steps of building your first ERC20 token on the Ethereum network.

Elven Tools SC - Smart Contract for launching NFTs collections on the Elrond blockchain

The Square Programming Language. A tiny programming language under 200kb.

Blockchain with native storage and smart contract integration.

Create modular Python CLIs with type annotations and inheritance

A parser, compiler, and virtual machine evaluator for a minimal subset of Lua; written from scratch in Rust.

A decentralized (p2p) file storage system built atop Kademlia DHT that enforces data integrity, privacy, and availability through sharding, proofs of retrievability, redundancy, and encryption, with smart-contract powered incentive scheme

DeFi Developer roadmap is a curated Web3.0 Developer handbook which includes a list of the best tools for DApps, development resources and lifehacks.

No description or website provided.

Crypto portfolio tracker, DeFi dashboard, NFT viewer and data explorer for the Ethereum/EVM-based blockchain ecosystem and the web 3.0-powered metaverse https://gitcoin.co/grants/2966/blockhead

Bytecode compiler and VM for the Monkeylang language, written in Rust

Oxide Programming Language, an interpreted scripting language with a Rust influenced syntax.

SE Basic IV 4.2 Cordelia - A free BASIC interpreter written in Z80 assembly language

🌐 🧙‍♂️ Decentralized application UI for Quipuswap protocol.

A Web UI for creating, editing and testing Accord Project templates

Learn now to create a smart contract with VSCode

CLI for Titan Suite

Chickadee is a minimal programming language implemented in TypeScript for teaching purposes.

Python implementation for Understanding Computation book.

An embeddable scripting language inspired by Lua and JavaScript.

WebAssembly interpreter in RPython

Compile javascript to LLVM IR, x86 assembly and self interpreting

Expressive, noiseless, interpreted, toy programming language

Dialogue language and tools for games.

🧰 Export Solidity contract ABIs on compilation ⚙️