William DeMeo
@williamdemeo
About
Universal algebraist, complexity theorist, formal methodologist, AI alchemist, functional programmer (Agda, Lean, Scala, Spark).
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
TypeFunc
Resources for type theory, functional programming, etc.
github-project
PythonNo project description available.
formal-ledger-specifications
AgdaFormal specifications of the Cardano ledger
williamdemeo.github.io
HTMLForwards to https://williamdemeo.org — generated, do not edit by hand
agda-stdlib-meta
Meta-programming utilities for Agda.
homesec
Pythonrepository of tools for configuring/running a server for a home video system