Alternatives and similar repositories for snakelog

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

• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆27Updated last year
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 8 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 4 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 3 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 4 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆16Updated 6 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 6 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 2 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago