MichaelBurge / pyramid-scheme
Pyramid is a language to create Ethereum smart contracts
☆250Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for pyramid-scheme
- a history of Lisp's most notorious artifact, parentheses☆570Updated 2 months ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Simple Ethereum library for Clojure(Script)☆142Updated 7 years ago
- Kenichi Asai's reflective programming language Black☆195Updated 2 years ago
- ☆110Updated 5 years ago
- An alternative to Urbit☆91Updated 7 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆256Updated 11 months ago
- Minimal code-interchange format☆194Updated 4 years ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- Ethereum Virtual Machine (EVM) implementation☆122Updated 5 years ago
- ☆77Updated last year
- Whalesong: Racket to JavaScript compiler☆250Updated 7 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 7 years ago
- Urbit examples☆84Updated 3 years ago
- ☆125Updated 8 months ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Run Ethereum LLL contract code directly in Clojure☆32Updated 10 years ago
- syn·di·cate: a language for interactive programs☆152Updated 4 months ago
- The Bone Lisp programming language☆325Updated 4 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 6 years ago
- 🏞 an OCaml compiler for an untyped lisp☆632Updated 9 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- Whalesong: Racket to JavaScript compiler☆145Updated 7 years ago
- Noether programming language☆126Updated 7 years ago
- a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript☆52Updated 9 years ago
- An implementation of Hindley-Milner in Clojure.☆166Updated 10 years ago