Elm module for efficiently displaying large lists

Lightweight coding agent that runs in your terminal

interactive & hardware agnostic SDK for lab automation

Mastering Diverse Domains through World Models

Defines a common protocol for debug adapters.

A C# parser construction toolkit with high-quality error reporting

A Text-Based Environment for Interactive Debugging

Simplifying reinforcement learning for complex game environments

Convert SVG to PNG right in your browser, reliably and correctly

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Vivaria is METR's tool for running evaluations and conducting agent elicitation research.

Maintain an open standard for UI and promote its adherence and adoption.

CLI for elm-review

Provides elm-review rules to help with the quality and correctness of your Elm project's documentation

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

A curated list of resources about AI agents for Computer Use, including research papers, projects, frameworks, and tools.

Limbo is a project to build the modern evolution of SQLite.

Reasoning in LLMs: Papers and Resources, including Chain-of-Thought, OpenAI o1, and DeepSeek-R1 🍓

A simple screen parsing tool towards pure vision based GUI agent

Miniworkshop: LiaScript bei der Love Data Week im OSL in Dresden

A robust virtual DOM for Elm.

Make websites accessible for AI agents

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Janus-Series: Unified Multimodal Understanding and Generation Models

.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework

A full featured web-browser built using C# and CefSharp

A GPU-based renderer for the web