Pinned Loading

1. polytype-rspolytype-rsPublic

   A Hindley-Milner polymorphic typing system

   Rust 61 8

2. program-inductionprogram-inductionPublic

   A library for program induction and learning representations.

   Rust 32 8

3. ghmarkdownghmarkdownPublic

   The complete command-line tool for GitHub-flavored markdown

   Python 33 6

4. ellisk42/ecellisk42/ecPublic

   Slash 554 164

5. new-mentat/argennew-mentat/argenPublic

   Generate argument parsing logic in C from a simple config

   Rust 14

6. configconfigPublic

   my dev machine configuration (with vim, zellij, xmonad, git, etc)

   Shell 3