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
- functional data structures for scheme☆137Updated 6 years ago
- Typed Racket data structure libraries☆59Updated 4 years ago
- ☆42Updated 2 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- Generic graph library and algorithms for Racket.☆59Updated 2 years ago
- A Parser Combinators Library for Clojure☆241Updated 4 years ago
- An embeddable flow-oriented language.☆74Updated last month
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- An embedded language for probabilistic programming and meta-programming.☆170Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- A database mapper for Racket.☆64Updated 4 months ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆21Updated last year
- Examples for Clojure AI book☆119Updated last month
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆167Updated 8 years ago
- Choreographies in Clojure☆87Updated last year
- ☆74Updated 11 years ago
- A simple starting point for doing deep learning in Racket☆70Updated 6 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- Clojure Guides | Getting Started With Clojure | Clojure Tutorials☆57Updated 2 months ago
- Executable version of Structure and Interpretation of Classical Mechanics.☆42Updated 4 years ago
- ☆49Updated 2 months ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 6 years ago
- From Bronze to GM in miniKanren!☆13Updated 8 months ago
- Clojure library for symbolic computation☆316Updated 2 years ago
- A little scheme implementation on top of Clojure☆149Updated 9 years ago
- Delimited continuations for Clojure☆214Updated 5 years ago
- A data frame implementation for Racket☆38Updated 3 months ago