- π I study CS with an interest in High Performance Computing (HPC).
- π I'm currently working on:
- Improving the number of available packages in Nixpkgs on macOS.
- Working through Programming Language Foundations
- π₯° I'm currently obsessed with tree-sitter.
- π± I'm currently learning about model checking, logic, foundations and connections between category theory and functional programming.
- π I'm looking to collaborate on large scale functional programming projects and formal verification efforts.
- π€ I'm looking for help with organizing and developing mathematical theories in Coq.
- π« How to reach me: mgouru AT nospam DOT my DOT loyno DOT edu
Nix, Emacs, Haskell, Coq, Rust, Scheme, C, Forth, Assembly, Z80, Z3
type theory, category theory, logic, abstract algebra, topology, measure theory...simple things