aindilis

Interested in AI for personal organization.

Pinned Repositories

eurisko-resources
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.
11 4 02
financial-planning
Your AI-Powered Personal Finance Assistant
Language:Prolog14 5 02
flp
The Free Life Planner Reference Manual
11 3 01
frdcsa-panoply-git-20200329
How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
11 6 01
free-life-planner
Free Life Planner: An AI tool for helping with planning for day-to-day life.
Language:HTML65 11 16
mealsolver
Logic-based meal optimizer
Language:Jupyter Notebook15 6 00
prolog-agent
A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands
Language:HTML10 4 04
software-ontology
Tools for automatic document understanding, not the actual Comprehensive Software Ontology though.
Language:HTML5 4 00
SuperAGI
<⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.
Language:Java8 2 01
verber
Contingency planning, crisis management
Language:Perl5 4 00

aindilis's Repositories

aindilis/free-life-planner
Free Life Planner: An AI tool for helping with planning for day-to-day life.
Language:HTML65 11 16
aindilis/financial-planning
Your AI-Powered Personal Finance Assistant
Language:Prolog14 5 02
aindilis/eurisko-resources
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.
11 4 02
aindilis/flp
The Free Life Planner Reference Manual
11 3 01
aindilis/frdcsa-panoply-git-20200329
How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
11 6 01
aindilis/SuperAGI
<⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agents quickly and reliably.
Language:Java8 2 01
aindilis/autonomous-ai-agent
Prolog-Agent/SPAMI/Autonomous BDI+LLM agents
Language:Prolog4 2 02
aindilis/frdcsa
The (Under Construction) FRDCSA Reference Manual
3 3 0
aindilis/jason
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
Language:Java3 2 03
aindilis/ontolog-summit-2022-presentation
Ontolog Summit 2022 Presentation
3 3 03
aindilis/frdcsa-installer
The install scripts for FRDCSA (Panoply)
Language:C++2 6 01
aindilis/gourmet-formalog-standalone
A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPL
Language:Prolog2 4 01
aindilis/folksonomy
Tag systems learner and labeller
Language:Perl1 1 0
aindilis/FRKCSA
Formalized Research Knowledge-Base: Cluster, Study and Apply project (FRDCSA reboot)
Language:Stata1
aindilis/llms
LLMs support in FRDCSA
Language:Perl1 1 0
aindilis/space-weather-monitor
Provide alerts as to upcoming space weather that might prompt you to unplug your systems to prevent power spikes damaging them and your data
Language:Perl1 1 0
aindilis/video-redactor
A system under construction for redacting streaming and video files
Language:Python1 2 0
aindilis/archive2text
Creates a single plaintext file from a dir or archive, for pasting entire codebases as input to LLMs
Language:Perl2 0
aindilis/dialogue-understanding
This repository contains PyTorch implementation for the baseline models from the paper Utterance-level Dialogue Understanding: An Empirical Study
Language:Python1 0
aindilis/do-convert-logic
Track millions of tasks
Language:Prolog2 0
aindilis/Domestic_Abuse_Simulations
Simulations of domestic abuse & coercive control traits from articles, narratives, documents, timelines, media on domestic abuse with multi-agent modeling. Abuse AI Simulation/Predict Training, action-trees
Language:Java1 0
aindilis/emacs-kb-atp
Emacs Knowledge-Base Automated Theorem Prover
Language:Emacs Lisp1
aindilis/f2
Early (2003-ish) notes on an attempt at a non-logical AI.
Language:Perl2 0
aindilis/fast
Field Agent Support Technology - real-time dialog support from hybrid LLM / human team
Language:Perl
aindilis/firefox-bookmark-research-exporter
A script to export Firefox bookmarked URLs tagged with '*', and prepend Titles for any arxiv.org URLs
Language:Perl2 0
aindilis/microtheories
SWIPL Microtheory implementation based on Guha thesis
Language:Prolog
aindilis/Peleus
An implementation of AgentSpeak(MPL) based on Jason capable of performing means ends planning
Language:Java1 0
aindilis/ping-chime
A utility service designed to help users maintain awareness of their system's network connectivity status.
Language:Perl1 0
aindilis/strads-claude
Improved reimplementation of STRADS-FRDCSA, written interactively with Claude 3.5 Sonnet.
Language:Prolog1 0
aindilis/temporally-contingent-planner
This project implements a temporally-contingent planner, which combines temporal planning with contingent planning to handle scenarios with both time constraints and uncertain outcomes.
Language:Prolog1 0