Inference code for CodeLlama models
TensorFlow-based neural network library
Build chatbots and conversational experiences using React
Robocode is a programming tank game for Java
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
Machine learning software to solve data mining problems
fast C++ library for linear algebra & scientific computing
Qwen2.5-Coder is the code version of Qwen2.5, the large language model
Sokoban solver written in Ada
Big Data Stream Analytics Framework.
Run GGUF models easily with a UI or API. One File. Zero Install.
A real time inference engine for temporal logical specifications
Companion software for the paper "Training a Fractal Neuro Oscillator"
VoiceClip es una aplicación de asistencia a usuarios
Adaptive Intelligence also known as "Artificial General Intelligence"
Mindolph is an open source desktop PKM software with Gen-AI support.
Open-Source Framework for Distributed Constraint Optimization (DCOP)
Lucifer ate the tomcat.