CD2H gitForager

William DeMeo

Login: williamdemeo

Company: University of Colorado

Location: Boulder, CO, USA

Bio: null

Blog: williamdemeo.org

Member of

Repositories

agda-fresh: basics
ALH-2018-Hakyll: A Hakyll version of the ALH-2018 website
Aljebra: null
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
BibTexRef: null
bitstarter: null
boulder-gap: some GAP code developed at CU
CIB-Scala: Scala code for finite idempotent algebras research
CourseraCodeSamplesReactiveProgramming: null
coursera-spark-notes: Study notes for "Big Data Analysis with Scala and Spark" on Coursera
cv_wjd: curriculum vitae
Czerny: Java program for testing Czerny Conjecture with UACalc's FreeAlgebra class
DedekindTransposition: A general Dedekind transposition principle for lattices of equivalence realtions
dotfiles_wjd: (re)new dotfiles setup
fcla: "A First Course in Linear Algebra" open source textbook
feature-demo: Demonstrations of markdown presentation features to the GitPitch community.
fin-grp-facts: Miscellaneous facts and data on finite groups
fpinscala: Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
fpinscala_wjd: personal copy of the fpinscala repo
GAP_wjd: A collection of GAP programs and notes
grp-alg-prog: [DEPRECATED see GAP_wjd for latest version] Collection of GAP programs and notes
hakyll_wjd: null
helga_mines: helga miner specs
HoTT: Homotopy type theory
HPL: Hyeyoung's Python Library
ial: Iowa Agda Library
ICMC2002: Mathematical analysis of musical consonance and dissonance
IEProps: Journal Article: "Interval enforceable properties of finite groups"
introduction_to_lean: null
ISMA2004: Nonabelian harmonic analysis and dsp
Isotopy: Journal Article: "Isotopic algebras with nonisomorphic congruence lattices"
Java8InAction: null
latex_wjd: miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.
lazy-universal-algebra: Scala programs for universal algebra research
LEAN_wjd: Notes from my experience learning the Lean Theorem Prover
learning-spark: Example code from Learning Spark book
learn-you-an-agda: DEPRECATED (converted to a single static markdown page)
libwjd: C and C++ utilities and subroutines
linear-algebra-hefferon: Automatically exported from code.google.com/p/linear-algebra
logic-seminar-spring2018: null
Math141Spring2014: Math 141: Calculus I -- USC Sp 2014
Math160-Fall2015: Math 160: Survey of Calculus -- Fall 2015, Iowa State University
Math165-Spring2015: null
Math207-Spring2015: Math 207: Elementary Linear Algebra -- Spring 2015 -- Iowa State University
math2130-spring2018: null
math215-spring2017: Math 215: Applied Calculus I, Spring 2017, UH Manoa
math244-fall2016: Calculus IV, Section 1, Fall 2016, University of Hawaii
Math301-Fall2014: Math 301: Abstract Algebra
Math317-Spring2016: null
math321-fall2016: Introduction to Advanced Math, Fall 2016, University of Hawaii
math480-spring2017: Math 480: Senior Seminar
math6000-spring2018: Model Theory course at CU, Spring 2018
math654-uh-fall2016: Materials from the graduate logic course
Math700Homework: Math 700: Linear Algebra -- USC Sp 2014
Math700Spring2014: Math 700: Linear Algebra -- University of South Carolina -- Spring 2014
mgs-coalgebra_wjd: Notes and resources from Venanzio Capretta's MGS course on Coalgebras and Inifinite Data Structures
MSThesis: Masters Thesis: Approximating eigenvalues of large stochastic matrices
node_chat: A fork of @ry's node_chat sample to add message persistence (via postgres) and heartbeat messages
OpenProblems: Lists of open problems in universal algebra and related areas
Overalgebras: Journal Article: Expansions of Finite Algebras and Their Congruence Lattices
PalfySaxlProblem: Notes on a problem of Peter Palfy and Jan Saxl
Parallel: Experimental parallel programs in Scala and Java
parprog-snippets: Snippets and programs from the Parallel Programming lectures.
progfun-examples: Scala programs from Odersky's lectures
progfun-setup: Setup script for Functional Programming in Scala Course.
ProgLang3: Files associated with programming language course
sage_wjd: sage worksheets and python scripts for universal algebra and lattice theory research
ScalaGrader: null
scalalua: [Scala] for [L]attice theory and [U]niversal [A]lgebra
spark-in-action_wjd: The book's repo
statcomp: Statistical Computing in C
Talks: Slides from some presentations given by W. DeMeo
tdd-idris_wjd: Notes and Exercises from the book "Type-Driven Development with Idris"
templates: GitPitch Markdown Presentation Templates
term-conditions-slides: slides associated with paper at https://github.com/UniversalAlgebra/term-conditions
test: temp
theorem_proving_in_lean: Theorem proving in Lean
tikz-examples: DEPRECATED (replacement repo: latex_wjd)
tircis_wjd: c code optimization practice
Transpositions: A Java Class for experimenting with compositions of UACalc BasicPartition objects.
TypeDD-Samples: Sample code from "Type Driven Development with Idris"
TypeFunc: Resources for type theory, functional programming, etc.
UACalc_Jython: DEPRECATED. See the UACalc/UACalc repo:
UACalcScripts: Scripts that use UACalc Java libraries
uacalcsrc: The Universal Algebra Calculator
uh-mfc: UH Circle on the Mathematical Foundations of Computing
UniversalAlgebra: Java programs for universal algebra research
utils: miscellaneous utility scripts and files
williamdemeo.github.io: open notebook

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.