jeffhhk / SoftwareDesignForFlexibility

Related projects ⓘ

Alternatives and complementary repositories for SoftwareDesignForFlexibility

• namin / logically
  explorations in core.logic
  ☆115Updated 5 months ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago
• mark-watson / Clojure-AI-Book-Code
  Examples for Clojure AI book
  ☆112Updated 3 weeks ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆256Updated 11 months ago
• webyrd / will-writes-books
  ☆13Updated 9 months ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆58Updated 3 years ago
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆58Updated last year
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆160Updated 7 years ago
• eliben / paip-in-clojure
  Code from "Paradigms of Artificial Intelligence Programming" in Clojure
  ☆39Updated 6 months ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• gregsexton / SICP-Clojure
  Solutions to the SICP exercises, in Clojure.
  ☆154Updated 9 years ago
• zyrolasting / racket-koans
  Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.
  ☆78Updated last year
• takikawa / racket-clojure
  #lang clojure
  ☆121Updated 9 years ago
• ijp / pfds
  functional data structures for scheme
  ☆133Updated 5 years ago
• swannodette / delimc
  Delimited continuations for Clojure
  ☆213Updated 4 years ago
• lovrosdu / klor
  Choreographies in Clojure
  ☆71Updated 3 weeks ago
• squaremo / lisp-in-small-pieces
  Code written while working through the book LISP in Small Pieces
  ☆27Updated 10 years ago
• lexi-lambda / threading
  Threading macros for Racket
  ☆49Updated last month
• simmone / racket-simple-xlsx
  a Open Xml Spreadsheet Format(.xlsx) file tool for racket-lang
  ☆27Updated 2 months ago
• clojure-numerics / expresso
  Clojure library for symbolic computation
  ☆313Updated 10 months ago
• charlescearl / DeepRacket
  A simple starting point for doing deep learning in Racket
  ☆67Updated 4 years ago
• mfelleisen / 7GUI
  the 7 gui project
  ☆54Updated 10 months ago
• namin / propagators
  the Art of the Propagator
  ☆50Updated 12 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 5 years ago
• probcomp / metaprob
  An embedded language for probabilistic programming and meta-programming.
  ☆168Updated 2 years ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆51Updated 14 years ago
• webyrd / imperishable-wonderland
  An Imperishable Wonderland of Infinite Fun
  ☆10Updated 7 months ago
• mbutterick / brag
  Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]
  ☆60Updated 2 years ago
• Bogdanp / deta
  A database mapper for Racket.
  ☆60Updated 2 months ago