Skip to content
View Zeta611's full-sized avatar
🎉
Enjoying life
🎉
Enjoying life

Highlights

  • Pro

Organizations

@ocaml @ropas @KoreanTUG @SNUECE

Block or report Zeta611

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

🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

Python 23,605 4,379 Updated Apr 28, 2026

🛝🤖 Fun with the CEK machine (and more?)

TypeScript 7 Updated Apr 23, 2026

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

94,955 9,190 Updated Apr 20, 2026

Fast, accurate & comprehensive text measurement & layout

TypeScript 45,571 2,517 Updated Apr 22, 2026

A lightweight engine for generating partial Observable Plot programs from SVG subtrees.

TypeScript 79 Updated Apr 26, 2026

A modern computer algebra library for Python and Rust.

Rust 760 44 Updated Apr 23, 2026

Runnable ClaudeCode source code

TypeScript 3,068 3,772 Updated Apr 8, 2026

대한민국 법령을 Git 저장소로 관리합니다. 각 법령은 Markdown 파일이고, 각 개정은 실제 공포일자를 가진 Git commit입니다.

1,275 157 Updated Apr 27, 2026

The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.

OCaml 150 7 Updated Jan 4, 2026

Vite+ is the unified toolchain and entry point for web development. It manages your runtime, package manager, and frontend toolchain in one place.

Rust 4,421 172 Updated Apr 28, 2026

A Spotify player in the terminal with full feature parity

Rust 6,634 346 Updated Apr 10, 2026
TypeScript 10,574 1,998 Updated Apr 28, 2026

A System for Optimized Semantic Computation

Python 214 44 Updated Apr 23, 2026

Web UI for training and running open models like Gemma 4, Qwen3.6, DeepSeek, gpt-oss locally.

Python 63,144 5,527 Updated Apr 27, 2026

A formalization of Shannon's seminal 1948 paper defining entropy.

Lean 9 3 Updated Mar 2, 2026

Fast, Declarative, Reproducible, and Composable Developer Environments using Nix

Rust 6,717 489 Updated Apr 27, 2026

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

Rust 20,693 928 Updated Apr 28, 2026

A curated list of TUI apps and libraries built with Ratatui

1,669 200 Updated Apr 27, 2026

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

OCaml 355 93 Updated Feb 18, 2026

CRDT Tutorial for Beginners (a digestible explanation with less math!)

382 16 Updated Jul 12, 2022

한컴파일을 LibreOffice에서 읽을 수 있도록 하는 extension입니다.

Java 183 16 Updated Apr 17, 2026

Neovim AI agent done right

Lua 4,547 233 Updated Mar 24, 2026

A minimal, secure Python interpreter written in Rust for use by AI

Rust 7,026 304 Updated Apr 27, 2026

Re-editable LaTeX/ typst graphics for Inkscape

Python 1,073 48 Updated Jan 6, 2026

⚡ Import c, rust, zig etc. files in your TypeScript code and more.

TypeScript 835 13 Updated Nov 8, 2023

Run OpenClaw, (formerly Moltbot, formerly Clawdbot) on Cloudflare Workers

TypeScript 9,870 1,786 Updated Apr 23, 2026

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TypeScript 365,473 74,889 Updated Apr 28, 2026
Next