Skip to content
View joaosreis's full-sized avatar
🐒
Life could be a dream
🐒
Life could be a dream

Highlights

  • Pro

Organizations

@MinaProtocol @MinaFoundation

Block or report joaosreis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. ocaml-lattices ocaml-lattices Public

    A collection of lattices in OCaml

    OCaml 1

  2. softcheck softcheck Public

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

    OCaml 1

  3. michelson-adt michelson-adt Public

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

    OCaml

  4. tezla tezla Public

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

    OCaml 1 1

  5. tezcheck tezcheck Public

    A static analysis tool for Michelson smart contracts

    OCaml

  6. price-tracker price-tracker Public

    A price tracker Telegram bot

    OCaml