🦡
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"
- Sheffield, United Kingdom
- https://cstml.github.io
- https://ko-fi.com/cstml
Stars
rust
6 repositories
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
A massively parallel, optimal functional runtime in Rust
A new way to see and navigate directory trees : https://dystroy.org/broot
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while being usable in most usecases