Pinned Loading

1. eyeliner.nvim eyeliner.nvim Public

   👀 Move faster with unique f/F indicators.

   Lua 469 15

2. cloudberry.fyi cloudberry.fyi Public

   The all-in-one course catalog for McGill University

   TypeScript 16 2

3. Beluga-lang/McTT Beluga-lang/McTT Public

   A bottom-up approach to a verified implementation of MLTT

   Coq 16 2

4. gentzen gentzen Public

   WIP: Automated theorem prover for propositional logic

   OCaml 1

5. DDMAL/Neon DDMAL/Neon Public

   A web-based MEI neume editor.

   TypeScript 25 9

6. minimax minimax Public

   Solvers for simple zero-sum games.

   Python 1