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