Lists (1)
Starred repositories
MCP server enabling AI agents to interact with Flutter apps at runtime - let them inspect widgets, simulate taps, enter text, scroll, and take screenshots.
A smooth, customizable Wayland compositor with glass effects, three window layouts, and settings you can actually click. We got a little carried away.
A plugin to edit and view Excalidraw drawings in Obsidian
Multi-Purpose Launcher with a lot of features. Highly Customizable and fast.
Library for generating Dart code and schemas from a programmatic schema specification.
Use your Mac trackpad as a weighing scale
A simple task management system for managing AI dev agents
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
OpenID, OAuth 2.0, SCIM2.0, UMA2.0, FAPI, CIBA & OPENBANKING Framework for ASP.NET Core
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Advent of code 2024 in Lean, proving theorems related to the task
Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)
⭐️ A friendly language for building type-safe, scalable systems!
16-bit CPU for Excel, and related files
Empowering everyone to build reliable and efficient software.
Navigate the complex landscape of .NET software architecture with our step-by-step, story-like guide. Unpack the interplay between modular monoliths, microservices, domain-driven design, and variou…
OpenTofu lets you declaratively manage your cloud infrastructure.
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …
A .NET library that handles the HTTP write operations (POST and PATCH) that can affect only once for the given request data and idempotency-key by using an ASP.NET Core attribute (filter).
A simple and ultrafast http reverse proxy serving multiple domain names and terminating TLS for http/1.1, 2 and 3, written in Rust
🧑🚀 Authentication and authorization infrastructure for SaaS and AI apps, built on OIDC and OAuth 2.1 with multi-tenancy, SSO, and RBAC.
ZITADEL - Identity infrastructure, simplified for you.
A secure command-line tool for managing environment variables
Linux virtual laser pointer for Logitech Spotlight and similar presenters on KDE Plasma Wayland