HarvardPL / AbcDatalogLinks
Datalog that's as easy as ABC.
☆59Updated 2 weeks ago
Alternatives and similar repositories for AbcDatalog
Users that are interested in AbcDatalog are comparing it to the libraries listed below
Sorting:
- Slog 1.0☆43Updated 11 months ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- Datalog with support for SMT queries and first-order functional programming☆157Updated 7 months ago
- Resumable exceptions and delimited continuations for JVM☆42Updated last month
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 weeks ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 3 months ago
- ☆29Updated 2 years ago
- Spoofax runtime☆144Updated last month
- Type checking and logical inference for JetBrains MPS☆33Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Java-based lightweight Prolog virtual machine☆34Updated 11 months ago
- ☆82Updated 7 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- ☆51Updated 2 weeks ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- Alloy with browser-based visualizations☆29Updated 3 years ago
- purple: compiling a reflective language☆32Updated 7 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month
- Rhyme is an Expressive Data-Centric Query Language☆29Updated 2 weeks ago
- generative programming & verification☆33Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- ☆38Updated last month
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆303Updated 6 months ago
- The fastest way to build a language☆43Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- ☆34Updated 4 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year