🦡
λ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
misc
9 repositories
fheroes2 is a recreation of Heroes of Might and Magic II game engine.
Investment Research for Everyone, Everywhere.
Probabilistic language based on pattern matching and constraint propagation, 153 examples
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
You shouldn't ever lose your work if you're using Git
hspp: An experimental library to bring Haskell Style Programming to C++.
Open-Source Computer Science Degree