Pinned Loading

1. pdf2m4b pdf2m4b Public

   Converts PDFs to audiobooks with embedded section info

   Python 4

2. aleloi.github.io aleloi.github.io Public

   OpenEdge ABL

3. ast-classification ast-classification Public

   A ML classification task where input is simplified AST representations of python programs

   Python

4. coq-friendship-theorem coq-friendship-theorem Public

   Proof of the Frendship Theorem in Coq

   Coq

5. english2bash english2bash Public

   English to bash with ChatGPT

   Python