Pinned

1. polytype-rs polytype-rs Public

   A Hindley-Milner polymorphic typing system

   Rust 46 8

2. program-induction program-induction Public

   A library for program induction and learning representations.

   Rust 29 7

3. ghmarkdown ghmarkdown Public

   The complete command-line tool for GitHub-flavored markdown

   Python 32 5

4. ellisk42/ec ellisk42/ec Public

   Slash 413 131

5. new-mentat/argen new-mentat/argen Public

   Generate argument parsing logic in C from a simple config

   Rust 15

6. config config Public

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

   Shell 2