joaosreis
Functional programmer. Interested in programming languages and program verification.
@MinaFoundation
Pinned Repositories
michelson-adt
An OCaml library with an ADT representation of Michelson smart contracts syntax
ocaml-lattices
A collection of lattices in OCaml
ocamlmooc_srt
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
tezla
An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts
joaosreis's Repositories
joaosreis/tezla
An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts
joaosreis/michelson-adt
An OCaml library with an ADT representation of Michelson smart contracts syntax
joaosreis/ocaml-lattices
A collection of lattices in OCaml
joaosreis/price-tracker
A price tracker Telegram bot
joaosreis/softcheck
A platform for generic, reusable, extensible, simple and compositional data flow analysis.
joaosreis/tezcheck
A static analysis tool for Michelson smart contracts
joaosreis/tpsi-git-test
joaosreis/abstract-interpretation-course
joaosreis/ai-project
joaosreis/apkupdater
APKUpdater is an open source tool that simplifies the process of finding updates for your installed apps.
joaosreis/docs2
Docs website for the Mina Protocol.
joaosreis/go-libp2p-kad-dht-patcher
Utility to patch the peer protection logic in go-libp2p-kad-dht
joaosreis/haskell-schnorr
Authentication system based on the Schnorr protocol
joaosreis/homeassistant-powercalc
Custom component to calculate estimated power consumption of lights and other appliances
joaosreis/joxi
An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.
joaosreis/joxi-github-action
A GitHub action for joxi: An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.
joaosreis/michelson-parser
joaosreis/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!
joaosreis/o1js
TypeScript framework for zk-SNARKs and zkApps
joaosreis/ocaml-ci
A CI for OCaml projects
joaosreis/opam-repository-fork
Main public package repository for opam, the source package manager of OCaml.
joaosreis/pandoc-include
Pandoc filter to allow file and header includes
joaosreis/paperless_app
An Android/iOS app for Paperless
joaosreis/projeto2
joaosreis/softcheck-analysis
joaosreis/softcheck-tip
joaosreis/solid-dollop
joaosreis/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) 🎓📘
joaosreis/tezla-cfg
joaosreis/tpsi-git