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 |