Verification, Type-level Programming, Safety Proofs, Linear Types
Cyclic Implicit Complexity
arxiv.org·14h
crabgrind - Rust
docs.rs·1d
Song recommendations with C# free monads
blog.ploeh.dk·12h
Embedding MicroHs
thma.github.io·2d
Libdex 1.0
blogs.gnome.org·58m
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·3d
Loading...Loading more...