A Family of Open Foundation Models for Code Intelligence
Expert System Tool
Structure-from-Motion and Multi-View Stereo
Inference code for CodeLlama models
ECLiPSe Constraint Logic Programming System
Robocode is a programming tank game for Java
The GNU Prolog native compiler
fast C++ library for linear algebra & scientific computing
Qwen2.5-Coder is the code version of Qwen2.5, the large language model
Big Data Stream Analytics Framework.
A real time inference engine for temporal logical specifications
Open-Source Framework for Distributed Constraint Optimization (DCOP)
Intellect Modeling Kit: assisting research, diagnostics, consulting
Resources to learn computer science in your spare time
Teachable/trainable artificially intelligent music bot
Java5 mobile agents in peer2peer containers without stubs/skeletons.