jeffhhk / SoftwareDesignForFlexibilityLinks
☆70Updated 2 years ago
Alternatives and similar repositories for SoftwareDesignForFlexibility
Users that are interested in SoftwareDesignForFlexibility are comparing it to the libraries listed below
Sorting:
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆265Updated 10 months ago
- explorations in core.logic☆118Updated last year
- ☆12Updated last year
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- Typed Racket data structure libraries☆59Updated 4 years ago
- the Art of the Propagator☆52Updated 13 years ago
- functional data structures for scheme☆137Updated 6 years ago
- The implementation of microKanren, a featherweight relational programming language☆320Updated 11 years ago
- Generic graph library and algorithms for Racket.☆59Updated 2 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago