Max S. New (@maxsnew)
github

maxsnew

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

modal-scheme

A Scheme-like CBPV language with Racket Interoperability
Racket
39
star
2

cargo-dot

Generate graphs of a Cargo project's dependencies
Rust
37
star
3

IO

IO for Elm
Elm
29
star
4

virtual-equipments

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
TeX
28
star
5

lazy

Lazy Evaluation in Elm
Elm
19
star
6

cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
Agda
16
star
7

hakyll-elm

Hakyll wrapper for the Elm (http://elm-lang.org) compiler
Haskell
14
star
8

synthetic-domain-theory

Experiment with synthetic domain theory in cubical agda
Agda
14
star
9

grammars-and-semantic-actions

Monoidal Toposes of Grammars and Semantic Actions
TeX
10
star
10

cubical-cbpv

A Formalization of Internal CBPV Models in Cubical Agda
Agda
8
star
11

maxsnew.github.io

My personal website.
JavaScript
4
star
12

aoc-zydeco

Advent of Code Solutions written in Zydeco, a Call-by-push-value language
2
star
13

cbpv

Implementation of Call-by-push-value in Racket
Racket
2
star
14

BigInt

Arbitrary-sized Integers in Elm
Elm
2
star
15

Generic

Record Types for Generic Programming in Elm
Elm
2
star
16

Scramble

Word Scramble Game in Elm: Demo at http://maxsnew.github.io/Scramble/
Elm
2
star
17

delim-cont-toys

Haskell, Redex Models of (Delimited) Continuations
Racket
1
star
18

wedding-website

CSS
1
star
19

advent-of-cbpv

Advent of Code Solutions in Fiddle, a Scheme-like language based on Call-by-push-value
Racket
1
star