Skip to content
View aindilis's full-sized avatar
130 followers · 429 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report aindilis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. free-life-planner free-life-planner Public

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

    HTML 54 5

  2. mealsolver mealsolver Public

    Logic-based meal optimizer

    Jupyter Notebook 14

  3. prolog-agent prolog-agent Public

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

    HTML 10 4

  4. eurisko-resources 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.

    HTML 10 2

  5. financial-planning financial-planning Public

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

    Prolog 10 1

  6. frdcsa-panoply-git-20200329 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)

    9 1