Stars
Tool for data extraction and interacting with Lean programmatically.
The Python toolkit for computing with string diagrams.
kupfer, smart, quick launcher. `master' is kupfer's release branch.
Spotify song downloader without injecting into the windows client
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
Opycleid - A Python package for transformational music theory
Libraries and command-line tools for metrical analysis of epic Greek hexameter
Distributions of Agda executable compiled into WebAssembly.
Python library for automatic analysis of Ancient Greek hexameter. The algorithm uses linguistic rules and finite-state technology.
A project that packages Agda as a Python package.
Efficient parsing algorithms for Parallel Multiple Context-Free Grammars, written in Python