João Santos Reis's repositories
michelson-adt
An OCaml library with an ADT representation of Michelson smart contracts syntax
ocaml-lattices
A collection of lattices in OCaml
price-tracker
A price tracker Telegram bot
softcheck
A platform for generic, reusable, extensible, simple and compositional data flow analysis.
tezcheck
A static analysis tool for Michelson smart contracts
apkupdater
APKUpdater is an open source tool that simplifies the process of finding updates for your installed apps.
docs2
Docs website for the Mina Protocol.
go-libp2p-kad-dht-patcher
Utility to patch the peer protection logic in go-libp2p-kad-dht
haskell-schnorr
Authentication system based on the Schnorr protocol
homeassistant-powercalc
Custom component to calculate estimated power consumption of lights and other appliances
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.
o1js
TypeScript framework for zk-SNARKs and zkApps
ocaml-ci
A CI for OCaml projects
opam-repository-fork
Main public package repository for opam, the source package manager of OCaml.
pandoc-include
Pandoc filter to allow file and header includes
paperless_app
An Android/iOS app for Paperless
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) 🎓📘