VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
☆17Mar 22, 2018Updated 7 years ago
Alternatives and similar repositories for vlog
Users that are interested in vlog are comparing it to the libraries listed below
Sorting:
- DLVHEX solver: core system and plugin API☆25Jun 13, 2019Updated 6 years ago
- Ontop Framework☆21Jun 9, 2018Updated 7 years ago
- A Prolog implementation based on generators☆20Oct 17, 2014Updated 11 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Oct 9, 2025Updated 4 months ago
- Natural Language Datalog☆136Nov 26, 2017Updated 8 years ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- Reconfigure.io examples☆32Apr 9, 2019Updated 6 years ago
- An address component tagger based on statistical natural language processing techniques☆11Apr 17, 2014Updated 11 years ago
- ☆10Jun 28, 2017Updated 8 years ago
- A Starter Template for SWI-Prolog Projects☆10Jun 1, 2020Updated 5 years ago
- SPARQL query builder and DSL☆10Mar 6, 2018Updated 7 years ago
- ☆12Feb 29, 2016Updated 10 years ago
- A Snakefile to parallelize bwa.☆13Oct 25, 2013Updated 12 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).☆10Dec 1, 2025Updated 3 months ago
- Hadoop jobs for WikiReverse project. Parses Common Crawl data for links to Wikipedia articles.☆38Aug 12, 2018Updated 7 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Jun 21, 2022Updated 3 years ago
- Jupyter server proxy for OpenRefine☆10Oct 18, 2024Updated last year
- Experiments to benchmark implementations of a concurrent counter.☆13Jun 10, 2015Updated 10 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated last year
- AArch64 assembler/disassembler support☆11Sep 7, 2017Updated 8 years ago
- Static Huffman coding☆10Apr 3, 2017Updated 8 years ago
- Micro react-like, redux-compatible, plain js library for event-driven ui components☆10Apr 17, 2016Updated 9 years ago
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆14Updated this week
- ☆11Apr 24, 2018Updated 7 years ago
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- STRATA is a musical VR experience, the result of my early explorations into spatial interfaces, mapping cloth physics / dynamics to music…☆11May 31, 2019Updated 6 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- Data Catalog Project☆11Dec 23, 2024Updated last year
- Unofficial terralang compiler☆13Apr 21, 2023Updated 2 years ago
- Stereo lithography file support for Rust.☆12Jul 29, 2023Updated 2 years ago
- make games you'll love☆12Oct 3, 2018Updated 7 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- A fast JSON scanner in go.☆10Nov 16, 2023Updated 2 years ago
- Official code for AAAI'20 paper "Merging Weak and Active Supervision for Semantic Parsing"☆11Dec 8, 2022Updated 3 years ago
- end to end clojure+immutant/clojurescript+om.next todo app example☆11Feb 19, 2016Updated 10 years ago
- Basic MOV metadata editor for specific needs☆10Feb 9, 2026Updated 3 weeks ago
- 10 years after the downfall of the TRiAS GmbH in Germany it's definitely time to release the sources of the TRiAS Spatial Information Sys…☆11Nov 11, 2012Updated 13 years ago