Alternatives and similar repositories for sketchzone:

Users that are interested in sketchzone are comparing it to the libraries listed below

• gregr / dbKanren
  Kanren with databases
  ☆43Updated 7 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated 10 months ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆77Updated 3 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆112Updated last month
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆13Updated 3 years ago
• mthom / scryer-shen
  ☆46Updated 4 months ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated this week
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 3 weeks ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• ianthehenry / macaroni
  macro spaghetti code
  ☆28Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 7 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• shriram / xkcd-3062
  XKCD 3062
  ☆20Updated last week
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆41Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆19Updated 3 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆30Updated 4 months ago