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☆34Updated 5 years ago
- Crux Programming Language☆53Updated 2 weeks ago
- Awelon project is a new UI model with a new language.☆107Updated 9 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A programming language that runs in Haskell's type system.☆255Updated 9 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- Noether programming language☆127Updated 8 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated last week
- A small implementation of type inference☆80Updated 10 years ago
- The web framework nobody asked for, wants, or needs.☆20Updated 4 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- microkanren in sml☆26Updated 10 years ago
- The Kleenex programming language☆56Updated 10 months ago
- SML On Stilts☆37Updated 11 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- ☆40Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- The Mythryl programming language☆117Updated 9 years ago
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Updated 10 years ago
- The Ur/Web People Organizer☆30Updated last year
- Operator syntax for the Lisp family of languages (Racket implementation)☆33Updated 11 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago