jeffhhk / SoftwareDesignForFlexibility
☆65Updated last year
Alternatives and similar repositories for SoftwareDesignForFlexibility:
Users that are interested in SoftwareDesignForFlexibility are comparing it to the libraries listed below
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated 2 weeks ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- functional data structures for scheme☆133Updated 5 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- the Art of the Propagator☆50Updated 12 years ago
- explorations in core.logic☆117Updated 9 months ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆162Updated 7 years ago
- A Parser Combinators Library for Clojure☆238Updated 3 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 2 years ago
- An embeddable flow-oriented language.☆70Updated 3 weeks ago
- Delimited continuations for Clojure☆214Updated 4 years ago
- ☆13Updated last year
- Typed Racket data structure libraries☆58Updated 3 years ago
- Examples for Clojure AI book☆116Updated 3 weeks ago
- Generic graph library and algorithms for Racket.☆59Updated last year
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- An Imperishable Wonderland of Infinite Fun☆10Updated 11 months ago
- Shen for Common Lisp (Unmaintained)☆127Updated 10 months ago
- Experiments with fast term-rewriting in clojure☆63Updated 9 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- ☆73Updated 10 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆470Updated 10 months ago
- Clojure library for symbolic computation☆314Updated last year
- A simple starting point for doing deep learning in Racket☆68Updated 5 years ago
- HASKELL: Yale Haskell system written in Lisp☆98Updated 11 years ago
- A little scheme implementation on top of Clojure☆146Updated 8 years ago
- Bibliography of Scheme research (readscheme.org and beyond)☆156Updated 2 years ago
- Programs from the book Lisp in Small Pieces, updated to work on modern schemes☆244Updated 4 years ago
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago