maxsnew/synthetic-domain-theory maxsnew/synthetic-domain-theory

  • Stars
    star
    14
  • Rank 1,410,617 (Top 29 %)
  • Language Agda
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maxsnew/synthetic-domain-theory
github

maxsnew

Reviews

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

Repository Details

Experiment with synthetic domain theory in cubical agda

More 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

virtual-equipments

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

IO

IO for Elm
Elm
29
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

grammars-and-semantic-actions

Monoidal Toposes of Grammars and Semantic Actions
TeX
10
star
9

cubical-cbpv

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

maxsnew.github.io

My personal website.
JavaScript
4
star
11

aoc-zydeco

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

cbpv

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

BigInt

Arbitrary-sized Integers in Elm
Elm
2
star
14

Generic

Record Types for Generic Programming in Elm
Elm
2
star
15

Scramble

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

delim-cont-toys

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

wedding-website

CSS
1
star
18

advent-of-cbpv

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