A prototype framework for automated theory construction in Lean 4.

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の日本語版

Python and Julia in harmony.

An Emacs development environment for Julia

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.

Playwright for terminal user interfaces

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

The Lean Computer Science Library (CSLib)

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

Official Datastar Clojure SDK.

A data-driven rendering library for Clojure(Script) that renders hiccup to DOM or to strings.

Nostr public chat client

Unofficial High-Performance Vue.js Toolchain in Rust

Javascript library for running real-time AI Upscaling in the browser

flake for acl2-full and cachix

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.

Open Source Research Claw