Name: William DeMeo
Type: User
Company: IO @input-output-hk
Bio: I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
Location: Boulder, CO, USA
Blog: williamdemeo.org
William DeMeo's Projects
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Public repository for Abstact Algebra Theory and Applications
The official repository for the Rock the JVM Advanced Scala course
Agda formalisation of the Introduction to Homotopy Type Theory
The Agda Universal Algebra Library (html docs available at the url below)
A new Categories library for Agda
basics
Programming library for Agda
The Agda standard library
Formalization of Universal Algebra in Agda
import of Agda code into Latex directly from agda files
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Scala UACalc experiements
a note on an alternative description of the commutator
Slides: Interval enforceable properties of finite groups
repository of most of my articles appearing on arXiv
Examples of autograders for running on Gradescope
An introductory Haskell programming course by Richard Cook
some GAP code developed at CU
The ledger implementation and specifications of the Cardano blockchain.
e-book version of Bartosz Milewski's Category Theory for Programmers
Lightweight, modular, and extensible library for functional programming.
The pure asynchronous runtime for Scala
Scala code for finite idempotent algebras research
various configuration files for my (ubuntu, nix, mac) machines