Discover @aindilis Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

JavaScript

Julia

Dart

MATLAB

Python

Objective-C

PHP

Clojure

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

C

MATLAB

F#

Erlang

Clojure

Nix

PowerShell

Zig

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇸🇩 Sudan

🇹🇷 Turkey

🇦🇼 Aruba

🇳🇱 Netherlands

🇱🇹 Lithuania

🇵🇼 Palau

🇷🇼 Rwanda

🇧🇩 Bangladesh

All Countries Compare Countries

@aindilis

aindilis

Stars
202
Global Rank 122,305 (Top 5 %)
Followers 136
Following 442
Registered almost 14 years ago
Most used languages

HTML
21.1 %

Perl
21.1 %

Emacs Lisp
17.5 %

Prolog
15.8 %

Java
7.0 %

C++
3.5 %

Common Lisp
3.5 %

Jupyter Notebook
1.8 %

Python
1.8 %

Makefile 1.8 %

C
1.8 %

TeX
1.8 %

Perl 6 1.8 %

free-life-planner

Free Life Planner: An AI tool for helping with planning for day-to-day life.

mealsolver

Logic-based meal optimizer

Jupyter Notebook

prolog-agent

A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commands

financial-planning

A temporal metric financial PDDL planning domain and problem w/ tools for personal planning. Extremely simple proof of concept to be expanded upon.

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)

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.

flp

The Free Life Planner (soon to be official) site

verber

Contingency planning, crisis management

software-ontology

Tools for automatic document understanding, not the actual Comprehensive Software Ontology though.

cyc-mode

Emacs *CYC major mode for interaction. Please note this is an ancient system from 2003. The current system is far better, and is now available here: http://github.com/aindilis/cyc-mode-2

plan-monitor

Compile tasks of daily living into Behavior Trees and interactively executes them. Pure Perl using Mojolicious.

sigmakee-mode

Emacs SigmaKEE/KIF major mode for interaction.

ontolog-summit-2022-presentation

Ontolog Summit 2022 Presentation

freekbs2

Free Software Knowledge Based System like SigmaKEE or Cyc

nlu

Performs Natural Language Understanding

gourmet-formalog

Prolog-based Meal Planning system w/ Recipes, Barcodes, Nutrition Information, etc

ggp-gdl-mode

A quick-n-dirty mode for General Game Playing Game Description Language.

nlu-mf

Natural Language Understanding - Manual Formalization: (Increasingly automatedly) formalize texts to Prolog

boss

Software engineering manager for project management

formalize

System to translate NL to logic. Currently based on OpenCyc, Wordnet, Ted Pedersen's WSD modules, Enju, etc.

presentation-generator

Automated presentation generator - converts custom marked-up text to a video presentation

cfo

Comprehensive Function Ontology - related to CSO/CLO, Cyc, AM, Sayer{,2}, etc

daydreamer

Fork of Erik T. Mueller's DAYDREAMER - compiled for CLISP on AMD64

frdcsa-installer

The install scripts for FRDCSA (Panoply)

kmax

Emacs Enhancements for Symbolic Knowledge Manipulation Environment

flux-frdcsa

Extensions to the FLUX system mentioned in the book: Reasoning Robots: The Art and Science of Programming Robotic Agents

optimal-plan-recognition

This is a WIP, trying to get plan-recognition.tar.bz2 working from https://sites.google.com/site/prasplanning/file-cabinet

sandbox-gamer

Debian packaging for Gamer

sandbox-sigma

Debian packaging for Sigma.

iaec-attempt

frdcsa

This is the live branch of FRDCSA, intended to be a collaborative workflow with other developers.

agent

Resources for implementing Multiagent Systems in Prolog

auto-builder

Extracts, googles, and lays out possible responses to error messages.

gpgpu-planning

Various expert 3rd party classical AI planning resources for GPGPU

academician

Build a knowledge base interactively in Emacs from processed research papers and texts

spse

Shared Priority System Editor

cyc-mode-2

A much improved Emacs/Perl/Cyc interface, creates a deep channel by wrapping Java API

planner-api

FLP Prolog <-> PDDL Planning Library

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

github-spider

Download either all of a user's repositories or all repositories matching a search

bleaf

kmax-object-manipulation-system

System to type objects according to syntactic/semantic features and open up contextual menus for affordances for object

dnfct-frdcsa

A performant contingent planner that we hope to integrate, at least with financial and WOPR planning, until FLUX or ALPProlog contingent planners which can call Prolog code in the search, are finished

chap2

CHess Analysis Program v2: aims for positional analysis using chess textbooks translated into Prolog

ies

Information Extraction System (an Emacs annotation/labeling system)

resource-manager

Tracking life and productivity resources

madla-planner

Third-party multiagent planning system

all

ALL Language Learning: a language acquisition Intelligent Tutoring System

elle-ethical-consumer

Evidence point list generator.

metasite-extractor

System to download codebases from lists of projects/codebases for packaging

audience-systems-irc

A tool for reading ERC out loud using festival, allowing muting of individual or all channels.

normal-form

Manage world-state by reducing it to an ordered state akin to a logical normal form

formalog-pengines

A system to allow multiple pengines to talk to each other, and hopefully allow access through JavaPengines

universal-parser

Parsing subsystem using comprehensive library of grammars to parse various text files

web-agent

Intelligently spider websites of researchers, extracting out all their resources like software that can be packaged, building a knowledge base / knowledge graph.

study

It's great for "I need to know a lot of stuff, and fast".

wow

War on Words: a web proxy that rewrites the web according to configurable points of view

koms-web

Rewriting web proxy that adds contextual menus to recognized entities. Use case is to perform operations on online documentation, such as caching it locally and annotating for QnA, fact extraction, process extraction etc.

autonomous-ai-agent

Prolog-Agent/SPAMI/Autonomous BDI+LLM agents

radar

Rapid Application Discovery And Retrieval

gourmet-formalog-standalone

A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPL