Converting Non-Recursive Datalog to SQL
☆24Oct 30, 2016Updated 9 years ago
Alternatives and similar repositories for nrdatalog2sql
Users that are interested in nrdatalog2sql are comparing it to the libraries listed below
Sorting:
- Datalog in PostgreSQL☆29Mar 31, 2015Updated 10 years ago
- PostgreSQL procedural language handler for Scheme programming language.☆12Nov 5, 2024Updated last year
- 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
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- generative programming & verification☆34Jun 19, 2025Updated 9 months ago
- A Datalog API for Spark☆25Sep 7, 2016Updated 9 years ago
- OMeta for Lua☆13Feb 11, 2021Updated 5 years ago
- An example blog application with a react / redux front end and a rust / rocket / postgres backend☆10Jan 31, 2017Updated 9 years ago
- k for BareMetal☆12Dec 10, 2024Updated last year
- ☆16Mar 18, 2024Updated 2 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 6 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
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- Code for live-coding session☆20Sep 7, 2015Updated 10 years ago
- pharo-core git mirror☆95Jul 24, 2017Updated 8 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated 9 months ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated last year
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A JavaScript AST optimizer☆18Apr 18, 2013Updated 12 years ago
- An example of writing a Github action with nbb☆25Jul 14, 2022Updated 3 years ago
- Incremental regular expression matching☆53Dec 18, 2012Updated 13 years ago
- ☆29Updated this week
- Some realistic tabular datasets for testing (CSV)☆21Mar 7, 2018Updated 8 years ago
- Pharo utility for visualizing OO instance structure during runtime via UML instance models.☆13Nov 3, 2017Updated 8 years ago
- A set of utilities for building UIs with React☆14Apr 12, 2018Updated 7 years ago
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- Rust implementation of Simhash☆24Mar 9, 2026Updated last week
- RStore - use the runtime code of metamorphic contracts for dynamic storage.☆19Apr 16, 2023Updated 2 years ago
- Make any iterator or iterable abortable via an AbortSignal☆16Dec 6, 2024Updated last year
- Import a classic HyperCard stack and export HTML or JSON☆14Jan 1, 2023Updated 3 years ago
- Reversible Javascript interpreter (in Javascript)☆12Jul 20, 2014Updated 11 years ago
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆14Mar 1, 2026Updated 3 weeks ago
- UnionType in Idris☆11Jun 24, 2018Updated 7 years ago
- ☆11May 2, 2019Updated 6 years ago
- ☆12Feb 17, 2023Updated 3 years ago