João Santos Reis's repositories

tezla

An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts

Language:OCamlLicense:MITStargazers:1Issues:1Issues:0

michelson-adt

An OCaml library with an ADT representation of Michelson smart contracts syntax

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ocaml-lattices

A collection of lattices in OCaml

Language:OCamlStargazers:0Issues:1Issues:0

price-tracker

A price tracker Telegram bot

Language:OCamlStargazers:0Issues:0Issues:0

softcheck

A platform for generic, reusable, extensible, simple and compositional data flow analysis.

Language:OCamlStargazers:0Issues:0Issues:0

tezcheck

A static analysis tool for Michelson smart contracts

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

apkupdater

APKUpdater is an open source tool that simplifies the process of finding updates for your installed apps.

License:GPL-3.0Stargazers:0Issues:0Issues:0

docs2

Docs website for the Mina Protocol.

Language:JavaScriptStargazers:0Issues:0Issues:0

go-libp2p-kad-dht-patcher

Utility to patch the peer protection logic in go-libp2p-kad-dht

License:MITStargazers:0Issues:0Issues:0

haskell-schnorr

Authentication system based on the Schnorr protocol

Language:HaskellStargazers:0Issues:0Issues:0

homeassistant-powercalc

Custom component to calculate estimated power consumption of lights and other appliances

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

joxi

An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.

Language:TypeScriptStargazers:0Issues:0Issues:0

joxi-github-action

A GitHub action for joxi: An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.

Language:DockerfileStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

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!

Language:TypeScriptStargazers:0Issues:0Issues:0

o1js

TypeScript framework for zk-SNARKs and zkApps

License:Apache-2.0Stargazers:0Issues:0Issues:0

ocaml-ci

A CI for OCaml projects

Language:OCamlStargazers:0Issues:0Issues:0

opam-repository-fork

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

pandoc-include

Pandoc filter to allow file and header includes

License:MITStargazers:0Issues:0Issues:0

paperless_app

An Android/iOS app for Paperless

Language:DartLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

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) 🎓📘

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:OCamlLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0