latte-central / LaTTeLinks
LaTTe : a Laboratory for Type Theory experiments (in clojure)
☆259Updated 2 months ago
Alternatives and similar repositories for LaTTe
Users that are interested in LaTTe are comparing it to the libraries listed below
Sorting:
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago
- Delimited continuations for Clojure☆215Updated 4 years ago
- Clojure library for symbolic computation☆314Updated last year
- A propagator library for Clojure☆165Updated 11 years ago
- A Parser Combinators Library for Clojure☆238Updated 4 years ago
- A little scheme implementation on top of Clojure☆146Updated 8 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.☆470Updated last year
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- The common BODil Oriented Language☆313Updated 8 years ago
- ☆189Updated 5 years ago
- An implementation of Hindley-Milner in Clojure.☆168Updated 10 years ago
- a collection of arrow macros☆571Updated 5 years ago
- Functional JVM bytecode generation for Clojure.☆201Updated 4 months ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 10 years ago
- Shen language kernel sources for porters☆376Updated 9 months ago
- ☆73Updated 10 years ago
- Clojure implementation of some data structures described in Okasaki's book☆133Updated 7 years ago
- Urlang is JavaScript with a sane syntax☆301Updated 4 months ago
- Shen for Common Lisp (Unmaintained)☆128Updated last year
- A practical guide to Racket macros☆252Updated 5 years ago
- explorations in core.logic☆118Updated 11 months ago
- This is the Toccata compiler and core library. Start here.☆1Updated last week
- FSet, the functional collections library for Common Lisp.☆210Updated last week
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- functional data structures for scheme☆134Updated 6 years ago
- Clojure IDE for explorative and interactive development.☆67Updated 7 years ago
- the Art of the Propagator☆51Updated 12 years ago
- RRB-Trees in Clojure☆198Updated this week