Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A platform for exploring floating-point expressions.

Web browser engineering (a book)

Python 3.9 to JavaScript compiler - Lean, fast, open!

egg is a flexible, high-performance e-graph library

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

a little place for your deployments

A framework for formally verifying distributed systems implementations in Coq

Emacs extension for typographical editing

It's Magit! A Git Porcelain inside Emacs.

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Optimize floating-point expressions for accuracy

bottle.py is a fast and simple micro-framework for python web-applications.