Pinned Loading

1. myscheme myscheme Public

   R5RS Scheme interpreter

   Rust 3

2. textshot textshot Public

   Python tool for grabbing text via screenshot

   Python 1.8k 254

3. undis undis Public

   A key-value store and TCP server

   C++ 2

4. rocqetry/rocqet rocqetry/rocqet Public

   Rocqet proof language

   Rocq Prover 30