William DeMeo (@williamdemeo)
github

williamdemeo

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    318
  • Global Rank 84,929 (Top 3 %)
  • Followers 111
  • Following 46
  • Registered almost 12 years ago
  • Most used languages
    TeX
         63.9 %
    Scala
         8.3 %
    HTML
         8.3 %
    C
         5.6 %
    Idris     2.8 %
    Agda     2.8 %
    Python
         2.8 %
    Lean     2.8 %
    Nix
         2.8 %
  • Location 🇺🇸 United States
  • Country Total Rank 20,623
  • Country Ranking
    Agda     35
    Idris     79
    Lean     82
    TeX
         326
    Nix
         888
    Scala
         1,575

Top repositories

1

TypeFunc

Resources for type theory, functional programming, etc.
221
star
2

Math165-Spring2015

TeX
8
star
3

ds644-spring2023

DS644: Introduction to Big Data at NJIT
TeX
7
star
4

agda-fresh

basics
Agda
5
star
5

math215-spring2017

Math 215: Applied Calculus I, Spring 2017, UH Manoa
TeX
5
star
6

Math700Homework

Math 700: Linear Algebra -- USC Sp 2014
TeX
4
star
7

Math160-Fall2015

Math 160: Survey of Calculus -- Fall 2015, Iowa State University
TeX
3
star
8

lamb-calc-vars

Research on Applying Universal Algebra to Lambda Calculus
TeX
3
star
9

CIB-Scala

Scala code for finite idempotent algebras research
Scala
3
star
10

cs370-spring2022

Introduction to Artificial Intelligence at NJIT
TeX
3
star
11

math3140-fall2018

Abstract Algebra, Fall 2018, University of Colorado, Boulder
TeX
3
star
12

cs370-fall2022

CS 370 (Sec 103). Introduction to Artificial Intelligence. Fall 2022. NJIT.
3
star
13

Math700Spring2014

Math 700: Linear Algebra -- University of South Carolina -- Spring 2014
TeX
3
star
14

LEAN_wjd

Notes from my experience learning the Lean Theorem Prover
Lean
2
star
15

IEProps

Journal Article: "Interval enforceable properties of finite groups"
TeX
2
star
16

math2001-spring2019

Math 2001 at CU Boulder (Spring 2019)
TeX
2
star
17

DedekindTransposition

A general Dedekind transposition principle for lattices of equivalence realtions
TeX
2
star
18

math321-fall2016

Introduction to Advanced Math, Fall 2016, University of Hawaii
TeX
2
star
19

math654-uh-fall2016

Materials from the graduate logic course
TeX
2
star
20

MSThesis

Masters Thesis: Approximating eigenvalues of large stochastic matrices
C
2
star
21

linear-algebra-hefferon

Automatically exported from code.google.com/p/linear-algebra
TeX
2
star
22

Overalgebras

Journal Article: Expansions of Finite Algebras and Their Congruence Lattices
TeX
2
star
23

fin-grp-facts

Miscellaneous facts and data on finite groups
TeX
1
star
24

libwjd

C and C++ utilities and subroutines
C
1
star
25

tdd-idris_wjd

Notes and Exercises from the book "Type-Driven Development with Idris"
Idris
1
star
26

math2130-spring2018

HTML
1
star
27

Talks

Slides from some presentations given by W. DeMeo
TeX
1
star
28

lazy-universal-algebra

Scala programs for universal algebra research
Scala
1
star
29

sage_wjd

sage worksheets and python scripts for universal algebra and lattice theory research
Python
1
star
30

Math207-Spring2015

Math 207: Elementary Linear Algebra -- Spring 2015 -- Iowa State University
HTML
1
star
31

dissertation_wjd

PhD dissertation in universal algebra and lattice theory
TeX
1
star
32

scalalua

[Scala] for [L]attice theory and [U]niversal [A]lgebra
Scala
1
star
33

alt-comm

a note on an alternative description of the commutator
TeX
1
star
34

williamdemeo.github.io

OLD personal and professional website (find my new site at williamdemeo.gitlab.io)
HTML
1
star
35

nixos_wjd

Nix
1
star
36

latex_wjd

miscellaneous latex stuff, like tikz examples, bibtex entries, templates, etc.
TeX
1
star
37

Math317-Spring2016

TeX
1
star
38

PalfySaxlProblem

Notes on a problem of Peter Palfy and Jan Saxl
TeX
1
star