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.

Custom Neural Network written in C++, test app written using gtkmm4, CPU only.

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

Splits text into chunks for quick lookup, chunks stored on disk encrypted.

Learn about different C++ standards, and refactor an ini config parser between standards - C++03,11,14,17,20,23 using only 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.

Host: @dnsmichi Guest: @iganbaruch Focus: GitLab Duo Coffee Chat: C++, SQlite and CMake refactoring adventures with Chat and Code Suggestions

Hosted by @dnsmichi, guest: @mzille-ext

Este proyecto consiste en modificar el ángulo de inclinación de un servomotor con el cambio de la humedad detectada en el DTH11, para ello se diseñaron los código de programación en arduino utilizando el ESP32 Y EL DTH11

An open-source application that uses AI to analyze photos and describes their contents using text-to-speech technology.

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

A plugin for evolving Behavior Trees for game AI.

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

Dev version of ChIAss.

A simple (WIP) GUI for chatting with llama via few-shot prompts!