Pinned Loading

1. ondim ondim Public

   Multitype expansions for easy templating

   Haskell 7 3

2. pointwise-birkhoff pointwise-birkhoff Public

   A proof of Pointwise Birkhoff Ergodic Theorem in Lean

   Lean 3 2

3. eglot-semtok eglot-semtok Public

   port of lsp-mode semantic tokens to Eglot

   Emacs Lisp 1

4. lean-ts-mode lean-ts-mode Public

   A major-mode for Lean 4 based on tree-sitter

   Emacs Lisp

5. tree-sitter-lean tree-sitter-lean Public

   A tree-sitter grammar for the Lean language

   JavaScript

6. org-mode-hs org-mode-hs Public

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

   Haskell 24 5