A stratified, semiring-parameterized Datalog and its reference engine — the symbolic core of a neuro-symbolic logic system. Bool/Trop semirings, stratified negation, aggregates, exact probabilistic (?prob) queries, and a stable-model (@asp) solver.
☆12Aug 15, 2026Updated 2 months ago
Alternatives and similar repositories for strata-k
Users that are interested in strata-k 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 Neo-tree source for Jujustsu/jj☆14May 10, 2024Updated 2 years ago
- kiwi array programming language☆19Oct 17, 2026Updated last week
- Common Lisp SPARQL query generation library☆13Aug 3, 2019Updated 7 years ago
- Per-turn model routing for the Pi coding agent: a small judge picks the cheap or the strong tier for each message, with multi-model failo…☆13Updated this week
- High-performance and powerful Python DataFrame library built on top of RayforceDB☆16Updated this week
- 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.
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆23Apr 24, 2026Updated 6 months ago
- Headless UI component library for Phoenix Liveview☆14Oct 14, 2026Updated 2 weeks ago
- Fast multi-producer, multi-consumer unbounded channel with async support.☆109Aug 30, 2022Updated 4 years ago
- Elixir RAG library with multi-LLM routing (Gemini, Claude, OpenAI, Ollama), GraphRAG, knowledge graphs, modular retrievers/rerankers, com…☆13Apr 9, 2026Updated 6 months ago
- Semantic code intelligence MCP server - build knowledge graphs of codebases to enhance AI-assisted code exploration.☆16Updated this week
- Intelligent task routing for multi-agent systems☆17Feb 24, 2026Updated 8 months ago
- Open Source Raspberry-Pi based camera with film simulation profiles similar to popular Fujifilm models.☆19Oct 4, 2026Updated 3 weeks ago
- Datalog interpreter in Lua☆11May 3, 2025Updated last year
- Simplified Investment & Trading Toolkit with Python & C++☆16Aug 10, 2026Updated 2 months 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.
- Interactive s-expression tree viewer☆13Jul 25, 2026Updated 3 months ago
- ccxt☆13Nov 1, 2018Updated 7 years ago
- SIMD-accelerated columnar database for analytics — pure C, zero dependencies☆276Updated this week
- DeepClause Desktop App☆95Jun 23, 2026Updated 4 months ago
- A Debian 13-based distraction-free writing environment, continuing the original writerdeckOS project by tinkersec.☆29Jul 25, 2026Updated 3 months ago
- Server-Driven UI for Phoenix LiveView applications backed by Ash resources☆20Jun 29, 2026Updated 4 months ago
- Language server for Helios, a Cardano smart contract language.☆11Sep 14, 2024Updated 2 years ago
- This repository is for setting up the global VPN on Linux☆10May 30, 2021Updated 5 years ago
- GUI applikation for the Klatt formant synthesizer package☆13Jun 26, 2026Updated 4 months 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.
- An agentic coding agent driven by statecharts.☆18Sep 30, 2026Updated 3 weeks ago
- Mirror of Entropic's Entropic Signal Processing System version 6.0 (with modifications)☆12Jul 4, 2011Updated 15 years ago
- Normalized Elixir protocol for CLI AI coding agents☆25Updated this week
- linc_ffmpeg tentative☆15Jun 18, 2016Updated 10 years ago
- This is a typescript library for the linkedin frontend API. You can use it to scrap profiles, companies, etc.. You need valid session coo…☆17Jun 24, 2022Updated 4 years ago
- tutorial on setting up a simple todo list app with clojurescript and firebase☆17Jun 25, 2022Updated 4 years ago
- Event-driven backtesting engine written in C++☆13Sep 17, 2024Updated 2 years ago
- Neovim gutter support for jj☆24Aug 27, 2025Updated last year
- Frozen: openadapt-flow now lives in the OpenAdapt monorepo (OpenAdaptAI/OpenAdapt, packages/flow).☆10Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A high frequency trading server written in Rust☆20May 21, 2025Updated last year
- NoxuOS is an AI driven OS☆14Dec 28, 2024Updated last year
- BioVoice: a multipurpose tool for voice analysis☆12Nov 13, 2020Updated 5 years ago
- A small, fast array language that talks like q: tables, the whole join family, qSQL, tick data and dates, in one little C binary. Built o…☆41Updated this week
- Test harness for pi extensions — playbook-based model mocking, session testing, sandbox install verification☆22May 22, 2026Updated 5 months ago
- visualize tree-sitter syntax tree☆26Oct 31, 2021Updated 4 years ago
- ☆15Aug 24, 2023Updated 3 years ago