A very small Docker image (~80KB) to run any static website

A Coq library for Homotopy Type Theory

Minimal implementations for dependent type checking and elaboration

Fast, powerful, git-native ticket tracking in a single bash script. Dependency graphs, priority levels, zero setup.

🌵 Federated mobile first open-source RSVP platform. Alternative for meetup.com & eventbrite and partiful for small companies and groups.

A .NET library for rendering Mermaid diagrams to SVG. No browser or JavaScript runtime required.

Classic Windows 95, 98, Me, 2000, XP, Vista taskbar for modern versions of Windows

Write 'await' in a fluent/LINQ-friendly style.

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

Open-source, self-hosted note-taking tool built for quick capture. Markdown-native, lightweight, and fully yours.

High performance self-hosted photo and video management solution.

Truly independent web browser

The best C# command line parser that brings standardized *nix getopt style, for .NET. Includes F# support

C# Source Generator to Create Strongly Typed SignalR Clients.

A modern, fast and flexible .NET testing framework

A high performance implementation of Mediator pattern in .NET using source generators.

🙂_🙁.css – A mood-driven CSS framework to write modern websites using only emojis

We all edit.

Entity Framework Core queries debugger visualizer.

A .NET document database working on any RDBMS

Zero Dependency, Zero Overhead, Zero Reflection, Zero Allocation, AOT Safe CLI Framework powered by C# Source Generator.

Mass processing data with a complete ETL for .net developers

Easy integration testing for ASP.NET Core applications

Easy and optimized way to apply Filtering, Sorting, and Pagination using text-based data.

Examples and Tutorials of Event Sourcing in .NET

Easy web analytics. No tracking of personal data.

A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐

A port of Doom (1993) that runs inside a PDF file

Virtual whiteboard for sketching hand-drawn like diagrams

Using TagHelpers to create an Htmx-powered Islands implementation for ASP.NET Core