Pinned Repositories
Homestuck-POV-Cam
idris2-json-schema
Generate Idris 2 data types from a JSON Schema
idris2-jupyter
A Jupyter Kernel for Idris 2
idris2-python
A Python backed for Idris 2
idris2-table
A table library for Idris 2
idris2-xml
An XML library for Idris 2
Ouroboros
The Ouroboros programming language
python-argparse-utils
A collection of utilities for the Python standard-library argparse module
python-dataclasses-serialization
Serialize/deserialize Python dataclasses to various other data formats
Smart-Fruit
A Python schema-based machine learning library
madman-bob's Repositories
madman-bob/Smart-Fruit
A Python schema-based machine learning library
madman-bob/python-dataclasses-serialization
Serialize/deserialize Python dataclasses to various other data formats
madman-bob/idris2-python
A Python backed for Idris 2
madman-bob/idris2-table
A table library for Idris 2
madman-bob/Homestuck-POV-Cam
madman-bob/python-argparse-utils
A collection of utilities for the Python standard-library argparse module
madman-bob/idris2-jupyter
A Jupyter Kernel for Idris 2
madman-bob/Ouroboros
The Ouroboros programming language
madman-bob/idris2-xml
An XML library for Idris 2
madman-bob/idris2-json-schema
Generate Idris 2 data types from a JSON Schema
madman-bob/python-lua-imports
Import Lua modules directly from within Python
madman-bob/advent-of-code-2023
madman-bob/fitbit-reader
Fitbit RSS/Atom feed reader
madman-bob/idris2-jupyter-vega
A Vega display plugin for the Idris 2 Jupyter kernel
madman-bob/python-custom-imports
Tools to hook into Python's import syntax
madman-bob/idris2-odf
An OpenDocument Format (ODF) library for Idris 2
madman-bob/python-parse-2d
Python tools for parsing two-dimensional programming languages
madman-bob/talks
madman-bob/python-order-maintenance
madman-bob/config
My config files
madman-bob/idris-frex
madman-bob/Idris2
A purely functional programming language with first class types
madman-bob/katla
madman-bob/personal-academic-website
The personal academic website for Robert Wright
madman-bob/python-more-properties
A collection of property variants
madman-bob/semantic-reflection
Reinterpreting Idris syntax in multiple contexts