maxsnew/cargo-dot

This repository has been archived on 13/Dec/2022
Stars
37
Rank 706,703 (Top 15 %)
Language
Rust
License
BSD 3-Clause "New...
Created almost 10 years ago
Updated over 8 years ago

maxsnew/cargo-dot

maxsnew

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

Generate graphs of a Cargo project's dependencies

modal-scheme

A Scheme-like CBPV language with Racket Interoperability

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

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