Converting Non-Recursive Datalog to SQL
☆25Apr 1, 2026Updated 6 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
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Port of clojure/core.cache☆16Feb 17, 2023Updated 3 years ago
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Feb 3, 2024Updated 2 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.
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆56Updated this week
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- Pure and light binary records☆23May 20, 2014Updated 12 years ago
- ☆12Jun 24, 2021Updated 5 years ago
- A Datalog API for Spark☆25Sep 7, 2016Updated 10 years ago
- Clojure native implementation of HNSW algorithm☆17Sep 5, 2026Updated last month
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Sep 2, 2026Updated last month
- A Skill for pair-programing with Claude Code on a re-frame app.☆21Jul 9, 2026Updated 3 months 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A system to help Erlang integrate into Unix systems (supporting things like daemontools).☆18Jun 10, 2013Updated 13 years ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated 3 weeks ago
- epmail - mail system in Erlang☆16Apr 1, 2011Updated 15 years ago
- APL compiler written in Standard ML☆36Jan 20, 2021Updated 5 years ago
- Implementation of the xR2RML mapping language and SPARQL-to-MongoDB prototype☆25Jul 2, 2025Updated last year
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated last year
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 3 years ago
- A Javascript / JQuery based WYSIWYG form builder / form editor☆17Nov 5, 2017Updated 8 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pharo GSOC website https://gsoc.pharo.org/☆17Apr 4, 2026Updated 6 months ago
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 years ago
- Mutagen, a purely functional programming language with Pythonic syntax☆15Aug 31, 2020Updated 6 years ago
- Concise, curated resources for working with the Clojure Programming and LLM base coding agents☆25Mar 4, 2026Updated 7 months ago
- An educational STUN/TURN/ICE server written in Erlang☆15Jan 18, 2013Updated 13 years ago
- Declarative data fetching and caching for re-frame inspired by tanstack query and redux toolkit query☆22Sep 13, 2026Updated 3 weeks ago
- An embedded datalog-like logic programming DSL for Erlang.☆19Jan 26, 2013Updated 13 years ago
- Composable folds☆13Jul 18, 2018Updated 8 years ago
- Simple supervisor to run daemons☆16Oct 30, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A embeddable document oriented database compatible with Apache CouchDB☆21Apr 12, 2014Updated 12 years ago
- ☆22Jul 23, 2017Updated 9 years ago
- Official code for AAAI'20 paper "Merging Weak and Active Supervision for Semantic Parsing"☆11Dec 8, 2022Updated 3 years ago
- A static site generator which supports markdown with LaTeX.☆18Jul 30, 2025Updated last year
- ☆20Oct 17, 2022Updated 3 years ago
- httpstream provides HTTP handlers for simultaneous streaming uploads and downloads of objects, as well as persistence and a standalone se…☆16Oct 22, 2013Updated 12 years ago
- reducer for the Shift AST format☆24Apr 27, 2022Updated 4 years ago