Converting Non-Recursive Datalog to SQL
☆25Apr 1, 2026Updated 5 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
- ☆15Apr 16, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An extended typed Lambda Calculus☆22Aug 20, 2026Updated last week
- generative programming & verification☆34Jul 18, 2026Updated last month
- A type-safe alternative to redux-saga. // Using `yield*` in `finally` is currently broken in Babel / ES spec, as it will terminate the ge…☆14Dec 3, 2016Updated 9 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆54May 22, 2026Updated 3 months ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- ☆15Aug 29, 2023Updated 3 years ago
- ☆12Jun 24, 2021Updated 5 years ago
- OMeta for Lua☆13Feb 11, 2021Updated 5 years ago
- Native implementation of HNSW algorithms (pure-hnsw, pcaf, ivf-hnsw, p-hnsw)☆16Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Babel plugin which inlines the result of classnames☆10Jan 26, 2019Updated 7 years ago
- k for BareMetal☆13Dec 10, 2024Updated last year
- SyncML OMA/DS server written in Erlang☆16Aug 21, 2012Updated 14 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- Git-like, causal space-time lattice abstraction over systems supporting this memory model.☆22Aug 25, 2026Updated last week
- ☆16Mar 18, 2024Updated 2 years ago
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated last year
- Data-processing pipeline abstraction using clojure.core.async☆19Dec 14, 2015Updated 10 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A TCP proxy written in Erlang☆19Nov 26, 2009Updated 16 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
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- Code for live-coding session☆20Sep 7, 2015Updated 10 years ago
- epmail - mail system in Erlang☆16Apr 1, 2011Updated 15 years ago
- Implementation of the xR2RML mapping language and SPARQL-to-MongoDB prototype☆25Jul 2, 2025Updated last year
- APL compiler written in Standard ML☆36Jan 20, 2021Updated 5 years ago
- 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
- 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.
- ☆11Sep 19, 2017Updated 8 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 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
- An educational STUN/TURN/ICE server written in Erlang☆15Jan 18, 2013Updated 13 years ago