glaebhoerl/ducks

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Created over 9 years ago
Updated almost 9 years ago

glaebhoerl/ducks

glaebhoerl

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

These are my notes about the ideas I had for a statically structurally typed programming language, many years ago

simplecompiler

used to be something more ambitious, cut scope to just a simple compiler for thesis project

rust-notes

rust-frp

Unsophisticated push-based FRP library in Rust

type-eq

Type equality evidence you can carry around

odds-and-ends

this, that, and maybe the other

exists

Existential datatypes holding evidence of constraints