8000 ncatanoc (Nestor Catano) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View ncatanoc's full-sized avatar
9 followers · 1 following

Block or report ncatanoc

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

Popular repositories Loading

  1. pyeb pyeb Public

    Python 5

  2. seguridad_univalle seguridad_univalle Public

    Jupyter Notebook 2

  3. cyber_resilience cyber_resilience Public

    Program synthesis for cyber-resilience. Generation of certified code for architectural tactics, for which we use Event-B and EventB2Java. We show how testing can be used to animate and check the ge…

    1

  4. cyber_resilience_python cyber_resilience_python Public

    The goal of this project is to bring most of Event-B and refinement calculus into Python

    Jupyter Notebook 1

  5. eventb2java eventb2java Public

    Java code generator for Event-B - It is a Rodin plug-in

    Java 1

  6. memjava memjava Public

    OCaml application that simulates the memory behavior of a running Java program

    OCaml

0