This is a curated list of projects I do outside of work for fun. Find the full list on my Gitea profile.
Projects that have a large research component compared to software development.
|Ag Test||A small toy attribute grammar.||python||incomplete|
|Coq-SSH||Attempt at formally verifying SSH protocol through Coq.||coq, ocaml||incomplete|
|Enterprise||Statically-compiled interactive programs like Svelte.||rust||prototype|
Software development projects used to gain more experience with a particular set of existing technologies.
|rsld||A parallel rust linker.||rust||incomplete|
|asciinema||Reimplementation of the terminal recorder asciinema.||rust||mvp|
Software that I developed to solve a very specific problem or to make something useful for myself.
|Leanshot||Linux screen capture tool.||rust||works|
|Garbage||CLI interface to the FreeDesktop Trash Can API.||rust||works|
|Markout||Extracts code blocks for a particular language out of Markdown.||rust||works|
Projects that I did for fun or don't really fit in one of the categories above.
|Cryptopals||My solutions to the cryptopals solution, for learning Common Lisp||common-lisp||incomplete|
Software I wrote in the past and won't be updating.
|EasyCTF IV Platform||CTF platform for EasyCTF.||python||graveyarded|