glaebhoerl/rust-notes

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Created about 10 years ago
Updated almost 10 years ago

glaebhoerl/rust-notes

glaebhoerl

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

simplecompiler

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

rust-frp

Unsophisticated push-based FRP library in Rust

ducks

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

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