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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results
TypeScript 719 410 Updated Apr 1, 2026

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

OCaml 149 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 3,856 149 Updated Apr 1, 2026

A Spotify player in the terminal with full feature parity

Rust 6,475 334 Updated Mar 31, 2026
TypeScript 7,910 1,209 Updated Apr 1, 2026

A System for Optimized Semantic Computation

Python 207 39 Updated Mar 31, 2026

Unsloth Studio is a web UI for training and running open models like Qwen, DeepSeek, gpt-oss and Gemma locally.

Python 58,812 4,985 Updated Apr 1, 2026

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

Lean 8 2 Updated Mar 2, 2026

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

Rust 6,613 482 Updated Apr 1, 2026

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

Rust 19,986 890 Updated Apr 1, 2026

A curated list of TUI apps and libraries built with Ratatui

1,588 188 Updated Mar 29, 2026

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

OCaml 355 92 Updated Feb 18, 2026

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

373 16 Updated Jul 12, 2022

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

Java 177 15 Updated Jan 23, 2026

Neovim AI agent done right

Lua 4,479 226 Updated Mar 24, 2026

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

Rust 6,608 270 Updated Apr 1, 2026

Re-editable LaTeX/ typst graphics for Inkscape

Python 1,066 47 Updated Jan 6, 2026

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

TypeScript 837 13 Updated Nov 8, 2023

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

TypeScript 9,777 1,774 Updated Mar 29, 2026

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

TypeScript 344,236 68,227 Updated Apr 1, 2026

a 2D rigid body physics engine for the web ▲● ■

JavaScript 18,125 1,992 Updated Aug 17, 2024

Qwen3-TTS is an open-source series of TTS models developed by the Qwen team at Alibaba Cloud, supporting stable, expressive, and streaming speech generation, free-form voice design, and vivid voice…

Python 10,211 1,294 Updated Mar 17, 2026

Prototype interpreter for "Just a phase" language

Rust 9 Updated Nov 26, 2025

TypeScript-first schema validation with static type inference

TypeScript 42,268 1,881 Updated Feb 15, 2026

Reachy Mini's SDK

Python 1,046 198 Updated Apr 1, 2026

Web framework built on Web Standards

TypeScript 29,691 1,006 Updated Apr 1, 2026
Python 1 Updated Jan 8, 2026

Typed effects API for OxCaml

OCaml 27 1 Updated Mar 30, 2026
Next