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 …

Flutter dual-screen support

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

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.

🧑‍🚀 The better identity infrastructure for developers and the open-source alternative to Auth0.

ZITADEL - Identity infrastructure, simplified for you.

Logto Flutter SDKs.

Envio is a modern and secure command-line tool that simplifies the management of environment variables

Linux Desktop Application for the Logitech Spotlight device (and similar devices) - Digital Laser Pointer

A C# architecture test library to specify and assert architecture rules in C# for automated testing.

The flexible backend for all your projects 🐰 Turn your DB into a headless CMS, admin panels, or apps with a custom UI, instant APIs, auth & more.

A collection of postmortems. Sorry for the delay in merging PRs!

Lightweight & elastic kubernetes-native event streaming system

🧵 CLI tool for directly patching container images!

A simple interpreter for the mathematical random-access machine

A dotnet library for running background jobs in a scalable and performant manner. The jobs can trigger based on cron expressions, intervals or absolute datetime.

A fluent API for .Net that can enforce architectural rules in unit tests.

Headless cloud-native authentication and identity management written in Go. Scales to a billion+ users. Replace Homegrown, Auth0, Okta, Firebase with better UX and DX. Passkeys, Social Sign In, OID…

GitHub Action for installing development tools (mainly from GitHub Releases).