All Categories → No Category → ats-lang

Top 2 ats-lang open source projects

⛓️ Blockchain + Smart contracts from scratch

✭ 18

ATS Makefile shell parser interpreter functional-programming smart-contracts blockchain lambda-calculus commandline-interface ats-lang blockchain-demo smart-contract-platform

Vim plugin for ATS

✭ 15

plugin vim ats-lang

1-2 of 2 ats-lang projects