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
  ☆214Updated 5 years ago
• greghendershott / rackjure
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆238Updated 3 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆168Updated 11 years ago
• blancas / kern
  A Parser Combinators Library for Clojure
  ☆241Updated 4 years ago
• tgk / propaganda
  A propagator library for Clojure
  ☆167Updated 11 years ago
• clojure-numerics / expresso
  Clojure library for symbolic computation
  ☆316Updated last year
• Viasat / salt
  ☆188Updated 6 years ago
• uncomplicate / fluokitten
  Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
  ☆473Updated last year
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆316Updated 11 years ago
• 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
• namin / logically
  explorations in core.logic
  ☆118Updated last year
• jmgimeno / okasaki-clojure
  Clojure implementation of some data structures described in Okasaki's book
  ☆132Updated 7 years ago
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆95Updated 7 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• namin / propagators
  the Art of the Propagator
  ☆52Updated 13 years ago
• deech / shen-elisp
  ☆130Updated last year
• Shen-Language / wiki
  ☆74Updated 10 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• bodil / BODOL
  The common BODil Oriented Language
  ☆313Updated 8 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆166Updated 8 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 6 years ago
• juxtin / clj-bob
  The J-Bob proof assistant from The Little Prover in Clojure
  ☆61Updated 10 years ago
• takeoutweight / clojure-scheme
  Clojure to Scheme to C to the bare metal.
  ☆565Updated 5 years ago
• rplevy / swiss-arrows
  a collection of arrow macros
  ☆574Updated 6 years ago
• soegaard / whalesong
  Whalesong: Racket to JavaScript compiler
  ☆147Updated 8 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆94Updated 7 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆125Updated 10 years ago