Bringing the Helix editor to the evil side

An Emacs framework for the stubborn martian hacker

A new type of shell

Jupyter notebooks in the terminal

The CompCert formally-verified C compiler

A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

Sync org notes to Anki via AnkiConnect

Linux Kernel for Surface Devices

Pluggable type-checking for Java

Browser extension to enable vim mode in the embedded IDE used in Code Expert.