Pinned Loading

1. concrete-math concrete-math Public

   Formally verified proof checker for Metamath.

   Isabelle 3

2. leansec leansec Public

   Total parser combinators library for Lean4

   Lean 9 1

3. org-typst-preview.el org-typst-preview.el Public

   Preview Typst code blocks in org-mode (not necessarily) buffers.

   Emacs Lisp 81 8

4. prefix-dev/rattler-build prefix-dev/rattler-build Public

   rattler-build is a universal Conda package builder for Windows, macOS and Linux (like conda-build but faster)

   Rust 335 103

5. pu-mode.el pu-mode.el Public

   toki pona dictionary lookup using eldoc

   Emacs Lisp