latte-central / LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
☆259Updated last month
Alternatives and similar repositories for LaTTe:
Users that are interested in LaTTe are comparing it to the libraries listed below
- A Parser Combinators Library for Clojure☆237Updated 3 years ago
- Delimited continuations for Clojure☆214Updated 4 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years ago
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- explorations in core.logic☆117Updated 10 months ago
- A propagator library for Clojure☆165Updated 11 years ago
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆470Updated 11 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆162Updated 8 years ago
- Clojure library for symbolic computation☆314Updated last year
- ☆187Updated 5 years ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- A little scheme implementation on top of Clojure☆146Updated 8 years ago
- a collection of arrow macros☆571Updated 5 years ago
- Mímir is an experimental rule engine written in Clojure.☆230Updated last year
- ☆170Updated 7 years ago
- An implementation of Hindley-Milner in Clojure.☆168Updated 10 years ago
- Clojure implementation of some data structures described in Okasaki's book☆133Updated 6 years ago
- Clojure to Scheme to C to the bare metal.☆564Updated 5 years ago
- Functional JVM bytecode generation for Clojure.☆201Updated 3 months ago
- the Art of the Propagator☆50Updated 12 years ago
- Clojure parser combinators☆232Updated 4 years ago
- ☆73Updated 10 years ago
- Shen language kernel sources for porters☆372Updated 8 months ago
- The common BODil Oriented Language☆313Updated 8 years ago
- Haskell in S-expression☆171Updated 5 months ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆155Updated last year
- functional data structures for scheme☆133Updated 5 years ago
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Macros for defining monads, and definition of the most common monads☆455Updated 9 months ago