maxsnew/virtual-equipments

Stars
29
Rank 860,307 (Top 17 %)
Language
TeX
Created over 6 years ago
Updated over 1 year ago

maxsnew/virtual-equipments

maxsnew

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

modal-scheme

A Scheme-like CBPV language with Racket Interoperability

cargo-dot

Generate graphs of a Cargo project's dependencies

IO

cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory

lazy

Lazy Evaluation in Elm

grammars-and-semantic-actions

Monoidal Toposes of Grammars and Semantic Actions

hakyll-elm

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

synthetic-domain-theory

Experiment with synthetic domain theory in cubical agda

cubical-cbpv

A Formalization of Internal CBPV Models in Cubical Agda

maxsnew.github.io

My personal website.

aoc-zydeco

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

cbpv

Implementation of Call-by-push-value in Racket

BigInt

Arbitrary-sized Integers in Elm

Generic

Record Types for Generic Programming in Elm

Scramble

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

delim-cont-toys

Haskell, Redex Models of (Delimited) Continuations

wedding-website

advent-of-cbpv

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