| Ip address tracker for links | |
| Consultancy for model generation using D3JS | |
| Tool using NLTK to analyze code | give users intel about what their program does via keywords |
| Modal task management tool | Possibly just configuring my emacs |
| QR code generator (static site) | |
| Timezone deconflicting | Use to schedule international meetings |
| Video streaming (download MP2T streams) | use ffmpeg? |
| Game in which you can modify the interpreter | |
| RPG Game (Roguelike, Multiplayer) | https://bfnightly.bracketproductions.com/chapter_2.html |
| Update miniKanren to support quine and function synthesis | See email thread with Will and Jason |
| Step-wise function substitution for recursive functions | Use for y-combinator derivation, delay in miniKanren, see https://www.microsoft.com/en-us/research/wp-content/uploads/2002/07/inline.pdf |
| Types with nix | |
| Creating live wallpaper on android | |
| Cp4 book | |
| Type level miniKanren in Haskell | |
| Learn how to generate diagrams and wireframes with d3.js | |
| Exercise heatmap as a static site | |
| Finish deriving y-combinator | |
| Visualize graph algorithms | Provide ability to visualize worst, average and best case scenarios |
| Contribute to GHC | |
| Nature of code | https://natureofcode.com/book/chapter-8-fractals/ |
| Cron job for posting AI powered recommendation feed to my telegram channel + news feed | |
| |
