MichaelBurge / pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
☆249Updated 6 years ago
Alternatives and similar repositories for pyramid-scheme:
Users that are interested in pyramid-scheme are comparing it to the libraries listed below
- Simple Ethereum library for Clojure(Script)☆142Updated 7 years ago
- An alternative to Urbit☆93Updated 7 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated last year
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Ethereum Virtual Machine (EVM) implementation☆122Updated 6 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 2 years ago
- un-opinionated S-expression syntax and macro system for JavaScript☆533Updated 4 years ago
- syn·di·cate: a language for interactive programs☆155Updated this week
- a history of Lisp's most notorious artifact, parentheses☆572Updated 4 months ago
- ☆110Updated 5 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript☆52Updated 9 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- Noether programming language☆126Updated 7 years ago
- Urbit examples☆85Updated 4 years ago
- ☆77Updated 2 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- Minimal code-interchange format☆194Updated 4 years ago
- Low-level Lisp for LLVM☆502Updated 8 years ago
- Urlang is JavaScript with a sane syntax☆301Updated last month
- Run Ethereum LLL contract code directly in Clojure☆32Updated 10 years ago
- moved -> 'lucid.query'☆102Updated 8 years ago
- deploying Racket on Android☆98Updated 7 years ago
- A distributed database-system implementing an entity-attribute-value data-model that is time-aware, accumulative, and atomically consiste…☆564Updated last year
- ☆127Updated 11 months ago