A Socratic dialogue engine for AI agents.
☆17Nov 30, 2025Updated 10 months ago
Alternatives and similar repositories for the-academy
Users that are interested in the-academy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dialogue Scripting Language☆20Oct 16, 2026Updated last week
- Your External Brain, Amplified 🧠 An ADHD-optimized memory augmentation system with 20+ cognitive tools, semantic search, and hyperfocus-…☆16Aug 6, 2025Updated last year
- An LLM experiment where we give them virtual beings to take care of. This is actively being worked on, and only ready for an initial test…☆26Aug 9, 2025Updated last year
- 🇫🇷 A list of neat projects made in France☆13Feb 13, 2025Updated last year
- An AI-powered simulation project that models and visualizes potential futures in real-time.☆29Oct 14, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Slack backlink bot☆14Oct 20, 2026Updated last week
- Site web de présentation officiel du projet open source Papillon. Composé en Svelte avec SvelteKit.☆11Aug 5, 2025Updated last year
- repository for questions that are asked (or you want answered!) during storytelling sessions☆13Sep 7, 2025Updated last year
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- Deploy autonomous AI agents as your digital twins across 10 social platforms☆16Jul 17, 2026Updated 3 months ago
- Modern Haskell binding to the Notmuch mail indexer☆14Jun 4, 2025Updated last year
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- .NET obfuscator for Studying purpose.☆15Dec 8, 2022Updated 3 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.
- Volute Reasoning Engine (VRE): Structural Epistemic Enforcement for Agentic AI☆15Jun 18, 2026Updated 4 months ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- Simple self destructing note site☆13Aug 15, 2024Updated 2 years ago
- MindWiki — 10 顶级专家组团的决策追问系统 Skills（张小龙、乔布斯、马斯克、张一鸣、芒格、王兴、雷军、梁宁、Naval、毛泽东）。带工具调用和自我验证测试。☆20May 29, 2026Updated 5 months ago
- A chat application that can ecnrypt messages with remote user's public Key and decrypt messages with local user's private Key☆11Jan 14, 2020Updated 6 years ago
- a gui for de4dot☆18Feb 18, 2019Updated 7 years ago
- ☆11Jul 5, 2023Updated 3 years ago
- An experimental desktop client for using Claude Desktop's MCP with Novelcrafter codices.☆11Dec 3, 2024Updated last year
- node.js module for using hydrus api☆12Dec 8, 2022Updated 3 years 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.
- string diagrams for the working programmer☆16Jul 17, 2023Updated 3 years ago
- Metrological Agent-based system (MET4FOF project)☆27Sep 30, 2026Updated 3 weeks ago
- A gated, artifact-based operating system for AI film and narrative production with continuity control, cost governance, and model-agnosti…☆16Feb 20, 2026Updated 8 months ago
- Agent Squad for Requirements Engineering — 33 Specialists with System 2 Reflection, BM25+ Knowledge Engine (831 entries), Mermaid Diagram…☆19Apr 13, 2026Updated 6 months ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- An AI skill that interrogates you — with your consent — until the story you tell yourself gives way to what's actually true. Claude Code …☆17Jul 8, 2026Updated 3 months ago
- An anydice clone in python☆12Jan 6, 2016Updated 10 years ago
- StoryDB is a formalization of complex narrative events with an accompanying persistence store.☆14Jun 14, 2022Updated 4 years ago
- Script to help convert from scanned PDF to DjVu+OCR. Dependencies: pdfsandwich tesseract pdf2djvu☆12Jun 6, 2020Updated 6 years 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.
- ☆16Mar 14, 2024Updated 2 years ago
- Generate compositions, supercompositions and variants for a given Hanzi / Kanji☆12Dec 22, 2018Updated 7 years ago
- 🖋️ AI-powered writing studio for authors & screenwriters. Story planning, character & world building, AI assistants, offline PWA + deskt…☆23Oct 22, 2026Updated last week
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- remote function calling☆16Dec 12, 2015Updated 10 years ago
- The Shipyard CLI and MCP server enable you to manage ephemeral environments from your terminal or from your AI agent.☆14Updated this week
- A virtual pet project made with Unity☆12Jul 21, 2026Updated 3 months ago