Minimal and idiomatic WebSocket library for Go

A browser based Pokémon fangame heavily inspired by the roguelite genre.

Go package for UUIDs based on RFC 4122 and DCE 1.1: Authentication and Security Services.

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

N.I.N.A. (Nighttime Imaging 'N' Astronomy) - Advanced astrophotography sequencing software for Windows, supporting full automation of imaging sessions.

A low-level 3DS emulator

Unsupervised text tokenizer for Neural Network-based text generation.

🚂 🦀 The one-person framework for Rust for side-projects and startups

Property-based testing for web and terminal UIs

Self-hosted AI workspace.

JGit, the Java implementation of git

Build your own high performance LLM inference engine in C++ and CUDA - a smaller version of vLLM

Fork of Paper which adds regionised multithreading to the dedicated server.

A JavaScript checker and optimizer.

Tama is a developer tool for building formally verified Ethereum smart contracts in Verity

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

Lean 4 programming language and theorem prover

Bash for Agents

Open-source vector similarity search for Postgres

Empowering everyone to host fast and efficient Minecraft servers.

The Uber Go Style Guide.

Examples of idiomatic Odin code

Square’s meticulous HTTP client for the JVM, Android, and GraalVM.

The Modrinth monorepo containing all code which powers Modrinth!

A replacement for KDE 6+'s Global Menu widget.

Free, no-nonsense, super fast blogging.

💚 End-to-end encrypted cloud for everything.

Fork of the Plasma 6 blur effect with additional features (including force blur) and bug fixes.

Open source Loom alternative. Beautiful, shareable screen recordings.