Popular repositories Loading

1. OneNote-Live-Latex-Math-Mode OneNote-Live-Latex-Math-Mode Public

   This creates an Live Math Mode in OneNote for typing in mathematical equations with standard Latex Math syntax.

   AutoHotkey 4

2. Rocq-Tail-Recursion-Detection Rocq-Tail-Recursion-Detection Public

   A small set of functions and programs to check if a function is fully tail-recursive.

   Rocq Prover 1 1

3. AutoHotKeyScripts AutoHotKeyScripts Public

   A collection of all my Autohotkey Scripts.

   AutoHotkey

4. ninjastorms ninjastorms Public

   Forked from ninjastorms/ninjastorms

   RealTime Operating System(ish) environment for Mindstorms EV3

   C

5. lf lf Public

   Forked from gokcehan/lf

   Terminal file manager

   Go

6. polybar-pulseaudio-control polybar-pulseaudio-control Public

   Forked from marioortizmanero/polybar-pulseaudio-control

   A feature-full Polybar module to control PulseAudio

   Shell