This is your work, valued

Stockholm, Sweden

Guillaume Brunerie

Expert
@guillaumebrunerie

Developer at ELK Studios. Working with Typescript, React, Redux, and Go.

initiality. A formalized proof of a version of the initiality conjecture

48

Chromiarch-OS. A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook

14

reversetreeenhancer. User script for a better experince when using a reverse tree on Duolingo

13

HoTT. This repository is now obsolete

11

JamesConstruction. Formalization of the James construction in Agda

10

advent-of-code-2023. Advent of Code 2023 in Typescript (visualizations!)

5

ultimate-js-mode. An major mode for working with JS/JSX/TS/TSX files in Emacs

5

SmashProduct. An Agda proof of the fact that the smash product is a 1-coherent monoidal product (in progress)

5

nethackweb. A browser/mobile version of NetHack 3.7

4

HoTT-Agda. Development of homotopy type theory in Agda

4

Dark. A spoiler-free family tree for the series Dark

2

DualNetHack. Prototype

2

phindent-mode. A minor mode for Emacs for showing invisible indentation in empty lines

1

shoppinglist. TypeScript

1

react-compiler-bug. Reproduction for a possible issue in the React compiler

1

advent-of-code-2025. Advent of Code 2025 in TypeScript (with visualizations!)

1