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.
Name | Description | Lang | Status |
---|---|---|---|
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.
Name | Description | Lang | Status |
---|---|---|---|
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.
Name | Description | Lang | Status |
---|---|---|---|
Panorama | Mail client. | rust | incomplete |
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.
Name | Description | Lang | Status |
---|---|---|---|
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.
Name | Description | Lang | Status |
---|---|---|---|
EasyCTF IV Platform | CTF platform for EasyCTF. | python | graveyarded |