takeoutweight / Clojure-CHRLinks
Constraint Handling Rules in Clojure
☆28Updated 14 years ago
Alternatives and similar repositories for Clojure-CHR
Users that are interested in Clojure-CHR are comparing it to the libraries listed below
Sorting:
- a numerical computing library for Clojure☆23Updated 8 years ago
- Reversing instaparse with core.logic☆78Updated 10 years ago
- Extensible Clojure☆107Updated 10 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Staged compilation for Clojure through environment & special-form aware syntax-quoting.☆82Updated 4 years ago
- Continuation Passing Style macro compiler for Clojure☆60Updated 8 years ago
- A lisp with support for fexprs and interpreter collapsing☆37Updated 7 years ago
- Mímir is an experimental rule engine written in Clojure.☆231Updated last year
- A literate clojure implementation of microKanren☆68Updated 6 years ago
- A Clojure AST transformation library☆39Updated 13 years ago
- A Clojure framework for efficiently writing C code☆93Updated 10 years ago
- A propagator library for Clojure☆167Updated 11 years ago
- Maze algorithms in Clojure (from Jamis Buck's "Mazes for Programmers" book)☆24Updated 3 years ago
- kd-trees in Clojure☆57Updated 9 years ago
- Stack-based Programming in Clojure(script)☆78Updated 6 years ago
- Parsing with "disambiguation filters" in Clojure☆22Updated 9 years ago
- whole-program transformations in clojure☆99Updated 8 years ago
- ☆53Updated last month
- clojure library for strategic term rewriting inspired by StrategoXT☆24Updated 9 years ago
- clojure + datalog = <3☆141Updated 5 years ago
- Unification library☆151Updated last month
- Graph of Clojure classes and tools to produce it.☆51Updated 2 years ago
- An implementation of the mini-kanren programming language in Clojure☆37Updated 15 years ago
- Clojure transducers with a more readable interface☆35Updated 9 years ago
- automatic differentiation/integration of PDEs☆24Updated 7 years ago
- Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactio…☆73Updated 5 years ago
- Grammar of graphics plotting for Clojure☆33Updated 10 years ago
- Concrete/Abstract Syntax Trees for Clojure☆15Updated 6 years ago
- A Clojure interface to the Sat4j satisfaction solver.☆77Updated 3 years ago
- converting one thing into another thing via Clojure.☆89Updated 3 years ago