João Santos Reis's repositories
lcheck
A library for quickchecking lattice modules and associated operations
TelegraML
OCaml implementation of the Telegram Bot API
vscode-ocaml-mll-mly
Highlighting support for OCamllex (.mll) and OCamlyacc/Menhir (.mly) files
vscode-reasonml
OCaml & Reason support for Visual Studio Code
LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Docs
Documentation for ASP.NET and ASP.NET Core
forego
Foreman in Go
openscholar
OpenScholar project
nginx-proxy
Automated nginx proxy for Docker containers using docker-gen
docker-gen
Generate files from docker container meta-data
ocaml-uri
RFC3986 URI parsing library for OCaml
RocketMap
🌏 Live visualization of all the pokemon in your area... and more!
docker-ngrok
An Ngrok v2 container based on wizardapps/ngrok and fnichol/ngrok
PokeAlarm
PokeAlarm is a third party extension for PokemonGo-Map that allows you to receive external notifications via the service of your choice
project-euler
Project Euler solutions implemented by me.
IoTLabs
Microsoft Portugal IoT Labs:
docker-ocsigen-start
Docker container for ocsigen-start.
ledger-javacard
Ledger Unplugged - Java Card implementation of Ledger Bitcoin Hardware Wallet