Skip to content
View 89oinotna's full-sized avatar
26 followers · 68 following
  • IMDEA Software Institute
  • Madrid

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report 89oinotna

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
89oinotna/README.md

Hi there, I'm 89oinotna

👨🏻‍💻 About Me

🔭 PhD Student @ IMDEA Software Institute

Pinned

  1. hofl-typing-in-prolog hofl-typing-in-prolog Public

    higher order functional language typing in prolog

    Prolog

  2. microc-compiler microc-compiler Public

    Lab of the course Languages, Compilers and Interpreters @ UNIPI

    OCaml

  3. NNpy NNpy Public

    Neural Network framework for Machine Learning course @ UniPi

    Python 1 1

  4. Dafny-Exercises Dafny-Exercises Public

    Computer-aided Program Verification @ UCM

    Dafny

  5. Data-Mining-on-tennis-matches Data-Mining-on-tennis-matches Public

    Forked from simone-rizzo/Data-Mining-on-tennis-matches

    Data mining project on Tennis matches dataset @ UNIPI

    Jupyter Notebook

  6. CellularAutomataFramework CellularAutomataFramework Public

    Framework for cellular automata

    C++