-
UC San Diego
- cao.sh
Stars
Analyze experimental data with Programming by Navigation
A notetaking system like Roam using Emacs Org-mode
Comptime interface generation modeled after vtable design found in the stdlib.
A direct manipulation programming environment for interactive cartography on the web.
A Git-compatible VCS that is both simple and powerful
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust library and CLI tool for OCR (extracting text from images)
A programming language that's wise beyond its bytes!🌱🌿🪴
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
A fully compliant RISC-V computer made inside the game Terraria
Visualize Your Ideas With Code
A programmatic animation library that interfaces with Blender 3.0
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…
The online book Critically Conscious Computing: Methods for Secondary Education
A Logseq theme inspired by macOS and iA Writer.
A plugin for Obsidian that helps you write and edit novels, screenplays, and other long projects.
A Gantt Chart (Calendar) for Org Mode
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Tool for live presentations using manim
A sudoku game where you have to prove that your deductions are valid