Name: William DeMeo
Type: User
Company: IO @input-output-hk
Bio: I'm into formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Scala and Spark.
Location: Boulder, CO, USA
Blog: williamdemeo.org
William DeMeo's Projects
c code optimization practice
A Java Class for experimenting with compositions of UACalc BasicPartition objects.
Template for the Read the Docs tutorial
Sample code from "Type Driven Development with Idris"
Resources for type theory, functional programming, etc.
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
DEPRECATED. See the UACalc/UACalc repo:
Scripts that use UACalc Java libraries
The Universal Algebra Calculator
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
UH Circle on the Mathematical Foundations of Computing
Formalization of some universal algebra in Agda
Formalization of Universal Algebra by Miguel Pagano, Emmanuel Gunther and Alejandro Gadea
Java programs for universal algebra research
miscellaneous utility scripts and files
OLD personal and professional website (find my new site at williamdemeo.gitlab.io)