William DeMeo

No description provided.

Resources for type theory, functional programming, etc.

Formal specifications of the Cardano ledger

An Emacs framework for the stubborn martian hacker

Foundations of Computer Science I at NJIT, Spring 2022

No description provided.

A new Categories library for Agda

a mobile app speedcoach with audio feedback and graphical workout logging

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

No description provided.

DS644: Introduction to Big Data at NJIT

The user home repository for the Mathematics in Lean tutorial.

Source code for the Mathematics in Lean tutorial.

No description provided.

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

EPIT 2020 - Spring School on Homotopy Type Theory

Statistical Computing in C

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

The Agda standard library

The ledger implementation and specifications of the Cardano blockchain.

STAT 453: Intro to Deep Learning @ UW-Madison (Spring 2021)

🙃 A delightful community-driven (with 2,100+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

various configuration files for my (ubuntu, nix, mac) machines

PhD dissertation in universal algebra and lattice theory

Math 207: Elementary Linear Algebra -- Spring 2015 -- Iowa State University

No description provided.

miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.

Programming library for Agda

markdown version of my cv

No description provided.