latte-central / LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
☆259Updated last week
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
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆469Updated 10 months ago
- Clojure library for symbolic computation☆315Updated last year
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- A Parser Combinators Library for Clojure☆238Updated 3 years ago
- ☆188Updated 5 years ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- A propagator library for Clojure☆165Updated 11 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- a collection of arrow macros☆571Updated 5 years ago
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago
- explorations in core.logic☆117Updated 9 months ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years 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.☆170Updated last month
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- Curated list of Clojure-like programming languages.☆224Updated last week
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆129Updated last week
- A Clojure dialect that compiles to native executable using the Clang compiler☆94Updated 6 years ago
- Shen experimental libraries☆148Updated 5 years ago
- ☆127Updated last year
- Clojure parser combinators☆232Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Shen language kernel sources for porters☆369Updated 7 months ago
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆155Updated last year
- Macros for defining monads, and definition of the most common monads☆451Updated 8 months ago
- An R6RS framework for creating compilers that target C.☆113Updated 9 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 7 years ago
- Functional JVM bytecode generation for Clojure.☆202Updated 2 months ago