Lists (1)
Stars
GPU-accelerated terminal emulator for Linux console (TTY) — no X11/Wayland required
Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX sourceの日本語版
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
Display images in terminal Emacs (emacs -nw) via the Kitty graphics protocol.
Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
Vite plugin that reimplements the Next.js API surface — deploy anywhere
A data-driven rendering library for Clojure(Script) that renders hiccup to DOM or to strings.
Unofficial High-Performance Vue.js Toolchain in Rust
Javascript library for running real-time AI Upscaling in the browser
View your Neovim configuration insights, history, and heatmaps.
Library providing printf-style formatted output routines with tex-like syntax support.
Lean formalization of selected lemmas from "Term Rewriting and All That"
⚡ High-performance job queue for Bun. SQLite persistence, DLQ, cron jobs, S3 backups. Built for AI agents and automation
Docker configuration for running VLLM on dual DGX Sparks
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
Remotion + VOICEVOX動画テンプレート（ずんだもん＆めたん掛け合い動画）
A fast native Rust Mermaid diagram renderer. No browser required. 500-1000x faster than mermaid-cli.