madman-bob

Smart-Fruit. A Python schema-based machine learning library

idris2-python. A Python backed for Idris 2

python-dataclasses-serialization. Serialize/deserialize Python dataclasses to various other data formats

idris2-table. A table library for Idris 2

Ouroboros. The Ouroboros programming language

Homestuck-POV-Cam. JavaScript

python-argparse-utils. A collection of utilities for the Python standard-library argparse module

idris2-jupyter. A Jupyter Kernel for Idris 2

idris2-xml. An XML library for Idris 2

python-lua-imports. Import Lua modules directly from within Python

idris2-json-schema. Generate Idris 2 data types from a JSON Schema

idris2-odf. An OpenDocument Format (ODF) library for Idris 2

python-custom-imports. Tools to hook into Python's import syntax

idris2-jupyter-vega. A Vega display plugin for the Idris 2 Jupyter kernel

semantic-reflection. Reinterpreting Idris syntax in multiple contexts

fitbit-reader. Fitbit RSS/Atom feed reader

advent-of-code-2023. Idris

python-parse-2d. Python tools for parsing two-dimensional programming languages

talks. Jupyter Notebook