Jeremy-Stafford

Jeremy's repositories

A library for building simple command line interfaces from dataclasses.

Language:PythonMIT5 1 4

An iteree-based parser library in Idris.

Language:Idris1 10

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects

Language:PythonAGPL-3.0000