Skip to content
View ChristianoBraga's full-sized avatar
14 followers · 3 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@compilers-uff
Block or Report

Block or report ChristianoBraga

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. zeek zeek Public

    Python 2

  2. BMaude BMaude Public

    BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.

    Shell 2 1

  3. PiFramework PiFramework Public

    The Π framework aims at being a simple formal framework for compiler construction. It is comprised of Π IR and Π automata. The Π IR component is comprised of basic programming languages constructs …

    Python 7 7

  4. mmt mmt Public

    Forked from fcbr/mmt

    Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications that brings the power of analysis available in the Maude system to MSOS specific…

    2