emdonahue / SmallKanren

Related projects ⓘ

Alternatives and complementary repositories for SmallKanren

• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• osoco / PharoPDS
  Probabilistic data structures in Pharo Smalltalk.
  ☆29Updated 5 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated last week
• mflatt / shrubbery-rhombus-0
  ☆15Updated 2 years ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 3 years ago
• pykello / racket-graphviz
  Library to enable using graphviz in Racket programs
  ☆25Updated 3 years ago
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆17Updated this week
• racket / honu
  ☆18Updated last year
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated last year
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆29Updated 3 years ago
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 2 years ago
• sebastianconcept / PharoDawnTheme
  A warm dark theme for Pharo Smalltalk
  ☆12Updated 9 months ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• mflatt / plait
  ☆22Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆58Updated this week
• dvmason / Pharo-Functional
  Functional support for Pharo
  ☆37Updated 2 months ago
• LeifAndersen / racket-sml
  ☆18Updated last year
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆12Updated 3 years ago
• greghendershott / pdb
  Multi-file check-syntax database
  ☆12Updated 3 months ago
• soegaard / pyffi
  Use Python from Racket
  ☆28Updated 3 months ago
• stchang / mlish
  ☆21Updated 4 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• lwhjp / racket-jlang
  ☆12Updated 7 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 2 years ago
• lexi-lambda / racket-multimethod
  Proof-of-concept, mostly safe multimethods in Racket
  ☆11Updated 4 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 6 years ago
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 2 years ago