Neurosymbolic AI agent framework - LLM + Prolog reasoning for small models. Single binary, runs offline or cloud-ready. Python & Rust.
☆29Aug 26, 2026Updated this week
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:
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 5 years ago
- Getting started with BAML for creating and querying knowledge graphs with LLMs☆21May 20, 2025Updated last year
- Forkable code execution server for LLMs, agents, and devs☆20May 7, 2025Updated last year
- multiparameter typeclasses for Julia☆24Jan 25, 2017Updated 9 years ago
- An agent implemented using BAML and LangGraph to do a deep research on questions and generate cited answers.☆23May 4, 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.
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆32Oct 18, 2017Updated 8 years ago
- Easy bindings between Lean and Python.☆35Aug 10, 2026Updated 2 weeks ago
- Language Server for Prolog☆13Jul 16, 2026Updated last month
- A kind synthetic Euclidean Geometry proof assistant☆45May 11, 2026Updated 3 months ago
- ☆26Aug 8, 2026Updated 3 weeks ago
- Website for JuliaOpt☆11Jun 23, 2026Updated 2 months ago
- Persistent memory and agent lifecycle for Claude Code — because sessions shouldn't start from zero.☆24Jul 21, 2026Updated last month
- A mapping tool for vehicle routing problem datasets and solutions☆11Feb 12, 2020Updated 6 years ago
- A Jupyter kernel for Logtalk☆14Aug 23, 2025Updated last year
- 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.
- A modular framework for Neuro-Symbolic reasoning driven by Large Language Models☆39Oct 29, 2025Updated 10 months ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- Data structures for describing changes to other data structures.☆17Aug 20, 2026Updated last week
- Playing with Elm and Polymer / Web Components☆11Mar 21, 2017Updated 9 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 3 weeks ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Updated this week
- Template repository for deploying a Parcel-built Elm app to Netlify☆14Nov 14, 2020Updated 5 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.
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- A Node.js script for converting PDF files to EPUB format using the ebook-convert tool from Calibre.☆10Jan 30, 2026Updated 7 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Simple proxy program to allow exposing individual services to a Tailnet, and even to the Internet using Tailscale Funnel.☆15Updated this week
- Composable / async / functional / type-safe / parallel-pipelined queries and relations without SQL injection or N+1s.☆14Oct 21, 2025Updated 10 months ago
- define an app in a simple, safe and declarative way☆17Oct 5, 2024Updated last year
- Horizon chat example ported to Elm☆14Aug 17, 2016Updated 10 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Advanced Python Function Debugging with MCP Integration.☆58Jun 19, 2025Updated last year
- Port of the 'host' example in try-reflex to FLTKHS.☆12Aug 26, 2017Updated 9 years ago
- A web application used to create Reveal.js slides with Interactive Code Playgrounds☆21Jul 12, 2023Updated 3 years ago
- Stargaze is a CLI tool to help you manage your starred projects on GitHub.☆19Jul 21, 2022Updated 4 years ago
- Corpus and code for Aligned Recipe Actions (ARA) corpus, EMNLP 2021☆10May 22, 2024Updated 2 years ago
- Library code for upcoming RetroClash book☆11Jun 8, 2026Updated 2 months ago
- Koa has been superseded by Tegral OpenAPI! Check it out at the link below☆12Aug 13, 2022Updated 4 years ago