Stars
Extremely fast Query Engine for DataFrames, written in Rust
An experimental proof assistant based on a type theory for synthetic ∞-categories.
My mathematical Zettelkasten, created using forester. Moved to sourcehut.
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
Brew your own Stacks Project with Jekyll!
Template to effortlessly build math-rich websites
The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.
A modern commutative diagram editor for the web.
A statically-typed, functional typesetting system
Allows you to bind commands to key sequences in Mozilla Firefox
Lightweight automation and productivity app for OS X
Automatic tiling window manager for macOS à la xmonad.
Vimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a compl…
Another version of ProofGeneral character, じぇねらるたん
Emacs incremental completion and selection narrowing framework
Recipes and build machinery for the biggest Emacs package repo
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OCaml function and you can develop a twitter program interacti…