Pinned Loading

1. bloomberg/crane bloomberg/crane Public

   A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

   C++ 138 6

2. kip-dili/kip kip-dili/kip Public

   A programming language in Turkish where grammatical case and mood are part of the type system.

   Haskell 867 19

3. bloomberg/game-trees bloomberg/game-trees Public

   Functions and proofs about game trees in Rocq, implemented as rose trees.

   Rocq Prover 16 1

4. proof-tree-builder/proof-tree-builder.github.io proof-tree-builder/proof-tree-builder.github.io Public

   A web-based graphical proof assistant for LK and Hoare logic.

   JavaScript 41 3

5. latex-unicoder.vim latex-unicoder.vim Public

   A plugin to type Unicode chars in Vim, using their LaTeX names.

   Vim Script 91 14

6. dilim dilim Public

   A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.

   Rust 17