Lists (5)
Starred repositories
A reactive editor for algorithms and ASCII art. Recho Notebook introduces a plain code format for notebooks, echoing outputs inline for in-situ coding with instant feedback, built on Observable Not…
Hierarchical Reasoning Model Official Release
⚡️⚡️⚡️ Self-hosted collaborative bookmark manager to collect, read, annotate, and fully preserve what matters, all in one place.
Capturing beautiful moments in life, documenting daily warmth and emotions through my lens.
A powerful macOS security monitoring application that detects unauthorized access attempts and records video evidence for you.
A lightweight point-based visualization tool used for inspecting Gaussian data, designing camera motion, and exporting setups for external Gaussian renderers.
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).
Optimized implementation for color-icon-matrix barcodes
⭐This is a lightweight kit for generating astrolabes for Zi Wei Dou Shu (The Purple Star Astrology), an ancient Chinese astrology. It allows you to obtain your horoscope and personality analysis. 支…
Generation of S-expression conversion functions from type definitions
A library for building dynamic webapps, using Js_of_ocaml
AI-powered web scraper for harvesting and analyzing Computing Research Association job listings.
A quick and secure reverse tunnel based on QUIC. Written in Rust, an alternative to frp and ngrok.
Purr Data - Jonathan Wilkes' cross-platform Pd-l2ork version
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Use your MacBook's notch like Dynamic Island for temporary storing files and AirDrop
Lang-n-Prove: A Proof Language for Language Proofs
a high efficiency Chinese/English input method on playdate
🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows