mcclure / emilyLinks
Git mirror of https://bitbucket.org/runhello/emily
☆60Updated 5 years ago
Alternatives and similar repositories for emily
Users that are interested in emily are comparing it to the libraries listed below
Sorting:
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Awelon project is a new UI model with a new language.☆106Updated 10 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- Crux Programming Language☆53Updated 3 months ago
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Updated 10 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- A small implementation of type inference☆80Updated 10 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 3 months ago
- microkanren in sml☆27Updated 10 years ago
- Noether programming language☆129Updated 8 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 7 months ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆40Updated 9 years ago
- Charity Programming Language☆41Updated 10 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- Operator syntax for the Lisp family of languages (Racket implementation)☆33Updated 11 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago