madman-bob

Pinned Repositories

Homestuck-POV-Cam
Language:JavaScript8 3 92
idris2-json-schema
Generate Idris 2 data types from a JSON Schema
Language:Idris4 1 00
idris2-jupyter
A Jupyter Kernel for Idris 2
Language:Idris7 1 12
idris2-python
A Python backed for Idris 2
Language:Idris19 1 14
idris2-table
A table library for Idris 2
Language:Idris13 2 03
idris2-xml
An XML library for Idris 2
Language:Idris5 1 10
Ouroboros
The Ouroboros programming language
Language:Python6 3 00
python-argparse-utils
A collection of utilities for the Python standard-library argparse module
Language:Python8 3 20
python-dataclasses-serialization
Serialize/deserialize Python dataclasses to various other data formats
Language:Python25 3 1311
Smart-Fruit
A Python schema-based machine learning library
Language:Python74 4 04

madman-bob's Repositories

madman-bob/Smart-Fruit
A Python schema-based machine learning library
Language:Python74 4 04
madman-bob/python-dataclasses-serialization
Serialize/deserialize Python dataclasses to various other data formats
Language:Python25 3 1311
madman-bob/idris2-python
A Python backed for Idris 2
Language:Idris19 1 14
madman-bob/idris2-table
A table library for Idris 2
Language:Idris13 2 03
madman-bob/Homestuck-POV-Cam
Language:JavaScript8 3 92
madman-bob/python-argparse-utils
A collection of utilities for the Python standard-library argparse module
Language:Python8 3 20
madman-bob/idris2-jupyter
A Jupyter Kernel for Idris 2
Language:Idris7 1 12
madman-bob/Ouroboros
The Ouroboros programming language
Language:Python6 3 00
madman-bob/idris2-xml
An XML library for Idris 2
Language:Idris5 1 10
madman-bob/idris2-json-schema
Generate Idris 2 data types from a JSON Schema
Language:Idris4 1 00
madman-bob/python-lua-imports
Import Lua modules directly from within Python
Language:Python4 1 0
madman-bob/advent-of-code-2023
Language:Idris2
madman-bob/fitbit-reader
Fitbit RSS/Atom feed reader
Language:JavaScript2 1 2
madman-bob/idris2-jupyter-vega
A Vega display plugin for the Idris 2 Jupyter kernel
Language:Idris2 1 02
madman-bob/python-custom-imports
Tools to hook into Python's import syntax
Language:Python2 1 1
madman-bob/idris2-odf
An OpenDocument Format (ODF) library for Idris 2
Language:Idris1 1 01
madman-bob/python-parse-2d
Python tools for parsing two-dimensional programming languages
Language:Python1 1 11
madman-bob/talks
Language:Jupyter Notebook1 1 0
madman-bob/python-order-maintenance
Language:Python0 0 21
madman-bob/config
My config files
Language:Shell0 0
madman-bob/idris-frex
Language:Idris0 0
madman-bob/Idris2
A purely functional programming language with first class types
Language:Idris0 0
madman-bob/katla
Language:Idris0 0
madman-bob/personal-academic-website
The personal academic website for Robert Wright
Language:Makefile1 0
madman-bob/python-more-properties
A collection of property variants
Language:Python1 11
madman-bob/semantic-reflection
Reinterpreting Idris syntax in multiple contexts
Language:Idris1 0