MichaelBurge / pyramid-schemeLinks
Pyramid is a language to create Ethereum smart contracts
☆249Updated 7 years ago
Alternatives and similar repositories for pyramid-scheme
Users that are interested in pyramid-scheme are comparing it to the libraries listed below
Sorting:
- Simple Ethereum library for Clojure(Script)☆141Updated 7 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago
- a history of Lisp's most notorious artifact, parentheses☆581Updated 9 months ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆82Updated 4 years ago
- Urlang is JavaScript with a sane syntax☆302Updated 5 months ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- ☆77Updated 2 years ago
- Noether programming language☆127Updated 8 years ago
- An alternative to Urbit☆94Updated 7 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆260Updated 3 months ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆325Updated 3 years ago
- Urbit examples☆87Updated 4 years ago
- Minimal code-interchange format☆193Updated 5 years ago
- A functional Scheme for world domination.☆381Updated 7 years ago
- 🏞 an OCaml compiler for an untyped lisp☆631Updated 10 years ago
- The Bone Lisp programming language☆326Updated 5 years ago
- a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript☆53Updated 10 years ago
- syn·di·cate: a language for interactive programs☆158Updated 3 months ago
- ☆109Updated 5 years ago
- Ethereum Virtual Machine (EVM) implementation☆121Updated 6 years ago
- Run Ethereum LLL contract code directly in Clojure☆32Updated 10 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- Concurrent ML-like concurrency for Guile☆349Updated 2 months ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- A modern syntax for the λ-calculus.☆412Updated 9 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years ago
- An experimental structural editor for ClojureScript☆152Updated 8 years ago