Popular repositories Loading

1. dotfiles dotfiles Public

   Collection of my custom vim themes and snippets

   Vim Snippet 23 1

2. InfinitePrimes InfinitePrimes Public

   A proof of the infinitude of primes in Lean 4 from first principles

   Lean 7

3. Synthesis Synthesis Public

   A script providing map, filter, reduce and other higher order functions for zsh.

   Shell 1

4. esiv esiv Public

   Sieve of Eratosthenes in Lean for performance testing

   Lean 1

5. ultisnips ultisnips Public

   Forked from SirVer/ultisnips

   UltiSnips - The ultimate snippet solution for Vim. Send pull requests to SirVer/ultisnips!

   Python

6. ykonstant1.github.io ykonstant1.github.io Public

   Test webpage

   HTML