A tool to use the Ai2 Open Coding Agents Soft-Verified Agents
Fully-featured web interface for Ollama LLMs
Give Claude Code an external monitor
Database migrations and schema updates made easy
Educational computer programming environment using Haskell
Type-safe HTTP client for Android and Java by Square
The easiest, and fastest way to run AI-generated Python code safely
Data Access PHP Framework for SQL & high-latency databases
Developer-oriented ChatGPT clone
Explainability and Interpretability to Develop Reliable ML models
The compiler for Teal, a typed dialect of Lua
A better compressed bitset in Java
True object-oriented Java web framework without NULLs
A beautiful, easy-to-use and ad-free comic and game client
Little helper to run CNCF's k3s in Docker
Interactive Plotting Library for .NET
AI Agent Builder and Runtime by Docker Engineering
Stateless Postgres Query Router
Go ahead and axolotl questions
Open Source Bootstrap 5 Material Design Admin
ETH course - Solving PDEs in parallel on GPUs
Julia wrapper for the LLVM C API
Grid-based approximation of partial differential equations in Julia
PHP7 / Laravel Multi-format Streaming Parser
Next-gen identity server with Ory-hardened authentication