Alternatives and similar repositories for LaTTe

Users that are interested in LaTTe are comparing it to the libraries listed below

• swannodette / delimc
  Delimited continuations for Clojure
  ☆215Updated 5 years ago
• Viasat / salt
  ☆189Updated 5 years ago
• blancas / kern
  A Parser Combinators Library for Clojure
  ☆241Updated 4 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆168Updated 11 years ago
• tgk / propaganda
  A propagator library for Clojure
  ☆166Updated 11 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• greghendershott / rackjure
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆238Updated 2 years ago
• clojure-numerics / expresso
  Clojure library for symbolic computation
  ☆316Updated last year
• namin / logically
  explorations in core.logic
  ☆118Updated last year
• mullr / micrologic
  A literate clojure implementation of microKanren
  ☆68Updated 6 years ago
• hraberg / shen.clj
  神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.
  ☆157Updated last year
• turbopape / scheje
  A little scheme implementation on top of Clojure
  ☆147Updated 9 years ago
• uncomplicate / fluokitten
  Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
  ☆470Updated last year
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• bodil / BODOL
  The common BODil Oriented Language
  ☆313Updated 8 years ago
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆95Updated 6 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆312Updated 11 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆166Updated 8 years ago
• jmgimeno / okasaki-clojure
  Clojure implementation of some data structures described in Okasaki's book
  ☆132Updated 7 years ago
• youngnh / parsatron
  Clojure parser combinators
  ☆232Updated 4 years ago
• namin / propagators
  the Art of the Propagator
  ☆52Updated 12 years ago
• jamii / strucjure
  A library for doing stuff to other stuff.
  ☆214Updated 11 years ago
• takeoutweight / clojure-scheme
  Clojure to Scheme to C to the bare metal.
  ☆565Updated 5 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆125Updated 10 years ago
• juxtin / clj-bob
  The J-Bob proof assistant from The Little Prover in Clojure
  ☆61Updated 9 years ago
• artagnon / rhine-ml
  🏞 an OCaml compiler for an untyped lisp
  ☆630Updated 10 years ago
• cloxp / cloxp-install
  Clojure IDE for explorative and interactive development.
  ☆67Updated 7 years ago
• mikera / kiss
  A statically typed, functional Lisp, building upon Clojure
  ☆79Updated 8 years ago
• tanders / clojure2minizinc
  A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background
  ☆74Updated 9 years ago