MichaelBurge / pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
☆248Updated 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)☆141Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Ethereum Virtual Machine (EVM) implementation☆121Updated 6 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated 2 weeks ago
- a history of Lisp's most notorious artifact, parentheses☆573Updated 6 months ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- Noether programming language☆126Updated 7 years ago
- Urlang is JavaScript with a sane syntax☆302Updated 2 months ago
- a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript☆52Updated 9 years ago
- syn·di·cate: a language for interactive programs☆156Updated 3 weeks ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- Run Ethereum LLL contract code directly in Clojure☆32Updated 10 years ago
- Whalesong: Racket to JavaScript compiler☆251Updated 7 years ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- The Bone Lisp programming language☆327Updated 4 years ago
- Concurrent ML-like concurrency for Guile☆338Updated 4 months ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- A functional Scheme for world domination.☆382Updated 6 years ago
- ☆73Updated 10 years ago
- ☆170Updated 7 years ago
- a collection of arrow macros☆571Updated 5 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- deploying Racket on Android☆98Updated 8 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆213Updated last year
- ☆77Updated 2 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years ago
- ☆187Updated 5 years ago
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago