Skip to content
View zaccari's full-sized avatar

Block or report zaccari

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

A microsecond-latency ACID database engine with a native Entity-Component-System data model, built for real-time systems.

C# 142 2 Updated Apr 12, 2026

šŸ“āš™ 2D vector line drawing and shape modeling for CNC and laser cutters.

TypeScript 1,976 297 Updated Mar 26, 2026

Lean 4 programming language and theorem prover

Lean 7,792 818 Updated Apr 12, 2026

A subset of Go that translates to C

Go 527 13 Updated Apr 12, 2026

High-Performance server for NATS.io, the cloud and edge native messaging system.

Go 19,568 1,782 Updated Apr 10, 2026

You like pytorch? You like micrograd? You love tinygrad! ā¤ļø

Python 32,357 4,050 Updated Apr 12, 2026

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

Rust 896 171 Updated Apr 11, 2026

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

Python 21,683 1,011 Updated Apr 12, 2026

ZITADEL - Identity infrastructure, simplified forĀ you.

Go 13,510 1,021 Updated Apr 12, 2026

Open Source Identity and Access Management For Modern Applications and Services

Java 33,841 8,233 Updated Apr 12, 2026

CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…

C++ 925 76 Updated Apr 1, 2026

Localhost service isolation and orchestration for git worktrees.

Rust 330 18 Updated Apr 12, 2026

See your claude code logs in clear details in your dashboard

Shell 2,047 2,183 Updated Apr 3, 2026

Temporal Go SDK

Go 864 291 Updated Apr 9, 2026

Temporal service

Go 19,540 1,474 Updated Apr 12, 2026

From-scratch PyTorch implementation of Google's TurboQuant (ICLR 2026) for LLM KV cache compression. 5x compression at 3-bit with 99.5% attention fidelity.

Python 906 124 Updated Mar 31, 2026

your personal encyclopedia, written by agents

TypeScript 423 23 Updated Apr 9, 2026

🌻 The collaborative editing software that runs Wikipedia. Mirror from https://gerrit.wikimedia.org/g/mediawiki/core. See https://mediawiki.org/wiki/Developer_access for contributing.

PHP 5,032 1,540 Updated Apr 12, 2026

Colibri is a next-generation social chat app built on the AT protocol.

TypeScript 64 4 Updated Apr 12, 2026
C 114 11 Updated Apr 10, 2026

The Lean version manager

Rust 504 49 Updated Mar 18, 2026

Open-source credential vault, give your AI agents access to services without exposing keys.

TypeScript 1,738 83 Updated Apr 11, 2026

State-of-the-art TTS model under 25MB 😻

Python 13,519 750 Updated Mar 27, 2026

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

TypeScript 86,247 5,486 Updated Apr 12, 2026

Personal AI, On Personal Devices

Python 2,522 488 Updated Apr 12, 2026

🧠 Laws, Theories, Principles and Patterns for developers and technologists.

HTML 27,040 1,556 Updated Feb 6, 2026
JavaScript 115 4 Updated Mar 17, 2026

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

Rust 4,111 304 Updated Apr 11, 2026

A safe and fast multi-producer, multi-consumer channel.

Rust 2,995 102 Updated Apr 7, 2026

Collaborative editing for ProseMirror

TypeScript 153 29 Updated Apr 1, 2026
Next