Software & Electrical Engineer
- Houston, TX
-
01:18
(UTC -06:00) - www.nznz.me
Stars
- All languages
- Assembly
- C
- C++
- CSS
- CoffeeScript
- Coq
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fortran
- Go
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Lean
- Lua
- Markdown
- Nunjucks
- OCaml
- Objective-C
- PHP
- PowerShell
- Python
- Ragel
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- Sass
- Shell
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
- XSLT
1
star
written in Coq
Clear filter