William DeMeo

TypeFunc. Resources for type theory, functional programming, etc.

Math165-Spring2015. TeX

ds644-spring2023. DS644: Introduction to Big Data at NJIT

agda-fresh. basics

math215-spring2017. Math 215: Applied Calculus I, Spring 2017, UH Manoa

Math700Homework. Math 700: Linear Algebra -- USC Sp 2014

math3140-fall2018. Abstract Algebra, Fall 2018, University of Colorado, Boulder

Math160-Fall2015. Math 160: Survey of Calculus -- Fall 2015, Iowa State University

lamb-calc-vars. Research on Applying Universal Algebra to Lambda Calculus

cs370-spring2022. Introduction to Artificial Intelligence at NJIT

Math700Spring2014. Math 700: Linear Algebra -- University of South Carolina -- Spring 2014

cs370-fall2022. CS 370 (Sec 103). Introduction to Artificial Intelligence. Fall 2022. NJIT.

CIB-Scala. Scala code for finite idempotent algebras research

Isotopy. Journal Article: "Isotopic algebras with nonisomorphic congruence lattices"

math654-uh-fall2016. Materials from the graduate logic course

math2001-spring2019. Math 2001 at CU Boulder (Spring 2019)

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

LEAN_wjd. Notes from my experience learning the Lean Theorem Prover

linear-algebra-hefferon. Automatically exported from code.google.com/p/linear-algebra

DedekindTransposition. A general Dedekind transposition principle for lattices of equivalence realtions

dissertation_wjd. PhD dissertation in universal algebra and lattice theory

statcomp. Statistical Computing in C

math321-fall2016. Introduction to Advanced Math, Fall 2016, University of Hawaii

Overalgebras. Journal Article: Expansions of Finite Algebras and Their Congruence Lattices

MSThesis. Masters Thesis: Approximating eigenvalues of large stochastic matrices

libwjd. C and C++ utilities and subroutines

IEProps. Journal Article: "Interval enforceable properties of finite groups"

scalalua. [Scala] for [L]attice theory and [U]niversal [A]lgebra

Talks. Slides from some presentations given by W. DeMeo

williamdemeo.github.io. OLD personal and professional website (find my new site at williamdemeo.gitlab.io)

math2130-spring2018. HTML

fin-grp-facts. Miscellaneous facts and data on finite groups

alt-comm. a note on an alternative description of the commutator

lazy-universal-algebra. Scala programs for universal algebra research

Math317-Spring2016. TeX

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

tdd-idris_wjd. Notes and Exercises from the book "Type-Driven Development with Idris"

nixos_wjd. Nix

sage_wjd. sage worksheets and python scripts for universal algebra and lattice theory research

cs241-spring2022. Foundations of Computer Science I at NJIT, Spring 2022