maxsnew/cubical-categorical-logic

Stars
16
Rank 1,286,520 (Top 26 %)
Language Agda
License
MIT License
Created over 1 year ago
Updated 16 days ago

maxsnew/cubical-categorical-logic

maxsnew

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

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

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

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

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