Jeremy-Stafford

Pinned Repositories

Idris2
A purely functional programming language with first class types
Language:Idris2.5k 65 1.2k373
datacli
A library for building simple command line interfaces from dataclasses.
Language:Python6 1 42
jeremy-stafford.github.io
00
pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
Language:Python0 0 00
logos
Create ridiculously fast Lexers
Language:Rust2.8k 20 247112
pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
Language:Python1.1k 11 323145

Jeremy-Stafford's Repositories

Jeremy-Stafford/datacli
A library for building simple command line interfaces from dataclasses.
Language:Python6 1 42
Jeremy-Stafford/jeremy-stafford.github.io
00
Jeremy-Stafford/pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
Language:Python0 0 00