Skip to content
View GuiBrandt's full-sized avatar
🏠
Working from home
🏠
Working from home
  • iFood
  • Campinas, SP - Brazil

Block or report GuiBrandt

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

    An attempt at using machine learning to create a neural network that learns how to play osu! like a human from replay data

    Jupyter Notebook 61 6

  2. Yet-Another-Bullet-Hell Yet-Another-Bullet-Hell Public

    Projetinho básico de bullet hell, just for the lols

    JavaScript 8 1

  3. Regular Expressions in haskell Regular Expressions in haskell
    1
    {-# LANGUAGE StandaloneDeriving #-}
    2
    
                  
    3
    import Data.List (inits, tails)
    4
    
                  
    5
    import Control.Arrow ((***), (&&&))
  4. mc202 mc202 Public

    Implementação dos laboratórios de MC202 no segundo semestre de 2020 na Unicamp

    C 1

  5. object-matcher-independence object-matcher-independence Public

    An experiment on automated proof of independence of JSON object matchers using a SAT solver.

    Haskell

  6. lean4-polyhedral-combinatorics lean4-polyhedral-combinatorics Public

    (WIP) Polyhedral combinatorics formalized in Lean4

    Lean