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
- A Parser Combinators Library for Clojure☆238Updated 3 years ago
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆468Updated 8 months ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 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.☆237Updated 2 years ago
- Clojure library for symbolic computation☆314Updated last year
- A propagator library for Clojure☆165Updated 10 years ago