-
emacs-pengines-client Public
Emacs client for SWI-Prolog Pengines
Emacs Lisp GNU General Public License v3.0 UpdatedOct 30, 2025 -
iaec Public
I AM Eurisko, Cyc! A system to attempt to partially reimplement all of these seminal technologies as one, free/libre, system with some possible improvements
HTML GNU General Public License v3.0 UpdatedOct 28, 2025 -
prolog-mysql-store Public
Persistent Storage for SWI-Prolog
-
financial-planning Public
Your AI-Powered Personal Finance Assistant
-
flp Public
The Free Life Planner Reference Manual
-
godfrey_system Public
A vigilance and strategic intelligence system, designed to help users maintain heightened awareness and make calculated decisions
Python MIT License UpdatedApr 12, 2025 -
fast Public
Field Agent Support Technology - real-time dialog support from hybrid LLM / human team
-
gourmet-formalog-standalone Public
A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPL
-
microtheories Public
SWIPL Microtheory implementation based on Guha thesis
-
autonomous-ai-agent Public
Prolog-Agent/SPAMI/Autonomous BDI+LLM agents
-
FRKCSA Public
Formalized Research Knowledge-Base: Cluster, Study and Apply project (FRDCSA reboot)
-
emacs-kb-atp Public
Emacs Knowledge-Base Automated Theorem Prover
-
ping-chime Public
A utility service designed to help users maintain awareness of their system's network connectivity status.
Perl GNU General Public License v3.0 UpdatedSep 5, 2024 -
free-life-planner Public
Free Life Planner: An AI tool for helping with planning for day-to-day life.
-
eurisko-resources Public
Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.
-
frdcsa Public
The (Under Construction) FRDCSA Reference Manual
-
strads-claude Public
Improved reimplementation of STRADS-FRDCSA, written interactively with Claude 3.5 Sonnet.
Prolog GNU General Public License v3.0 UpdatedAug 22, 2024 -
folksonomy Public
Tag systems learner and labeller
-
archive2text Public
Creates a single plaintext file from a dir or archive, for pasting entire codebases as input to LLMs
Perl GNU General Public License v3.0 UpdatedJul 7, 2024 -
This project implements a temporally-contingent planner, which combines temporal planning with contingent planning to handle scenarios with both time constraints and uncertain outcomes.
Prolog GNU General Public License v3.0 UpdatedJul 7, 2024 -
space-weather-monitor Public
Provide alerts as to upcoming space weather that might prompt you to unplug your systems to prevent power spikes damaging them and your data
-
-
video-redactor Public
A system under construction for redacting streaming and video files
-
SuperAGI Public
Forked from touillenouille/SuperAGI<⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.
-
jason Public
Forked from jason-lang/jasonJason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
-
f2 Public
Early (2003-ish) notes on an attempt at a non-logical AI.
Perl GNU General Public License v3.0 UpdatedJul 20, 2023 -
dialogue-understanding Public
Forked from declare-lab/dialogue-understandingThis repository contains PyTorch implementation for the baseline models from the paper Utterance-level Dialogue Understanding: An Empirical Study
Python MIT License UpdatedDec 23, 2022 -
frdcsa-panoply-git-20200329 Public
How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
-
Peleus Public
Forked from jbalint/PeleusAn implementation of AgentSpeak(MPL) based on Jason capable of performing means ends planning
Java Other UpdatedDec 1, 2022 -
A script to export Firefox bookmarked URLs tagged with '*', and prepend Titles for any arxiv.org URLs
Perl GNU General Public License v3.0 UpdatedNov 18, 2022
{{ message }}