PlamAn interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+2038.89%)
Mutual labels: interpreter, lambda-calculus
t3rnComposable smart contract hosting with fail-safe interoperable execution
Stars: ✭ 118 (+555.56%)
Mutual labels: smart-contracts, smart-contract-platform
Mikrokosmos(λ) Educational lambda calculus interpreter
Stars: ✭ 50 (+177.78%)
Mutual labels: interpreter, lambda-calculus
lambdalambda calculus interpreter
Stars: ✭ 23 (+27.78%)
Mutual labels: interpreter, lambda-calculus
StepULCEfficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-16.67%)
Mutual labels: interpreter, lambda-calculus
tranquilityTranquility is an in-development programming language intended to replace Solidity
Stars: ✭ 17 (-5.56%)
Mutual labels: interpreter, smart-contracts
CoriumCorium is a modern scripting language which combines simple, safe and efficient programming.
Stars: ✭ 18 (+0%)
Mutual labels: interpreter
blockchain-consensusThis 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
Stars: ✭ 79 (+338.89%)
Mutual labels: smart-contracts
ride-examplesExamples of scripts for accounts, dApps and assets using RIDE programming language.
Stars: ✭ 28 (+55.56%)
Mutual labels: smart-contracts
retro12This repo is retired. See http://forthworks.com:8000/
Stars: ✭ 18 (+0%)
Mutual labels: interpreter
ZentanetworkZentanetwork is a forkless Proof of Stake consensus for communication and data storage.
Stars: ✭ 15 (-16.67%)
Mutual labels: smart-contracts
interpInterpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
Stars: ✭ 32 (+77.78%)
Mutual labels: interpreter
block-changeSocial impact bond implemented on Ethereum
Stars: ✭ 38 (+111.11%)
Mutual labels: smart-contracts
clifmCommand Line Interface File Manager
Stars: ✭ 87 (+383.33%)
Mutual labels: commandline-interface
zeta-langThe Zeta Programming langauge
Stars: ✭ 34 (+88.89%)
Mutual labels: interpreter
Building-your-own-ECR20-TokenThis tutorial will take you through the steps of building your first ERC20 token on the Ethereum network.
Stars: ✭ 81 (+350%)
Mutual labels: smart-contracts
SquareThe Square Programming Language. A tiny programming language under 200kb.
Stars: ✭ 23 (+27.78%)
Mutual labels: interpreter
sebasic4SE Basic IV 4.2 Cordelia - A free BASIC interpreter written in Z80 assembly language
Stars: ✭ 44 (+144.44%)
Mutual labels: interpreter