Heap profiling and ad hoc profiling for Rust programs.

TamaGo - bare metal Go

A research prototype of a human-centered web agent

A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.

A markdown terminal slideshow tool

A performant and modular zkVM framework built for customization and extensibility.

Rust Language Cheat Sheet - https://cheats.rs

An LLM-first programming language.

Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.

Solve puzzles. Learn CUDA.

Spartan: High-speed zkSNARKs without trusted setup

List of AI Residency Programs

OO for LLMs

Formal specification of PBFT in TLA+

Python toolkit for quantitative finance

Define Kubernetes native apps and abstractions using object-oriented programming

LLM101n: Let's build a Storyteller

STARK-based virtual machine

The Nexus zkVM: The zero-knowledge virtual machine

The personal finance app for everyone

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Verified Rust for low-level systems code

Minimalistic zsh theme inspired by the old-fashioned hobbies.

A toolkit for polynomial IOPs (PIOPs)

A curated list of awesome self-hosted GitHub Action runners in a large comparison matrix

Interactive Terraform visualization. State and configuration explorer.

Visualizes your Terraform

Kubernetes controller for GitHub Actions self-hosted runners

Prototype of PostgreSQL extension bringing some properties of blockchain to the relational DBMS