Lists (1)
Stars
Dafny is a verification-aware programming language
The personal knowledge management (PKM) tool that grows as you do!
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
This repository allows reproduction of Poetiq's record-breaking submission to the ARC-AGI-1 and ARC-AGI-2 benchmarks.
Live-SWE-agent: live, runtime self-evolving software engineering agent
Deprecated: superseded by mcp_agent_mail_rust, the maintained Rust rewrite. Original Python FastMCP coordination layer for AI coding agents: identities, inboxes, searchable threads, and advisory fi…
Analyze how a Git repo grows over time
Open source alternative to AWS. Elastic compute, block storage (non replicated), firewall and load balancer, managed Postgres, K8s, AI inference, and IAM services.
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent
Microsoft Fluent UI Blazor components library. For use with ASP.NET Core Blazor applications
🙌 OpenHands: AI-Driven Development
Data Wrangler extension for Visual Studio Code
https://transformer-circuits.pub/2025/attribution-graphs/methods.html
Local UI to run and train LLMs and diffusion models. Supports GGUF, MLX, Qwen3.8, DeepSeek-V4.1, MiniMax-H3, Gemma 4, FLUX and more.
An open-source library for sim and real robot demos on top of MuJoCo.
Fully open reproduction of DeepSeek-R1
Dashboards and notebooks in a single place. Create powerful and flexible dashboards using code, or build beautiful Notion-like notebooks and share them with your team.
Stop renting your intelligence. Own it with AnythingLLM. Everything you need for a powerful local-first agent experience
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
.NET polycloud storage framework which provides a unified polycloud API across 15+ clouds for Object manipulation, File uploads/downloads, File streaming/seeking, Directory upload/download, Object …
Simulation platform for general-purpose robotics & embodied AI learning.
A simple screen parsing tool towards pure vision based GUI agent
Running SXM2/SXM3/SXM4 NVidia data center GPUs in consumer PCs
ML.NET is an open source and cross-platform machine learning framework for .NET.
Welcome to our Windows Containers GitHub community! Ask questions, report bugs, and suggest features — let's work together.
Stanford Doggo is an open source quadruped robot that jumps, flips, and trots!