philzook58 / snakelog
A Datalog Framework for Python
☆11Updated 2 years ago
Alternatives and similar repositories for snakelog:
Users that are interested in snakelog are comparing it to the libraries listed below
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 5 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last month
- ☆11Updated 3 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- Datalog + Egg = Good☆66Updated last year
- Answering Datalog Queries with Unix Shell Commands☆24Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 5 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- A concise programming language that is fun to use☆16Updated 9 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 9 months ago
- A simple interpreter featuring a tracing JIT☆15Updated 13 years ago
- literate programming meets unison☆27Updated 10 months ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Python term rewriting☆29Updated 12 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated last month
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Manfred von Thun's Programming Language Joy☆16Updated last month
- Shaking expression trees until something tasty pops out☆16Updated 6 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated last month
- Cell language C++ runtime☆18Updated 4 years ago
- Kanren with databases☆43Updated 7 months ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- Partial evaluation of Python code☆20Updated 2 years ago