An agent runtime where state is beliefs, not messages. Every conclusion carries its justification; correct one fact and everything that depended on it updates automatically. Truth maintenance for LLM agents.
☆17Oct 7, 2026Updated this week
Alternatives and similar repositories for corollary
Users that are interested in corollary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Voice, video and text communication service based on Discord☆13Jan 29, 2023Updated 3 years ago
- RulesEngine for DotNetCore Applications☆10Jan 17, 2023Updated 3 years ago
- Library for processing of chemistry related files (aiming at spectroscopy and structural files)☆18Jun 13, 2024Updated 2 years ago
- بوت الاذكار ومواقيت الصلاة☆10Aug 27, 2022Updated 4 years ago
- ☆10Aug 18, 2020Updated 6 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.
- FaaS (Function as a service) framework for writing portable .NET functions☆13May 11, 2022Updated 4 years ago
- ☆11Jan 22, 2022Updated 4 years ago
- Here I collect some action workflows which can be useful for C/C++ developers☆12Feb 20, 2024Updated 2 years ago
- Berlinerisch dialect dictionary.☆17Updated this week
- Enlaces dinámicos fáciles de recordar☆14Sep 12, 2026Updated 3 weeks ago
- Algorithms and data structures for Go applications☆11Updated this week
- An open source translation editor specifically designed for native mobile apps☆10Nov 1, 2023Updated 2 years ago
- An open source terminology management solution☆20Jun 11, 2023Updated 3 years ago
- AIX5-IA64: A modest collection of compiled software for IBM AIX 5.1L for Itanium (IA-64), previously known as Project Monterey.☆16Oct 30, 2022Updated 3 years ago
- 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.
- مستودع تعليمي لطريقة استخدام واجهات برمجة التطبيقات API بشكل مبسط☆10Jun 29, 2023Updated 3 years ago
- ORM for Typescript and Javascript with Linq-like query syntax.☆10Sep 20, 2026Updated 2 weeks ago
- Air is a universal, reliable, and lean programming language.☆19Jun 30, 2026Updated 3 months ago
- ☆13Apr 11, 2021Updated 5 years ago
- Notes for EE364a - Convex Optimization I @ Stanford (will update Ch 6 - Ch 13 later)☆12Jul 30, 2019Updated 7 years ago
- A useless 16 bit OS. I can't even call it an OS for now.☆11Jan 25, 2023Updated 3 years ago
- Generates random characters, suitable for making bruteforce tools☆11Aug 25, 2024Updated 2 years ago
- a web-based operating system built with PHP, HTML, CSS, and JavaScript.☆10Oct 24, 2024Updated last year
- Color Scheme - Windows95 for Sublime Text (Light)☆11Aug 25, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- C# Helper Classes☆33Feb 15, 2024Updated 2 years ago
- This project aims to create a simple script for generating heightmap images within godot. This is an internal .gd script, so performance …☆12Jul 14, 2025Updated last year
- Add more validation attributes to Asp.net core project☆10Jul 10, 2024Updated 2 years ago
- Introdução a Estrutura de Dados☆23Sep 15, 2026Updated 3 weeks ago
- ☆13Dec 14, 2023Updated 2 years ago
- Advanced Encryption / Decryption program !☆14Jun 15, 2023Updated 3 years ago
- A chat example using Elixir, Phoenix, ejabberd and Angular2☆13May 22, 2016Updated 10 years ago
- code for my video guide about raycasting https://www.youtube.com/watch?v=DFZnzCbmlng☆10Jan 18, 2021Updated 5 years ago
- Jasper is a Process Management Framework☆16Mar 30, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A weather app, made with Sass, Js and Node Js.☆13May 11, 2021Updated 5 years ago
- O Philosopher Bot ou PhiloBot é uma aplicação responsável por pegar qualquer texto e transforma-lo em uma citação com algum filosofo alea…☆38Aug 13, 2022Updated 4 years ago
- A graphic and interactive table of printable ASCII characters.☆10Apr 9, 2021Updated 5 years ago
- Linear and interval bound propagation in Pytorch with easy-to-use API and GPU support.☆11Aug 20, 2026Updated last month
- A script to dynamically change your wallpaper with a travel photo by Richard Stallman.☆12May 3, 2021Updated 5 years ago
- ☆10Nov 10, 2021Updated 4 years ago
- Ayatollah Factory - ImamZade Builder GUI app | Ayatollah Name Builder :D☆13Aug 25, 2024Updated 2 years ago