Pinned

1. glean Public

   A tiny bitmap font for programming

   137

2. bromberg_sl2 Public

   Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"

   Rust 32 2

3. ankdown Public archive

   Easily make Anki flash cards in markdown

   Python 126 40

4. latrunculorum Public

   Chess bot in python using python-chess

   Python 11 2

5. oughtinc/patchwork Public

   Command-line recursive question-answering with immutable contexts and explicit data store

   Python 17 1

6. lunicode Public

   Make programming in Agda with Neovim less terrible (according to me). Essentially a less-annoying digraphs tool.

   Vim script