Jeremy's repositories
iteree-parser
An iteree-based parser library in Idris.
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
Language:PythonAGPL-3.0000