Pinned Loading

1. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   My copy of mathlib

2. variational-principle variational-principle Public

   Lean

3. ondim ondim Public archive

   Multitype expansions for easy templating.

   Haskell 7 3

4. org-mode-hs org-mode-hs Public archive

   Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄

   Haskell 24 5

5. ix-cat ix-cat Public

   Generic instances and recursion schemes for the category of indexed types.

   Haskell 1

6. jgm/pandoc jgm/pandoc Public

   Universal markup converter

   Haskell 42.7k 3.8k