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
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆168Updated 10 years ago
• blancas / kern
  A Parser Combinators Library for Clojure
  ☆241Updated 4 years ago
• Viasat / salt
  ☆189Updated 5 years ago
• namin / logically
  explorations in core.logic
  ☆118Updated last year
• greghendershott / rackjure
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆239Updated 2 years ago
• clojure-numerics / expresso
  Clojure library for symbolic computation
  ☆316Updated last year
• Toccata-Lang / toccata
  This is the Toccata compiler and core library. Start here.
  ☆3Updated this week
• turbopape / scheje
  A little scheme implementation on top of Clojure
  ☆146Updated 8 years ago
• uncomplicate / fluokitten
  Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
  ☆471Updated last year
• tgk / propaganda
  A propagator library for Clojure
  ☆166Updated 11 years ago
• hraberg / shen.clj
  神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.
  ☆156Updated last year
• mullr / micrologic
  A literate clojure implementation of microKanren
  ☆68Updated 5 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆164Updated 8 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 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
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆95Updated 6 years ago
• jasonhemann / microKanren
  The implementation of microKanren, a featherweight relational programming language
  ☆311Updated 11 years ago
• takeoutweight / clojure-scheme
  Clojure to Scheme to C to the bare metal.
  ☆564Updated 5 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆94Updated 7 years ago
• bodil / BODOL
  The common BODil Oriented Language
  ☆313Updated 8 years ago
• rplevy / swiss-arrows
  a collection of arrow macros
  ☆576Updated 6 years ago
• deech / shen-elisp
  ☆131Updated last year
• juxtin / clj-bob
  The J-Bob proof assistant from The Little Prover in Clojure
  ☆61Updated 9 years ago
• Shen-Language / wiki
  ☆74Updated 10 years ago
• mikera / kiss
  A statically typed, functional Lisp, building upon Clojure
  ☆79Updated 8 years ago