haskell-lisp / blaiseLinks
Slava Akhmechet's Lisp from 2006
☆14Updated 11 years ago
Alternatives and similar repositories for blaise
Users that are interested in blaise are comparing it to the libraries listed below
Sorting:
- ☆14Updated 3 weeks ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- experimental computational medium and supporting tools☆22Updated last week
- Datalog implemented in minikanren☆24Updated 7 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- The Alms Programming Language☆44Updated 6 years ago
- ☆35Updated 5 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- TODO☆10Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- An embedding of miniKanren in Shen.☆25Updated 9 years ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Backtracking monad in Haskell☆14Updated 3 years ago
- Lua parser and pretty-printer☆15Updated last year
- ☆10Updated 9 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 weeks ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Collection of Idris snippets☆21Updated last year
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago