jeffhhk / SoftwareDesignForFlexibility

Related projects: ⓘ

• namin / logically
  explorations in core.logic
  ☆115Updated 3 months ago
• webyrd / will-writes-books
  ☆13Updated 7 months ago
• ijp / pfds
  functional data structures for scheme
  ☆133Updated 5 years ago
• eliben / paip-in-clojure
  Code from "Paradigms of Artificial Intelligence Programming" in Clojure
  ☆39Updated 4 months ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆66Updated 5 years ago
• mark-watson / Clojure-AI-Book-Code
  Examples for Clojure AI book
  ☆109Updated last week
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 10 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆58Updated 2 years ago
• zyrolasting / racket-koans
  Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.
  ☆78Updated last year
• swannodette / delimc
  Delimited continuations for Clojure
  ☆213Updated 4 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• namin / propagators
  the Art of the Propagator
  ☆50Updated 11 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 5 years ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• racket / datalog
  ☆43Updated last month
• takikawa / racket-clojure
  #lang clojure
  ☆120Updated 9 years ago
• charlescearl / DeepRacket
  A simple starting point for doing deep learning in Racket
  ☆68Updated 4 years ago
• theleoborges / purely-functional-data-structures
  Clojure versions of the code and solutions from the book Purely Functional Data Structures
  ☆89Updated 11 years ago
• mullr / micrologic
  A literate clojure implementation of microKanren
  ☆68Updated 5 years ago
• siclait / 6.824-cljlabs-2020
  Clojure ports for the Spring 2020 labs of MIT's 6.824: Distributed Systems
  ☆85Updated 4 years ago
• LeifAndersen / interactive-syntax-clojure
  ☆42Updated 8 months ago
• hraberg / mimir
  Mímir is an experimental rule engine written in Clojure.
  ☆230Updated 6 months ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆258Updated 9 months ago
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆58Updated 10 months ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• illiichi / orenolisp
  see:
  ☆125Updated 3 years ago
• brandonwillard / adderall
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 4 years ago
• rm-hull / jasentaa
  A parser combinator library for Clojure and ClojureScript
  ☆64Updated 9 months ago
• blancas / kern
  A Parser Combinators Library for Clojure
  ☆237Updated 3 years ago
• daly / literateclojure
  Clojure as a literate program
  ☆28Updated last year