A Datalog API for Spark
☆25Sep 7, 2016Updated 10 years ago
Alternatives and similar repositories for sparkdatalog
Users that are interested in sparkdatalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- SociaLite: query language for large-scale graph analysis and data mining☆110Jul 27, 2016Updated 10 years ago
- CCT compiler, runtime, graphical debugger, and standard library☆15Oct 27, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Apr 12, 2015Updated 11 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Optimization bugs found in popular quantum computing SDKs due to poor numerical handling☆12Oct 12, 2026Updated 3 weeks ago
- ☆11Jun 26, 2019Updated 7 years ago
- ☆11Nov 16, 2015Updated 10 years ago
- Compiler for writing DeepDive applications in a Datalog-like language — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👇🏿☆19Jan 23, 2017Updated 9 years ago
- Editing tools to resolve symbols at development time☆10Feb 23, 2020Updated 6 years ago
- Fressian library for clojurescript☆20May 3, 2019Updated 7 years ago
- ☆10Apr 30, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Examples of how to use ClojureScript's Gamma & Gamma-Driver WebGL libraries☆60Nov 6, 2016Updated 10 years ago
- high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoreti…☆16Aug 1, 2026Updated 3 months ago
- ZMP support areas for multi-contact stability under frictional contacts☆14Oct 6, 2018Updated 8 years ago
- Experimental Erlang/OTP-inspired supervision trees for Rust☆15Nov 24, 2025Updated 11 months ago
- ClojureScript Master Class☆17Sep 14, 2019Updated 7 years ago
- MR-FSK implementation for GNU-RADIO☆15Nov 15, 2013Updated 12 years ago
- EV Mechanics in Multiplayer.☆20Apr 2, 2021Updated 5 years ago
- 3D walking pattern generation by NMPC of the floating-base pendulum model☆16Oct 16, 2019Updated 7 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- A sorted map implementation designed for ultra-fast initialization and merge operations.☆42Oct 8, 2020Updated 6 years ago
- ☆23Jan 19, 2015Updated 11 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 years ago
- Terraform provider for OpenAI☆16Updated this week
- Log File analysis and visualization for Clojure☆25Apr 13, 2013Updated 13 years ago
- ROLL: Fast In-Memory Generation of Gigantic Scale-free Networks☆11Apr 11, 2017Updated 9 years ago
- A cljs hiccup compiler that helps you be deliberate about runtime interpretation.☆20Jul 31, 2019Updated 7 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.
- Deposit smart contract in Dafny☆24Sep 9, 2021Updated 5 years ago
- ClojureScript + Ambly + Ejecta☆29Sep 11, 2015Updated 11 years ago
- Immutable AA Tree☆56Dec 13, 2015Updated 10 years ago
- ☆17Jan 30, 2024Updated 2 years ago
- Main FHIR package, because the old repo was just taking too long.☆12Jun 12, 2025Updated last year
- Classy Résumé and Business Card LaTeX Templates☆13Oct 3, 2017Updated 9 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago