Pinned Loading

1. pointwise-birkhoff pointwise-birkhoff Public

   A proof of Pointwise Birkhoff Ergodic Theorem in Lean

   Lean 3 2

2. eglot-semtok eglot-semtok Public

   port of lsp-mode semantic tokens to Eglot

   Emacs Lisp 2 1

3. lean-ts-mode lean-ts-mode Public

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

   C 1

4. ix-cat ix-cat Public

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

   Haskell

5. org-mode-hs org-mode-hs Public archive

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

   Haskell 24 5

6. organon organon Public archive

   📖 view and generate static websites from your Org files (WIP).

   Haskell 20 1