williamdemeo Goto Github PK

1lab

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

aata

Public repository for Abstact Algebra Theory and Applications

advanced-scala

The official repository for the Rock the JVM Advanced Scala course

agda

Agda formalisation of the Introduction to Homotopy Type Theory

agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

agda-categories

A new Categories library for Agda

agda-fresh

basics

agda-prelude

Programming library for Agda

agda-stdlib

The Agda standard library

agda-universal-algebra

Formalization of Universal Algebra in Agda

agdalatex

import of Agda code into Latex directly from agda files

aima-python

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

aima-scala

aljebra

aljebrasc

Scala UACalc experiements

alt-comm

a note on an alternative description of the commutator

amslouisville2013-demeo

Slides: Interval enforceable properties of finite groups

arxiv_wjd

repository of most of my articles appearing on arXiv

autograder-scala-chatgpt

autograder_samples

Examples of autograders for running on Gradescope

beginning-practical-haskell

An introductory Haskell programming course by Richard Cook

boulder-gap

some GAP code developed at CU

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

category-theory-for-programmers

e-book version of Bartosz Milewski's Category Theory for Programmers

cats

Lightweight, modular, and extensible library for functional programming.

cats-effect

The pure asynchronous runtime for Scala

cib-scala

Scala code for finite idempotent algebras research

cips

config_wjd

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

coq-library-complexity