latte-central / LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
☆259Updated last year
Alternatives and similar repositories for LaTTe:
Users that are interested in LaTTe are comparing it to the libraries listed below
- Delimited continuations for Clojure☆214Updated 4 years ago
- A Parser Combinators Library for Clojure☆238Updated 3 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.☆469Updated 9 months ago
- Clojure library for symbolic computation☆315Updated last year
- explorations in core.logic☆117Updated 9 months ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- a collection of arrow macros☆570Updated 5 years ago
- A propagator library for Clojure☆165Updated 11 years ago
- ☆73Updated 10 years ago
- The common BODil Oriented Language☆312Updated 7 years ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- Functional JVM bytecode generation for Clojure.☆202Updated 2 months ago
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago
- ☆188Updated 5 years ago
- functional data structures for scheme☆133Updated 5 years ago
- ☆127Updated 11 months ago
- Clojure implementation of some data structures described in Okasaki's book☆133Updated 6 years ago
- This is the Toccata compiler and core library. Start here.☆169Updated last month
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 6 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- FSet, the functional collections library for Common Lisp.☆207Updated this week
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Macros for defining monads, and definition of the most common monads☆451Updated 7 months ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆155Updated last year
- Constraint programming language embedded in Racket☆153Updated 3 years ago