marcelgsantos
Follow
Tech passionate programmer, web lover, PHP & JavaScript coder, interested in architecture & DDD, FP enthusiast, ex-FEMUG-SP, PHPSP evangelist and OSS supporter.
- São Paulo | Brazil
- pensandonaweb.com.br
- @marcelgsantos
- All languages
- Assembly
- Blade
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Dockerfile
- Elixir
- Elm
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- OCaml
- PHP
- Perl
- PlantUML
- PureScript
- Python
- Ruby
- Rust
- SCSS
- Sass
- Shell
- Swift
- TeX
- TypeScript
- Vim Script
- Visual Basic
- Vue
- XML
Starred repositories
1
star
written in Coq
Clear filter
An axiom-free formalization of category theory in Coq for personal study and practical work