Pinned Repositories
Idris2
A purely functional programming language with first class types
datacli
A library for building simple command line interfaces from dataclasses.
jeremy-stafford.github.io
pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
logos
Create ridiculously fast Lexers
pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
Jeremy-Stafford's Repositories
Jeremy-Stafford/datacli
A library for building simple command line interfaces from dataclasses.
Jeremy-Stafford/jeremy-stafford.github.io
Jeremy-Stafford/pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects