Skip to content
View leonardostsouza's full-sized avatar

Block or report leonardostsouza

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. Formality-C Formality-C Public

    Forked from Soonad/Formality-C

    An implementation of the Formality language in C

    C

  2. Formality-Core Formality-Core Public

    Forked from moonad-archive/Formality-JavaScript

    JavaScript

  3. formality-document formality-document Public

    Forked from VictorTaelin/formality-document

    Rust

  4. Soonad/Formality-to-EVM Soonad/Formality-to-EVM Public

    An interaction net interpreter on the Ethereum Virtual Machine

    JavaScript 7

  5. Soonad/Formality-Benchmarks Soonad/Formality-Benchmarks Public

    Simple benchmarks for comparing Formality Performance with other languages

    Shell