Pinned Loading

1. zepl zepl Public

   Experimental repl for zig

   Zig 14 1

2. juliagpu juliagpu Public

   Julia fractal rendering on GPU

   C++

3. coq-friendship-theorem coq-friendship-theorem Public

   Proof of the Frendship Theorem in Coq

   Coq

4. pdf2m4b pdf2m4b Public

   Converts PDFs to audiobooks with embedded section info

   Python 7

5. ast-classification ast-classification Public

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

   Python

6. aws_pylambda_sam_builder aws_pylambda_sam_builder Public

   AWS Pylambda SAM builder

   Python