All Projects → gallettilance → ATS-blockchain

gallettilance / ATS-blockchain

Licence: BSD-3-Clause License
⛓️ Blockchain + Smart contracts from scratch

Programming Languages

ATS
13 projects
Makefile
30231 projects
shell
77523 projects

Projects that are alternatives of or similar to ATS-blockchain

Plam
An interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+2038.89%)
Mutual labels:  interpreter, lambda-calculus
t3rn
Composable 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
lambda
lambda calculus interpreter
Stars: ✭ 23 (+27.78%)
Mutual labels:  interpreter, lambda-calculus
StepULC
Efficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-16.67%)
Mutual labels:  interpreter, lambda-calculus
tranquility
Tranquility is an in-development programming language intended to replace Solidity
Stars: ✭ 17 (-5.56%)
Mutual labels:  interpreter, smart-contracts
Corium
Corium is a modern scripting language which combines simple, safe and efficient programming.
Stars: ✭ 18 (+0%)
Mutual labels:  interpreter
blockchain-consensus
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
Stars: ✭ 79 (+338.89%)
Mutual labels:  smart-contracts
ride-examples
Examples of scripts for accounts, dApps and assets using RIDE programming language.
Stars: ✭ 28 (+55.56%)
Mutual labels:  smart-contracts
retro12
This repo is retired. See http://forthworks.com:8000/
Stars: ✭ 18 (+0%)
Mutual labels:  interpreter
crowdsale-smart-contract
No description or website provided.
Stars: ✭ 39 (+116.67%)
Mutual labels:  smart-contracts
Zentanetwork
Zentanetwork is a forkless Proof of Stake consensus for communication and data storage.
Stars: ✭ 15 (-16.67%)
Mutual labels:  smart-contracts
interp
Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
Stars: ✭ 32 (+77.78%)
Mutual labels:  interpreter
block-change
Social impact bond implemented on Ethereum
Stars: ✭ 38 (+111.11%)
Mutual labels:  smart-contracts
clifm
Command Line Interface File Manager
Stars: ✭ 87 (+383.33%)
Mutual labels:  commandline-interface
zeta-lang
The Zeta Programming langauge
Stars: ✭ 34 (+88.89%)
Mutual labels:  interpreter
Building-your-own-ECR20-Token
This tutorial will take you through the steps of building your first ERC20 token on the Ethereum network.
Stars: ✭ 81 (+350%)
Mutual labels:  smart-contracts
Square
The Square Programming Language. A tiny programming language under 200kb.
Stars: ✭ 23 (+27.78%)
Mutual labels:  interpreter
sebasic4
SE Basic IV 4.2 Cordelia - A free BASIC interpreter written in Z80 assembly language
Stars: ✭ 44 (+144.44%)
Mutual labels:  interpreter
SmartContractTrading-wFabric1-4-VSCodeExt
Learn now to create a smart contract with VSCode
Stars: ✭ 27 (+50%)
Mutual labels:  smart-contracts

ATS-Blockchain

Build Status License

Blockchain, Smart Contract, and Database implementation in ATS

example

About

The CLI is currently to be used in the following way:

  1. define miners/users
  2. make transactions (valid or otherwise)
  3. write/execute smart contract
  4. write/execute queries
  5. decide who will mine the next block
  6. view the balance of users
  7. view the blockchain and/or repeat from 1/2

The full report is online. Part 1 is here and part 2 is here.

Running the application

Currently only supported on Linux. After installing ATS and cloning the repo, simply run

cd ATS-blockchain  
git clone https://github.com/ashalkhakov/colorado.git  
make regress

Pull requests are welcome!

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].