Cloud Native application framework for .NET

Keeping track of companies that "care about your data 🥺"

An HTML pre-proces­sor for web ty­pog­ra­phy

An IPFS implementation in Go

A specialized IPFS HTTP gateway

Lean documentation authoring tool

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

Web Extension for saving a faithful copy of a complete web page in a single HTML file

Scripts to simplify setting up a Windows developer box

Godot Engine – Multi-platform 2D and 3D game engine

Tidal Audio Engine

Yet another open source Spotify client, written in Go.

⭐️ A friendly language for building type-safe, scalable systems!

A GDB frontend for Linux.

Build android apps without any java, entirely in C and Make

FreeBASIC is a completely free, open-source, multi-platform BASIC compiler, with syntax similar to MS-QuickBASIC, that adds new features such as pointers, object orientation, unsigned data types, i…

A list of AI agents and robots to block.

Novel implementation of a Trie data structure optimized for small, sparse maps

stb single-file public domain libraries for C/C++

Fast function to parse strings into double (binary64) floating-point values, enforces the RFC 7159 (JSON standard) grammar: 4x faster than strtod

🦀 Small exercises to get you used to reading and writing Rust code!

an adaptable text editor

A tool for tunneling SSH through HTTP proxies

NixOS configuration for tunneling an inbound SSH connection over an outbound HTTPS connection

An open-source Unix operating system

Tiled scrollable window management for Gnome Shell

🌸 A command-line fuzzy finder

Unofficial mirror of mob development branch

A real-time 3D digital map of Tokyo's public transport system