Pinned Loading

1. dotnetdll dotnetdll Public

   A Rust library for reading and writing .NET metadata.

   Rust 15 2

2. dotnet-rs dotnet-rs Public

   Rust

3. spotify-data-viewer spotify-data-viewer Public

   TypeScript

4. gkeybind gkeybind Public

   A Linux utility for binding custom behavior to Logitech keyboards.

   Crystal 19

5. MyMICDS/MyMICDS-v2 MyMICDS/MyMICDS-v2 Public

   Back-end REST API for MyMICDS.net

   TypeScript 8 5

6. A basic implementation of the Hindle... A basic implementation of the Hindley-Milner inference algorithm. Engagement for CMSC 22100 final project.

   1

   (*

   2

     exp ::=

   3

       id |

   4

       (exp) |             -- ambiguity

   5

       exp exp |           -- application