VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
☆17Mar 22, 2018Updated 8 years ago
Alternatives and similar repositories for vlog
Users that are interested in vlog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java library based on the VLog rule engine☆36Jul 12, 2025Updated last year
- ☆60Dec 5, 2022Updated 3 years ago
- Tool for generating filtered Wikidata RDF exports☆46Apr 9, 2022Updated 4 years ago
- Visualization for spacio-temporal data from Wikidata☆22Aug 11, 2017Updated 8 years ago
- Django Code for the Webpage☆10Jan 26, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Small shop in padrino for home printing of t-shirts☆11Aug 11, 2010Updated 15 years ago
- Haskell bindings for systemd☆19Jul 10, 2024Updated 2 years ago
- ☆18Nov 25, 2025Updated 7 months ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- GRASP: Generic Reasoning and SPARQL generation across Knowledge Graphs☆23Updated this week
- A lightweight Datalog engine in Rust☆57May 30, 2025Updated last year
- ☆11Feb 20, 2020Updated 6 years ago
- High-performance graph processing on hybrid CPU-GPU platforms by using dynamic load-balancing☆12Sep 15, 2016Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Unofficial Linux port of the SkinDeep source code☆13Nov 22, 2025Updated 8 months ago
- Composer plugin to help with Nix packaging☆17May 20, 2022Updated 4 years ago
- (Summed) Merklized Binary Radix Tree library☆17Oct 10, 2016Updated 9 years ago
- Natural Language Datalog☆139Nov 26, 2017Updated 8 years ago
- An ocaml implementation of conflict-driven reasoning☆16Jul 13, 2018Updated 8 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
- A datalog implementation in pure Lua (LPEG parser).☆22Oct 9, 2025Updated 9 months ago
- Downloading and displaying academic ancestry☆16Oct 1, 2015Updated 10 years ago
- A lazy-grounding Answer-Set Programming system☆65May 15, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- A Datalog API for Spark☆25Sep 7, 2016Updated 9 years ago
- A Go parser for .FBP DSL language from NoFlo☆14Jul 16, 2014Updated 12 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- Repository containing the basic peripheral drivers of nrf52832 SoC to get started☆15Sep 4, 2016Updated 9 years ago
- A Starter Template for SWI-Prolog Projects☆10Jun 1, 2020Updated 6 years ago
- Efficient and High-quality Graph Coloring on the GPU☆16Apr 3, 2022Updated 4 years ago
- Examples on different options for implementing Flow Based Programming☆12Sep 10, 2021Updated 4 years ago
- Open Source Point and Shoot Camera☆16Apr 4, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- React Native WebGL extension to rasterize a view as a GL Texture.☆15Sep 10, 2018Updated 7 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Apr 24, 2026Updated 3 months ago
- Reasoner for the description logic EL+.☆17Jun 30, 2026Updated 3 weeks ago
- ☆13Jan 9, 2018Updated 8 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Sep 6, 2018Updated 7 years ago
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Nov 24, 2017Updated 8 years ago
- Pebble Homebrew Tap☆17Jun 17, 2018Updated 8 years ago