Alternatives and similar repositories for snakelog

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

• graydon / exhaustigen
  ☆11Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 10 months ago
• 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
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated 10 months ago
• awf / Coconut
  Shaking expression trees until something tasty pops out
  ☆17Updated 6 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆93Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 9 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• NVIDIA / remorac
  ☆40Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆43Updated 6 months ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• MichaelPaddon / epsilon
  epsilon is a scanner generator
  ☆28Updated 3 years ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated last month
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 6 months ago