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
notes on setup and configuration of various things
Lists of open problems in universal algebra and related areas
open notebook
Journal Article: Expansions of Finite Algebras and Their Congruence Lattices
Notes on a problem of Peter Palfy and Jan Saxl
Experimental parallel programs in Scala and Java
Snippets and programs from the Parallel Programming lectures.
Introduction to programming language theory in Agda
Scala programs from Odersky's lectures
Setup script for Functional Programming in Scala Course.
Files associated with programming language course
Reference manual for the Lean theorem prover
trying out readthedocs example project
sage worksheets and python scripts for universal algebra and lattice theory research
Source code for Scala with Cats
A Scala sound synthesis library based on SuperCollider. Mirror of https://git.iem.at/sciss/ScalaCollider
[Scala] for [L]attice theory and [U]niversal [A]lgebra
Example code to accompany shapeless-guide.
A free book: "The Science of Functional Programming"
The book's repo
Statistical Computing in C
Slides from some presentations given by W. DeMeo
Notes and Exercises from the book "Type-Driven Development with Idris"
GitPitch Markdown Presentation Templates
slides associated with paper at https://github.com/UniversalAlgebra/term-conditions
Theorem proving in Lean