Taking the infinite monkey theorem approach to formalizing things in Isabelle/HOL. Pretends to know things about politics. (she/her)
Port of @IvanMathy's Boop to GTK, a scriptable scratchpad for developers.
Rust - Released: 24 Jun 2020 - 238
Search through over 1000 different LaTeX symbols by sketching. A desktop version of detexify.
C# - Released: 03 Sep 2020 - 151
Port of detexify to rust.
Rust - Released: 01 Sep 2020 - 2