Policy-adherent, auditable reasoning for AI Agents.
☆27Oct 30, 2026Updated this week
Alternatives and similar repositories for symbolic-reasoning
Users that are interested in symbolic-reasoning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design Patterns Training☆12Jun 20, 2024Updated 2 years ago
- A simple hackable commandline tool to help managing Leetcode problems☆11Oct 19, 2023Updated 3 years ago
- ☆11Sep 16, 2026Updated last month
- A comprehensive Claude Code skill for searching, browsing, and downloading podcast episodes from Apple Podcasts. Features smart search wi…☆10Dec 27, 2025Updated 10 months ago
- These are the official datasets used on the Medicare.gov Hospital Compare Website provided by the Centers for Medicare & Medicaid Service…☆11Mar 12, 2018Updated 8 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.
- iOS app to export HealthKit data to IRIS (or any FHIR respository)☆10Aug 29, 2023Updated 3 years ago
- Private hard fork of LegalQuants/lq-ai — pivot to practice-area Deep Agents (working title)☆17Sep 23, 2026Updated last month
- Egwalker from scratch, programmed in live video☆13Mar 3, 2025Updated last year
- Claude Code source code☆15Apr 1, 2026Updated 7 months ago
- Claude Code skills that turn an Obsidian vault into a shared human/AI knowledge base☆14Mar 2, 2026Updated 8 months ago
- David Burns' contributions to Cognitive Behavioral Therapy, and related resources.☆29Jan 2, 2021Updated 5 years ago
- Multi-agent CLI to install, update, repair, and remove Agent Plugins 1.0 and Agent Skills 1.0 across Codex/ChatGPT, Claude, Cursor, Gemin…☆15Updated this week
- This project imports XMI files from Sparx Systems Enterprise Architect into Draw.io☆14Mar 8, 2024Updated 2 years ago
- ☆13Jun 12, 2026Updated 4 months ago
- 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.
- AI powered whiteboards for AI-native companies☆17Sep 14, 2026Updated last month
- Runtime-aware SCA — proves which CVEs are actually reachable, not just installed.☆18Updated this week
- Prometheus exporter utilizing Ecobee API (https://www.ecobee.com/home/developer/api/introduction/index.shtml) to gather thermostat metric…☆16Jan 16, 2023Updated 3 years ago
- ☆22Apr 25, 2026Updated 6 months ago
- One-stop shop with some of my most useful personal AI skills turned into practical, generalizable tools available for all.☆23Sep 24, 2026Updated last month
- CH Core Implementation Guide (FHIR)☆18Oct 25, 2026Updated last week
- A community index of open-source legal software. Live GitHub stats, community reviews, maintainer-claimed pages.☆27Oct 22, 2026Updated last week
- ☆25Jul 5, 2026Updated 3 months ago
- Simple Quarkus Microservice for CI/CD Demo☆39Feb 14, 2024Updated 2 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.
- Supercharge your markdown including Leptos components.☆12Sep 30, 2023Updated 3 years ago
- Real-time data pipeline for AI apps in Azure☆26Dec 5, 2023Updated 2 years ago
- A repository for the paper "Beliefs about AI influence human-AI interaction and can be manipulated to increase perceived trustworthiness,…☆20Oct 5, 2023Updated 3 years ago
- Using LSTMs to generate techno music☆21Jun 27, 2019Updated 7 years ago
- Render Jupyter Notebooks With Metaflow Cards☆31Sep 26, 2024Updated 2 years ago
- Edit videos by talking to Claude — or generate them from nothing. Cut, caption, grade real footage; or AI keyframes + image-to-video + v3…☆37Jun 12, 2026Updated 4 months ago
- AI-powered ISO 26262 functional safety agent for automotive. HARA, FMEA, safety requirements generation using RAG + LLM + MCP protocol.☆16Aug 13, 2026Updated 2 months ago
- Typed TypeSafe AI clients for Rust, with async and blocking backends and observable retries.☆15Sep 16, 2026Updated last month
- Draftspect — open Word or Excel and chat with your own local Claude Code: it reads and edits the document and can pull in any local folde…☆28May 22, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- DorkStorm is the perfect tool for discovering hidden information on the internet.☆15Feb 23, 2024Updated 2 years ago
- Derivative-based regular expression engine for Rust☆29Oct 16, 2026Updated 2 weeks ago
- **Client-Side** React Docx Redlines and Rendering using Docxodus WASM Library☆23Oct 14, 2026Updated 3 weeks ago
- Towards Flexible Blind JPEG Artifacts Removal (FBCNN, ICCV 2021)☆26Dec 16, 2021Updated 4 years ago
- Format files in your Obsidian vault using Prettier☆23Updated this week
- A powerful, modular Python tool to automatically back up your Notion workspace with pluggable storage backends and notification systems.☆25Updated this week
- Official Notion Skills for Claude - step-by-step guides for Notion workflows☆24Dec 16, 2025Updated 10 months ago