raventid

I write Rust/Ruby. Devops in the past. I know some C++, Haskell, Nixlang, Elixir, and Ocaml. Interested in math, ATS, TLA+, Alloy, Isabell, Coq, Lean, Arend.

Company:@aurora-is-nearLocation:Hong Kong SAR

Pinned Repositories

raventid's Repositories