Add projects

content/2024/projects.html

@@ -11,5 +11,9 @@ <h3>Projects</h3>
     <li><b><a href="https://github.com/MangoIV/cabal-audit">cabal-audit</a>:</b> Auditing cabal projects <span class="badge bg-primary">beginner-friendly</span></li>
     <li><b><a href="https://github.com/haskell-hvr/regex-tdfa">regex-tdfa</a>:</b> Adding proper character class algebra</li>
     <li><b><a href="https://keid.haskell-game.dev/">Keid</a>:</b> Desktop rendering engine with game batteries included</li>
+    <li><b><a href="https://ghc-proposals.readthedocs.io/en/latest/proposals/0370-modifiers.html">GHC Syntax for Modifiers</a>:</b> Working on the implementation of the syntax extension</li>
+    <li><b><a href="https://github.com/lortabac/parameters">GHC Implicit Parameters</a>:</b> Working on the proposal, improving the design</li>
+    <li><b><a href="https://errors.haskell.org/">GHC errors documentation</a>:</b> Improvements to documentation <span class="badge bg-primary">beginner-friendly</span></li>
+    <li><b><a href="https://www.lean-lang.org/">Lean</a> Tutorial</b> at Fri 13:30</li>
   </ul>
 </div>