Projects

• Type-Aware Code Completion for Coq in VsCoq2 https://github.com/Jakobis/vscoqComparison/blob/main/Expanding_Coq_with_Type_Aware_Code_Completion.pdf
• Kat CLIhttps://github.com/Duckapple/Kat
• Untitled Tile Game (Azul) https://tile-game.simon-green.dev/
• Color Pickerhttps://color-picker.simon-green.dev
• PipeLanghttps://github.com/jolnsigkitu - an MVP transpiled programming language with Signals and inference
• Danmarkskort: An interactive map of Denmark with navigation
• Meme Game
• Keyboard