Pinned Loading

1. lean-ts-mode lean-ts-mode Public

   A major-mode for Lean 4 based on tree-sitter. (not ready for use)

   C 1

2. ix-cat ix-cat Public

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

   Haskell

3. org-mode-hs org-mode-hs Public archive

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

   Haskell 24 5

4. ondim ondim Public archive

   Multitype expansions for easy templating.

   Haskell 7 3

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   My copy of mathlib

6. baremacs baremacs Public

   My bare Emacs config. No frameworks :)

   Emacs Lisp