Neurosymbolic AI agent framework - LLM + Prolog reasoning for small models. Single binary, runs offline or cloud-ready. Python & Rust.
☆31Sep 8, 2026Updated last month
Alternatives and similar repositories for the_edge_agent
Users that are interested in the_edge_agent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- One command, 28+ top AI CLIs — an interactive launcher for terminal AI coding agents (Claude Code, Codex, Gemini, Aider…). Uzbe…☆21Sep 29, 2026Updated last month
- A fresh Windows image over docker and kvm to accelerate tests over a clean environment accessible over ssh☆14Jun 21, 2024Updated 2 years ago
- ☆12Oct 24, 2024Updated 2 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- A MCP server providing offline Motion.dev documentation access and intelligent animation code generation for React, JavaScript, and Vue…☆14Aug 29, 2025Updated last year
- 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.
- INDRA World Modelers services☆13Jul 2, 2024Updated 2 years ago
- A multi-agent system for extracting structured information from unstructured text and documents. It orchestrates a configurable pipeline …☆14Oct 13, 2026Updated 2 weeks ago
- This Network-graph based literature review tool uses the open-source version of Neo4j with Jupyter Notebooks written in Python to import …☆15Oct 30, 2023Updated 2 years ago
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 5 years ago
- Unofficial implementation of Microsoft’s Claimify Paper: extracts specific, verifiable, decontextualized claims from LLM Q&A to be used f…☆19Aug 25, 2025Updated last year
- A lightweight, extensible coding agent built in TypeScript that helps developers with coding tasks across TypeScript, React, JavaScript, …☆15Updated this week
- Augmented Backus-Naur Form (ABNF) in Go. Implements RFC 5234 and 7405, with Errata 2968 and 3076.☆15Oct 19, 2026Updated last week
- Command-line uploader for Google Drive — publishes CI build artifacts to Drive folders.☆16Aug 10, 2023Updated 3 years ago
- A GitHub action that adds support for YAML anchors and merge keys in GitHub Actions☆25Oct 17, 2026Updated last 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.
- WEP (Web Embedded Python) is a lightweight server-side template engine and micro framework that lets you embed native Python directly in …☆13Dec 5, 2025Updated 10 months ago
- multiparameter typeclasses for Julia☆24Jan 25, 2017Updated 9 years ago
- No-code LLM fine-tuning: upload your data → click Train → get a model you can run anywhere. Gradio UI + CLI · SFT/DPO/ORPO/KTO/GRPO/rewar…☆35Updated this week
- PDF parser powered by grobid☆27Jul 26, 2024Updated 2 years ago
- OpenSpy4 is a bunch of hacking tools starting from ANDROID BRIDGING, IP CCTV HAKING, REMOTE PC CONNECTION, MIRRORING ANY ANDROID DEVICE &…☆12Dec 5, 2025Updated 10 months ago
- Multi-tenant agent platform example built on Cloudflare (Pages + Containers).☆14Feb 19, 2026Updated 8 months ago
- A cache-coherent vector execution fabric — sits in front of any vector store/lakehouse and makes queries fast. Part of the RuVector ecosy…☆15Oct 2, 2026Updated 3 weeks ago
- OpenCode-based time-series harness for structured forecasting, contextual reasoning, tool use, and validation-driven agent workflows.☆13Oct 13, 2026Updated 2 weeks ago
- An Outline Sidebar for silverbullet.md☆10Apr 3, 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.
- 📱 Edit and modify APK files easily with ApkEditorPlus, a modern, open-source tool refactored in Kotlin for Android app development.☆13Oct 13, 2026Updated 2 weeks ago
- simple activegraph coding agent demo☆13Jun 8, 2026Updated 4 months ago
- Full-stack framework powered by the WASM Component Model.☆11Updated this week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆34Oct 18, 2017Updated 9 years ago
- A terminal emulator for Android that runs Linux distributions (Alpine, Debian, Ubuntu, Fedora, Void, Arch, Manjaro, Rocky, AlmaLinux, Art…☆17Updated this week
- Linux shell for Android OS, backed by ARM64 userspace emulator and Ghostty lib.☆21Aug 20, 2026Updated 2 months ago
- OpenClaw Android APK - Mobile launcher for OpenClaw AI Assistant☆17Feb 14, 2026Updated 8 months ago
- A curated list of software, services, and resources for SQLite☆18Updated this week
- Structured file edits for AI agents (JSON/YAML/TOML, markdown, AST, dry-run, MCP). Not a generic filesystem MCP.☆19Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Easy bindings between Lean and Python.☆37Updated this week
- Android app with multiple network tools in one shell. Swiss army knife of networking.☆17Oct 20, 2026Updated last week
- A mapping tool for vehicle routing problem datasets and solutions☆11Feb 12, 2020Updated 6 years ago
- Umbrella for the LLM Dark Patterns Hooks suite — single-purpose Claude Code Stop hooks that suppress sycophancy, paternalism, false-succe…☆22Jul 26, 2026Updated 3 months ago
- 15 Claude Code skills that change how your agent thinks, debugs, and reviews code. One command install.☆19Apr 10, 2026Updated 6 months ago
- A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)☆10Nov 5, 2021Updated 4 years ago
- 11 offline Arabic lexicons with built-in reader mode App☆29Updated this week