Search Results for "ai linux"

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive...

AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic...

Putting truth before show-off. Criterial is an add-in for desktop versions of LibreOffice Calc (and forks) for statistical data analysis. The project is built on the refined expertise and core concepts of the AtteStat and StatAnt projects. Completely free. No donations required. Comes with absolutely no warranty. Rating: Everyone (All ages). MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU...

Aspire to perfection. StatAnt is a standalone cross-platform application for statistical data analysis. Completely free. No donations required. Comes with absolutely no warranty. Rating: Everyone (All ages). MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU RESIDENTS: This software is NOT compliant with EU regulations, including GDPR and the AI Act. It is not intended for use within the...

Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map) which is one of AI algorithms and useful tool for data mining and discovery knowledge in data (http://knnl.sf.net).

A python framework for fuzzy inference computations

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.

PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.

Platform supporting machine learning on different objects by different modification of the JSM method (for now). Predicates for the JSM method are written in CLIPS.Objects and modification of the JSM method have to written on one of .NET languages.

bioCity is a continuous space, discrete time simulation written in C++. It is meant to be of use to population biologists. Rules of behaviour are given to individuals that move, live, die, and procreate.

The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency. http://www.cs.kuleuven.be/~petervw/JCHR/

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

An Java artificial intelligence platform comprising common AI tools (neural networks, genetic algorithms, wavelets, etc...) and examples. The platform focuses on ease of use and ease of integration..

Anarchonomy is a Java application simulating AI agent based production, consumption, trade and force with a minimum of economic assumptions, letting users create and change their own rule and scenario sets.

This project contains the software used by the University of Toronto RoboCup team for controlling a team of robots to compete, against another such team, in a real time soccer environment.

The genesis-ai project is an attempt to develop complex neural network behavior by means of evolutionary techniques.