shnarazk
(shnarazk)

利用開始日: 01/26/2018

- As a SAT solver researcher: Rust, Haskell, R, luaLatex
- As a programmer Git, NixOS, Linux, Emacs, VScode, bash
- As a web developer: Nuxt.js, Vue.js, MongoDB, Firebase, Now, Docker
- As an engineer, category theory, type theory, logics, macOS
- https://gitlab.com/shnarazk/
- https://shnarazk.now.sh/

No presentation events found.

shnarazk