Pinned

1. katydid/katydid Public

   Encoding Agnostic Validation (Validation Language, Parsers and Encoders)

   Go 82 6

2. katydid/katydid-haskell Public

   An Encoding Agnostic Validation Language

   Haskell 5

3. goderive Public

   Derives and generates mundane golang functions that you do not want to maintain yourself

   Go 976 39

4. learning Public

   A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.

   118 21

5. WhatsApp/erlfmt Public

   An automated code formatter for Erlang

   Erlang 328 37

6. katydid/proofs Public

   Proofs written in Coq for the core katydid validation algorithm

   Coq