Skip to content
View aindilis's full-sized avatar

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 Loading

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

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

    HTML 58 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.

    10 2

  5. financial-planning financial-planning Public

    Your AI-Powered Personal Finance Assistant

    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