maxsnew/cbpv

Stars
2
Language
Racket
Created about 6 years ago
Updated about 6 years ago

maxsnew/cbpv

maxsnew

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

Implementation of Call-by-push-value in Racket

modal-scheme

A Scheme-like CBPV language with Racket Interoperability

cargo-dot

Generate graphs of a Cargo project's dependencies

virtual-equipments

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

IO

lazy

Lazy Evaluation in Elm

cubical-categorical-logic

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

hakyll-elm

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

synthetic-domain-theory

Experiment with synthetic domain theory in cubical agda

grammars-and-semantic-actions

Monoidal Toposes of Grammars and Semantic Actions

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

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