William DeMeo's repositories
ds644-spring2023
DS644: Introduction to Big Data at NJIT
agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
agda-categories
A new Categories library for Agda
agda-prelude
Programming library for Agda
agda-stdlib
The Agda standard library
agdaLatex
import of Agda code into Latex directly from agda files
autograder_samples
Examples of autograders for running on Gradescope
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cats
Lightweight, modular, and extensible library for functional programming.
cats-effect
The pure asynchronous runtime for Scala
config_wjd
various configuration files for my (ubuntu, nix, mac) machines
dinocpu
A teaching-focused RISC-V CPU design used at UC Davis
doomemacs
An Emacs framework for the stubborn martian hacker
formal-prelude
Simple extension of Agda's standard library for personal use.
git4
Docs for Git in 4 weeks course
lamr
Logic and Mechanized Reasoning
lean4
Lean 4 programming language and theorem prover
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
ohmyzsh
🙃 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.
plfa.github.io
Introduction to programming language theory in Agda
scala-with-cats
Source code for Scala with Cats