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)☆141Updated 7 years ago
- Noether programming language☆127Updated 7 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated last month
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- An alternative to Urbit☆94Updated 7 years ago
- Run Ethereum LLL contract code directly in Clojure☆32Updated 10 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- ☆77Updated 2 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 8 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- a history of Lisp's most notorious artifact, parentheses☆578Updated 7 months ago
- Urbit examples☆87Updated 4 years ago
- ☆109Updated 5 years ago
- Minimal code-interchange format☆193Updated 4 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 7 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript☆52Updated 9 years ago
- A little scheme implementation on top of Clojure☆146Updated 8 years ago
- Ethereum Virtual Machine (EVM) implementation☆121Updated 6 years ago
- Urlang is JavaScript with a sane syntax☆302Updated 3 months ago
- A modern syntax for the λ-calculus.☆413Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- CRDTs in Clojure(Script) with EDN Serialization☆351Updated 3 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- ☆187Updated 5 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years ago
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆470Updated 11 months ago