Pinned Loading

1. categorytheorystuff categorytheorystuff Public

   Some worked solutions to the exercises in Leinster - Basic Category Theory.

   TeX 1

2. purescript-concur-core purescript-concur-core Public

   Forked from purescript-concur/purescript-concur-core

   Concur UI library for Purescript. Core framework.

   PureScript 1

3. aoc aoc Public

   Advent of Code 2022, 2023, 2024

   Haskell

4. malm malm Public

   A top down retro RPG game written in Purescript

   PureScript 2

5. malm-maps malm-maps Public

   Map builder for malm

   PureScript

6. rocq-geometry rocq-geometry Public

   Some high school geometry proofs in Rocq prover

   Rocq Prover