jeffhhk / SoftwareDesignForFlexibilityLinks
☆69Updated 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)☆264Updated 8 months ago
- explorations in core.logic☆118Updated last year
- ☆12Updated last year
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 6 years ago
- functional data structures for scheme☆136Updated 6 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆60Updated 6 years ago
- Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.☆80Updated 2 years ago
- Delimited continuations for Clojure☆214Updated 5 years ago
- Examples for Clojure AI book☆119Updated 3 weeks ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Typed Racket data structure libraries☆59Updated 4 years ago
- A database mapper for Racket.☆64Updated last month
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- The implementation of microKanren, a featherweight relational programming language☆315Updated 11 years ago
- ☆42Updated last year
- ☆74Updated 10 years ago
- A Parser Combinators Library for Clojure☆241Updated 4 years ago
- the Art of the Propagator☆52Updated 13 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆238Updated 3 years ago
- Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.☆473Updated last year
- Executable version of Structure and Interpretation of Classical Mechanics.☆41Updated 4 years ago
- Haskell in S-expression☆176Updated last year
- Generic graph library and algorithms for Racket.☆59Updated 2 years ago
- Clojure Guides | Getting Started With Clojure | Clojure Tutorials☆57Updated 2 weeks ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆166Updated 8 years ago
- A little scheme implementation on top of Clojure☆147Updated 9 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- 神.clj | Shen for Clojure. Shen is a portable functional programming language by Mark Tarver.☆157Updated last year
- Choreographies in Clojure☆88Updated last year