maxsnew/cubical-cbpv

Stars
8
Rank 2,099,232 (Top 42 %)
Language Agda
License
MIT License
Created about 2 years ago
Updated about 2 years ago

maxsnew/cubical-cbpv

maxsnew

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

A Formalization of Internal CBPV Models in Cubical Agda

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

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

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