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,588 4,370 Updated Apr 27, 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.

92,863 8,934 Updated Apr 20, 2026

Fast, accurate & comprehensive text measurement & layout

TypeScript 45,477 2,507 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,067 3,771 Updated Apr 8, 2026

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

1,268 156 Updated Apr 26, 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,407 172 Updated Apr 27, 2026

A Spotify player in the terminal with full feature parity

Rust 6,631 346 Updated Apr 10, 2026
TypeScript 10,547 1,991 Updated Apr 27, 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,092 5,516 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 488 Updated Apr 27, 2026

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

Rust 20,686 926 Updated Apr 27, 2026

A curated list of TUI apps and libraries built with Ratatui

1,666 201 Updated Apr 25, 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!)

381 16 Updated Jul 12, 2022

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

Java 182 16 Updated Apr 17, 2026

Neovim AI agent done right

Lua 4,543 231 Updated Mar 24, 2026

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

Rust 7,018 304 Updated Apr 24, 2026

Re-editable LaTeX/ typst graphics for Inkscape

Python 1,072 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,866 1,787 Updated Apr 23, 2026

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

TypeScript 365,176 74,785 Updated Apr 27, 2026
Next