Skip to content
View OtaK's full-sized avatar
:shipit:
:shipit:

Block or report OtaK

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

An open source, self-hosted implementation of the Tailscale control server

Go 37,308 2,012 Updated Apr 12, 2026

Kani Rust Verifier

Rust 3,024 143 Updated Apr 6, 2026

Tokio Telemetry you can run in production

Rust 300 14 Updated Apr 11, 2026

Language Server Protocol implementation for Rust based on Tower

Rust 191 20 Updated Mar 14, 2026

An Earley parser engine in Rust.

Rust 44 4 Updated Apr 11, 2026

A proposal for a new streams API

TypeScript 431 5 Updated Mar 20, 2026

GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C

C 1,067 207 Updated Dec 19, 2025

A focused launcher for your desktop - native, fast, extensible

C++ 7,150 183 Updated Apr 10, 2026

High-performance, streaming-first container format with per-block codec polymorphism and robust data recoverability. Reference implementation in Rust.

Rust 26 1 Updated Apr 12, 2026

A high-performance multi-language bindings generator for Rust, up to 1,000x faster than UniFFI. Ship Rust libraries that feels native to Swift, Kotlin, and more

Rust 529 18 Updated Apr 10, 2026

ML-powered manga translator, written in Rust.

Rust 2,546 138 Updated Apr 12, 2026

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

Rust 590 17 Updated Mar 20, 2026

GameCube emulator

Rust 249 5 Updated Mar 31, 2026

Lightweight, self-hosted, open-source chat server with voice, video, text, and screen sharing. Built for small groups who want privacy, simplicity, and full control over their data.

TypeScript 1,245 108 Updated Apr 11, 2026

Cutting Edge WebRTC Video Conferencing

C++ 7,209 1,226 Updated Apr 8, 2026

Fast, secure, RFC-compliant WebSocket implementation for Rust, supporting compression

Rust 93 20 Updated Feb 18, 2026

A security-focused library OS supporting kernel- and user-mode execution

Rust 2,552 112 Updated Apr 11, 2026

Creusot helps you prove your code is correct in an automated fashion.

Rust 1,543 71 Updated Apr 12, 2026

Remove AI features, telemetry data reporting, sponsored content, product integrations, and other annoyances from web browsers.

Shell 2,597 77 Updated Mar 30, 2026

A tiling window manager for macOS

Rust 558 17 Updated Apr 7, 2026

nanomsg-next-generation -- light-weight brokerless messaging

C 4,553 554 Updated Mar 21, 2026

CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases

Rust 182 24 Updated Apr 11, 2026

Woodpecker is a simple, yet powerful CI/CD engine with great extensibility.

Go 6,801 544 Updated Apr 12, 2026

Graph-aware monorepo orchestration for Rust workspaces

Rust 202 2 Updated Apr 9, 2026

The fast and secure Load Balancer / API Gateway / Reverse Proxy with built-in service discovery, GeoIP, WAF, bot protection and much more - https://pingoo.io

Rust 979 40 Updated Jan 26, 2026

A tiny Skia subset ported to Rust

Rust 1,529 88 Updated Feb 5, 2026

Fil-C: completely compatible memory safety for C and C++

3,182 63 Updated Mar 28, 2026

Community-maintained Aidoku sources

Rust 394 57 Updated Apr 11, 2026

Wombat

MDX 53 5 Updated Mar 16, 2026
Next