João Santos Reis's repositories
mui-x
MUI X: Build complex and data-rich applications using a growing list of advanced React components, like the Data Grid, Date and Time Pickers, Charts, and more!
docs2
Docs website for the Mina Protocol.
apkupdater
APKUpdater is an open source tool that simplifies the process of finding updates for your installed apps.
o1js
TypeScript framework for zk-SNARKs and zkApps
opam-repository-fork
Main public package repository for opam, the source package manager of OCaml.
joxi
An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.
joxi-github-action
A GitHub action for joxi: An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.
go-libp2p-kad-dht-patcher
Utility to patch the peer protection logic in go-libp2p-kad-dht
paperless_app
An Android/iOS app for Paperless
homeassistant-powercalc
Custom component to calculate estimated power consumption of lights and other appliances
tezcheck
A static analysis tool for Michelson smart contracts
haskell-schnorr
Authentication system based on the Schnorr protocol
price-tracker
A price tracker Telegram bot
ocaml-lattices
A collection of lattices in OCaml
michelson-adt
An OCaml library with an ADT representation of Michelson smart contracts syntax
softcheck
A platform for generic, reusable, extensible, simple and compositional data flow analysis.
ocaml-ci
A CI for OCaml projects
template-ubi-latex
Versão NÃO oficial do modelo em LaTeX para a escrita de teses e dissertações da Universidade da Beira Interior (UBI) 🎓📘
pandoc-include
Pandoc filter to allow file and header includes