AI-supported visual verification and tests you can actually trust.
College Basketball Coaching Dynasty Web Game
ZOSCII Zero Overhead Secure Coding Information Interchange
Algorithms that run our universe | Your personal library of every algo
JPEG encoder implementation using OpenCL
A HTML form manager
CMS Bridges - a common API for module developers
Automated CD/DVD ripper program
Tool to administrate pupils, marks, reports and more.
Stable fine-tuned Gemma model for structured, clear responses
Compact hybrid reasoning language model for intelligent responses
Parallel Heterogeneous OBject Store
Java based Open source Voxel Engine for RTS games
Efficient 30B MoE model for long-running agents and local inference
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
Flagship MoE model for long-context agents and complex coding
JetBrains’ 4B parameter code model for completions
Efficient 13B MoE language model with long context and reasoning modes
Game creation engine with built-in BASIC interpreter.
Localization as code. One command to translate your app
Cross tablet IDE platform utilizing wireless to do the heavy lifting.