Pinned

1. monadic-bang monadic-bang Public

   GHC plugin to desugar ! into do-notation

   Haskell 36 3

2. ChatGPT-for-bash ChatGPT-for-bash Public

   Using ChatGPT to convert natural language descriptions into bash commands

   Shell 4

3. The paths of homotopy type theory vi... The paths of homotopy type theory visualized

   1

   # Path Visualization

   2

   3

   As example, we're using the proof that there's a path between `homotopy1` and `homotopy2` from [Exercise 4](https://github.com/martinescardo/HoTTEST-Summer-School/blob/main/Agda/HITs/Exercises4.lagda.md).

   4

   5

   Instead of looking at a circle, let's look at a general path $p$ between some points $x, y : A$, just because it makes it less confusing to visualize. We'll come back to using the circle later on.

4. vulkan-molecules vulkan-molecules Public

   A molular dynamics simulation implemented in Haskell + Vulkan

   Jupyter Notebook