brunorochapaiva
PhD student in Computer Science at the University of Birmingham
University of BirminghamBirmingham, UK
Pinned Repositories
advent-of-code
advent_of_code_2022
A point free attempt at Advent of Code 2022 in Haskell
brunorochapaiva.github.io
chip8
cookiebreaks
Scripts for running cookie breaks
LeetCodeBot
A discord bot to generate competition to complete LeetCode problems
masters-formalisation
Formalisation of my Master's Thesis in Coq.
masters-thesis
pi-forall
A demo implementation of a simple dependently-typed language
schroeder_bernstein
Lean3 proof of the Schröder–Bernstein theorem.
brunorochapaiva's Repositories
brunorochapaiva/masters-formalisation
Formalisation of my Master's Thesis in Coq.
brunorochapaiva/advent-of-code
brunorochapaiva/cookiebreaks
Scripts for running cookie breaks
brunorochapaiva/advent_of_code_2022
A point free attempt at Advent of Code 2022 in Haskell
brunorochapaiva/brunorochapaiva.github.io
brunorochapaiva/chip8
brunorochapaiva/LeetCodeBot
A discord bot to generate competition to complete LeetCode problems
brunorochapaiva/masters-thesis
brunorochapaiva/pi-forall
A demo implementation of a simple dependently-typed language
brunorochapaiva/schroeder_bernstein
Lean3 proof of the Schröder–Bernstein theorem.
brunorochapaiva/semantics_notes
brunorochapaiva/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.