Solve Differential Equations
Kammerjäger is a debugging tool with integrated correctness proving.
An extensible game engine that targets RPGs.
Visual Automation & UI Authoring
A human-readable ISC-Licensed implementation of the LZO1X algorithm.
Efficient multimodal MoE model for coding, tools, and reasoning
A TTCN-3-inspired testing environment in Python
Self-evolving AI model for agents, coding, and complex workflows
Efficient 30B MoE model for long-running agents and local inference
JetBrains’ 4B parameter code model for completions