Giters
Bruno Paiva (brunorochapaiva)

brunorochapaiva

Geek Repo

23

followers

16

following

1

stars

Company:University of Birmingham

Location:Birmingham, UK

Github PK Tool:Github PK Tool

Bruno Paiva's repositories

masters-formalisation

Formalisation of my Master's Thesis in Coq.

Language:CoqStargazers:2Issues:1Issues:0

advent-of-code

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:0Issues:0

cookiebreaks

Scripts for running cookie breaks

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

advent_of_code_2022

A point free attempt at Advent of Code 2022 in Haskell

Language:HaskellStargazers:0Issues:0Issues:0

brunorochapaiva.github.io

Language:HTMLStargazers:0Issues:0Issues:0

chip8

Language:RustStargazers:0Issues:0Issues:0

LeetCodeBot

A discord bot to generate competition to complete LeetCode problems

Language:PythonStargazers:0Issues:0Issues:0

masters-thesis

Language:TeXStargazers:0Issues:0Issues:0

pi-forall

A demo implementation of a simple dependently-typed language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

schroeder_bernstein

Lean3 proof of the Schröder–Bernstein theorem.

Language:LeanStargazers:0Issues:0Issues:0

semantics_notes

Stargazers:0Issues:0Issues:0

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

License:GPL-3.0Stargazers:0Issues:0Issues:0