Converting Non-Recursive Datalog to SQL
☆25Apr 1, 2026Updated 7 months ago
Alternatives and similar repositories for nrdatalog2sql
Users that are interested in nrdatalog2sql are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Datalog in PostgreSQL☆29Mar 31, 2015Updated 11 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- PostgreSQL procedural language handler for Scheme programming language.☆12Nov 5, 2024Updated last year
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Port of clojure/core.cache☆16Feb 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An OpenAI-compatible bridge that anchors LLM reasoning in logical reality by using Z3 to incrementally verify, self-correct, and prove th…☆15Oct 15, 2026Updated 2 weeks ago
- simple RPC over messaging☆13Sep 22, 2020Updated 6 years ago
- ☆11May 2, 2013Updated 13 years ago
- WoW emulator written in Erlang☆12Feb 13, 2023Updated 3 years ago
- Obtvse blogging on GAE Python with drag & drog photo addition☆10Dec 19, 2014Updated 11 years ago
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- Facebook's PropTypes standalone extensible implementation for browser and server☆10Jan 3, 2023Updated 3 years ago
- ☆11Mar 30, 2021Updated 5 years ago
- opinionated Hardhat+Foundry template for smart contract development. 🚀 Slither + CI + coverage included.☆12Apr 29, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An extended typed Lambda Calculus☆22Aug 20, 2026Updated 2 months ago
- Contains detailed notes, codes, answers to quizzes and exercises of all the 3 courses of the AI for Medicine specialization, by deeplearn…☆13Aug 2, 2020Updated 6 years ago
- Sea Chase program by Ed Fries for Atari 8-bit computers☆12Aug 9, 2022Updated 4 years ago
- Pure and light binary records☆23May 20, 2014Updated 12 years ago
- Mirror of https://bitbucket.org/micktwomey/pypicache/☆16Apr 2, 2014Updated 12 years ago
- ☆12Jun 24, 2021Updated 5 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- A TCP proxy written in Erlang☆19Nov 26, 2009Updated 16 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Dobbin is a transactional object database for Python (2.6+). It's a fast and convenient way to persist Python objects on disk.☆16May 7, 2012Updated 14 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- ☆16Sep 20, 2026Updated last month
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- An agentic coding agent driven by statecharts.☆18Sep 30, 2026Updated last month
- epmail - mail system in Erlang☆16Apr 1, 2011Updated 15 years ago
- Reflexer Labs, RAI☆13Jan 7, 2022Updated 4 years ago
- APL compiler written in Standard ML☆36Jan 20, 2021Updated 5 years ago
- JFugue wrapper for Clojure☆19Nov 9, 2011Updated 14 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 3 years ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- Logical programming in JavaScript☆15May 31, 2016Updated 10 years ago
- An educational toy fuzzer with big dreams☆12Dec 12, 2023Updated 2 years ago
- Mutagen, a purely functional programming language with Pythonic syntax☆15Aug 31, 2020Updated 6 years ago
- ☆20Oct 17, 2022Updated 4 years ago
- An embedded datalog-like logic programming DSL for Erlang.☆19Jan 26, 2013Updated 13 years ago