Max S. New

icon indicating a website link maxsnew.github.io

icon company University of Michigan CSE icon location Ann Arbor, MI

Results 7 repositories owned by Max S. New

cargo-dot

37
Stars
7
Forks
Watchers

Generate graphs of a Cargo project's dependencies

verified publisher icon maxsnew

IO

29
Stars
26
Forks
Watchers

IO for Elm

verified publisher icon maxsnew

lazy

19
Stars
13
Forks
Watchers

Lazy Evaluation in Elm

verified publisher icon maxsnew

modal-scheme

38
Stars
1
Forks
Watchers

A Scheme-like CBPV language with Racket Interoperability

verified publisher icon maxsnew

synthetic-domain-theory

15
Stars
0
Forks
Watchers

Experiment with synthetic domain theory in cubical agda

verified publisher icon maxsnew

virtual-equipments

27
Stars
0
Forks
Watchers

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory

verified publisher icon maxsnew

multi-poly-cats

15
Stars
4
Forks
Watchers

Multicategories (someday Polycategories?) in Cubical Agda

verified publisher icon maxsnew