Datalog implementation in Scala.
☆12Jun 17, 2014Updated 12 years ago
Alternatives and similar repositories for scalog
Users that are interested in scalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Datalog API for Spark☆25Sep 7, 2016Updated 10 years ago
- ☆12Apr 9, 2025Updated last year
- Play Framework SBT Plugin for Auto-Generating Slick Code☆10Sep 11, 2014Updated 12 years ago
- An algebra for Matrix Expressions written in Maude☆24Oct 23, 2012Updated 14 years ago
- ☆11Jun 26, 2019Updated 7 years 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.
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆83Sep 6, 2018Updated 8 years ago
- ☆10Jan 4, 2023Updated 3 years ago
- ZMP support areas for multi-contact stability under frictional contacts☆14Oct 6, 2018Updated 8 years ago
- MR-FSK implementation for GNU-RADIO☆15Nov 15, 2013Updated 12 years ago
- 3D walking pattern generation by NMPC of the floating-base pendulum model☆16Oct 16, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/arduino-buffered-serial☆18Jan 23, 2016Updated 10 years ago
- An open-source session replay tool for single-page applications that uses AI analysis, aggregated trends, and a RAG chatbot to help devel…☆11Jan 23, 2026Updated 9 months ago
- EV Mechanics in Multiplayer.☆20Apr 2, 2021Updated 5 years ago
- My notes for scala☆59Jul 10, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- rewrite python scipy.signal.lfilter in c code☆12Aug 13, 2019Updated 7 years ago
- Private pub.dev for packages Flutter Dart☆15Mar 1, 2023Updated 3 years ago
- ☆10Apr 21, 2014Updated 12 years ago
- Native OS module API shim for older node.js versions☆12Jun 12, 2017Updated 9 years ago
- ROLL: Fast In-Memory Generation of Gigantic Scale-free Networks☆11Apr 11, 2017Updated 9 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated 2 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 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.
- Prolog programming for the Java platform.☆40Sep 5, 2026Updated last month
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- Turbo CSS - JavaScript based compiler☆10Apr 25, 2022Updated 4 years ago
- Port of LZMA compression algorithm to Dart☆20Jul 22, 2021Updated 5 years ago
- Main FHIR package, because the old repo was just taking too long.☆12Jun 12, 2025Updated last year
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- Bet sizing tool for manifold markets☆22Jul 20, 2026Updated 3 months ago
- The human inertia model developed by Fred Yeadon in 1990.☆32Sep 30, 2026Updated last month
- Turbo CSS specification☆10Jan 16, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A transactional programming language.☆34Jun 8, 2026Updated 4 months ago
- Slick video review note taking app 🎬☆12Updated this week
- ☆17Apr 6, 2025Updated last year
- IGUANA is a benchmark execution framework for RDF triple stores and quad stores☆26Aug 13, 2026Updated 2 months ago
- ☆10Nov 29, 2018Updated 7 years ago
- A library to query heterogeneous data sources uniformly using SPARQL☆12Dec 5, 2023Updated 2 years ago
- Big Data search with Spark and Lucene☆18Dec 15, 2023Updated 2 years ago