racket/datalog external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

racket/datalog

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/racket/datalog)

Close

racket / datalogView on GitHubMore

• External links
• Readme badge

☆50Feb 21, 2026Updated 3 weeks ago

Alternatives and similar repositories for datalog

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

• racket / algol60

  View on GitHub
  ☆13Feb 21, 2026Updated 3 weeks ago
• racket / parser-tools

  View on GitHub
  ☆15Feb 21, 2026Updated 3 weeks ago
• racket / draw

  View on GitHub
  ☆19Feb 21, 2026Updated 3 weeks ago
• carl-eastlund / dracula

  View on GitHub
  ☆10Jan 24, 2016Updated 10 years ago
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• racket / frtime

  View on GitHub
  ☆20Feb 21, 2026Updated 3 weeks ago
• Bogdanp / try-racket

  View on GitHub
  An online playground for Racket.
  ☆13May 11, 2021Updated 4 years ago
• racket / math

  View on GitHub
  ☆39Feb 21, 2026Updated 3 weeks ago
• takikawa / racket-clojure

  View on GitHub
  #lang clojure
  ☆124Aug 5, 2015Updated 10 years ago
• racket / redex

  View on GitHub
  ☆103Mar 9, 2026Updated last week
• LeifAndersen / racket-to-c

  View on GitHub
  ☆29Jul 1, 2015Updated 10 years ago
• the-concurrent-schemer / scm

  View on GitHub
  [UNMAINTAINED] The Concurrent Schemer
  ☆120Sep 25, 2015Updated 10 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 3 years ago
• racket / db

  View on GitHub
  ☆23Feb 21, 2026Updated 3 weeks ago
• brownplt / lambda-py

  View on GitHub
  ☆59Jan 30, 2014Updated 12 years ago
• samth / fancy-app

  View on GitHub
  A Scala-style magic function application form
  ☆43Jul 31, 2022Updated 3 years ago
• samsergey / formica

  View on GitHub
  A "functionally oriented" Racket dialect.
  ☆44May 18, 2022Updated 3 years ago
• otherjoel / bookcover

  View on GitHub
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆23Nov 24, 2025Updated 3 months ago
• tuturto / archimedes

  View on GitHub
  Hy macros for Hypothesis framework
  ☆14Aug 23, 2023Updated 2 years ago
• racket / web-server

  View on GitHub
  ☆96Feb 21, 2026Updated 3 weeks ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• racket / 2d

  View on GitHub
  2d syntax
  ☆20Feb 21, 2026Updated 3 weeks ago
• racket / gui

  View on GitHub
  ☆68Mar 6, 2026Updated 2 weeks ago
• greghendershott / rackjure

  View on GitHub
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆239Nov 25, 2022Updated 3 years ago
• lexi-lambda / racket-r7rs

  View on GitHub
  An implementation of R7RS in Racket
  ☆102Oct 13, 2024Updated last year
• racket / swindle

  View on GitHub
  ☆11Feb 21, 2026Updated 3 weeks ago
• racket / libs

  View on GitHub
  Racket libraries
  ☆15Nov 5, 2025Updated 4 months ago
• racket / pict

  View on GitHub
  ☆18Feb 21, 2026Updated 3 weeks ago
• racket / slideshow

  View on GitHub
  ☆37Feb 21, 2026Updated 3 weeks ago
• conal / talk-2023-galilean-revolution

  View on GitHub
  A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
  ☆15Aug 6, 2023Updated 2 years ago
• langston-barrett / souffle-lint

  View on GitHub
  A linter for Soufflé Datalog
  ☆17Apr 1, 2024Updated last year
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Updated this week
• vilterp / datalog-ts

  View on GitHub
  a datalog interpreter in typescript
  ☆217Dec 31, 2024Updated last year
• jespercockx / popl19-tutorial

  View on GitHub
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Jan 14, 2019Updated 7 years ago
• nanopass / nanopass-framework-racket

  View on GitHub
  nanopass compiler framework for Racket
  ☆201Jan 20, 2024Updated 2 years ago
• racket / games

  View on GitHub
  ☆51Feb 21, 2026Updated 3 weeks ago
• racket / htdp

  View on GitHub
  ☆112Feb 24, 2026Updated 3 weeks ago
• racket / scribble

  View on GitHub
  ☆245Updated this week