AI

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

Software de estratégia da equipe RoboFEI - Small Size League (SSL).

A concise, user-friendly C++ desktop application utilizing wxWidgets to chat with local Large Language Models (LLMs) via ollama.ai API.

The main project for OctoMY™ - Ready-to-run robot software

The repository contains an Unreal Engine project for a strategy role playing videogame. The game's combat complexity is low-medium as of the current implementation. The project is meant to be used to test search based adversarial algorithms.

Implemented: Alpha-beta, Negascout, MTD(f), MonteCarloTreeSearch(UCT), MCTS(Epsilon-greedy) and RAVE. There is an incomplete version of UCT-RAVE.

Image viewer with Computer Vision and Deep Learning: MILLA. A Qt5-based image viewer provides extended functionality for image search, matching, tagging and classification. Rich plugins API makes it possible to run an entire virtual machine inside the viewer.

AI chat interface using the llama.cpp framework and gtkmm4. LINUX ONLY

Analyze and fix a perf CLI in C using GitLab Duo

Automatic Neural Network Assistant - A versatile CLI/GUI LLM tool, with optional remote offloading. Has unique features not seen in any other similar project based on llama.cpp.

GitLab Duo Coffee Chat, hosted by @dnsmichi Guest: Michael Aigner, @tonka3000

Use GitLab Duo and AI to refactor Shell scripts (Bash, SH, ZSH)

Use GitLab Duo and AI to refactor C into Rust code

Demo Repo for GitLab Code-Suggestions

Larod is a system service providing acceleration of machine learning computation, more specifically accelerating inferences of artificial neural networks.

Une solution au Google Hashcode 2022 : One pizza.

A plugin for evolving Behavior Trees for game AI.

An example of using the EvolvingBehavior plugin to evolve game AI.

Dev version of ChIAss.

Reversem game (a version of Othello)

First version of chIAss.