Skip to content
View Tovy97's full-sized avatar
1 follower · 1 following

Block or report Tovy97

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

    This repository contains an implementation (IntelliJ project) in scala 2 of type class, functor, monad and monad transformer for a seminary. There are also LaTeX slides inside.

    Scala 2 1

  2. Towards-Substructural-Property-Based-Testing Towards-Substructural-Property-Based-Testing Public

    Code correlated to paper "Towards Substructural Property-Based Testing"

    Prolog 2

  3. Tesi Tesi Public

    Sorgenti Scala della Tesi

    HTML

  4. BST BST Public

    Makefile

  5. WarpSort WarpSort Public

    Cuda

  6. Xchange2023 Xchange2023 Public

    Source code for our speech in the Xchange 2023

    Python