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
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆237Updated 2 years ago
- Delimited continuations for Clojure☆214Updated 4 years ago
- A Parser Combinators Library for Clojure☆239Updated 3 years ago
- Clojure library for symbolic computation☆314Updated last year
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆468Updated 9 months ago
- ☆189Updated 5 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- A propagator library for Clojure☆165Updated 10 years ago
- A little scheme implementation on top of Clojure☆145Updated 8 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆161Updated 7 years ago
- Functional JVM bytecode generation for Clojure.☆201Updated last month
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago
- This is the Toccata compiler and core library. Start here.☆168Updated 3 weeks ago
- a collection of arrow macros☆569Updated 5 years ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- Macros for defining monads, and definition of the most common monads☆447Updated 7 months ago
- explorations in core.logic☆116Updated 8 months ago
- Clojure implementation of some data structures described in Okasaki's book☆133Updated 6 years ago
- ☆170Updated 6 years ago
- A literate clojure implementation of microKanren☆68Updated 5 years ago
- ClojureCL is a Clojure library for parallel computations with OpenCL.☆279Updated 9 months ago
- ☆57Updated 7 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- An experimental port of clojure to common lisp. Also some native common lisp implementations of clojure libraries, like seq, persistent …☆224Updated 5 years ago
- A less devious proof assistant☆222Updated 2 years ago
- Urlang is JavaScript with a sane syntax☆302Updated last month
- A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background☆73Updated 8 years ago
- RRB-Trees in Clojure☆193Updated 7 months ago
- Finger Tree data structure☆215Updated 7 months ago
- Curated list of Clojure-like programming languages.☆211Updated last year