An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

Opinionated Arch/Hyprland Setup

A backend framework for Rust professionals

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

Play DOOM in modern terminals

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Welcome to a calmer internet

A curated list of Rust code and resources.

Go-blueprint allows users to spin up a quick Go project using a popular framework

A scalable, distributed, collaborative, document-graph database, for the realtime web

A versatile, feature-rich Rust ORM ⛵

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Empowering everyone to build reliable and efficient software.

The Kotlin Programming Language.

Awesome books, tutorials, courses, and resources for the Ktor framework ecosystem. ⚡