Guillaume Brunerie (@guillaumebrunerie)
github

guillaumebrunerie

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

initiality

A formalized proof of a version of the initiality conjecture
Agda
41
star
2

Chromiarch-OS

A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook
Shell
15
star
3

reversetreeenhancer

User script for a better experince when using a reverse tree on Duolingo
JavaScript
13
star
4

JamesConstruction

Formalization of the James construction in Agda
Agda
10
star
5

SmashProduct

An Agda proof of the fact that the smash product is a 1-coherent monoidal product (in progress)
Agda
5
star
6

advent-of-code-2023

Advent of Code 2023 in Typescript (visualizations!)
TypeScript
5
star
7

ultimate-js-mode

An major mode for working with JS/JSX/TS/TSX files in Emacs
Emacs Lisp
4
star
8

Dark

A spoiler-free family tree for the series Dark
JavaScript
2
star
9

DualNetHack

Prototype
C
2
star
10

shoppinglist

TypeScript
1
star