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
Study notes for "Big Data Analysis with Scala and Spark" on Coursera
Foundations of Computer Science I at NJIT, Spring 2022
CS 370 (Sec 103). Introduction to Artificial Intelligence. Fall 2022. NJIT.
Introduction to Artificial Intelligence at NJIT
Scala sample code for Bartosz Milewski's CT for Programmers
Java program for testing Czerny Conjecture with UACalc's FreeAlgebra class
A general Dedekind transposition principle for lattices of equivalence realtions
A teaching-focused RISC-V CPU design used at UC Davis
The version of DINO CPU for the labs for ECS154B SQ 2020
PhD dissertation in universal algebra and lattice theory
An Emacs framework for the stubborn martian hacker
(re)new dotfiles setup
An example sbt project that compiles using Dotty
DS644: Introduction to Big Data at NJIT
EPIT 2020 - Spring School on Homotopy Type Theory
"A First Course in Linear Algebra" open source textbook
Demonstrations of markdown presentation features to the GitPitch community.
Miscellaneous facts and data on finite groups
Simple extension of Agda's standard library for personal use.
Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
personal copy of the fpinscala repo
A collection of GAP programs and notes
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Docs for Git in 4 weeks course
[DEPRECATED see GAP_wjd for latest version] Collection of GAP programs and notes