guillaumebrunerie Goto Github PK

advent-of-code-2021

Advent of Code 2021 in Javascript

advent-of-code-2022

Advent of Code 2022 in Javascript

advent-of-code-2023

Advent of Code 2023 in Typescript (visualizations!)

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-syntax-highlighting

Syntax highlighting for Agda for use on GitHub

agrecettes

bepocyr

Phonetic Russian keyboard layout, based on the bépo layout

chromiarch-os

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

combobulate

Structured Editing and Navigation in Emacs

cubical

dark

A spoiler-free family tree for the series Dark

dixit-elixir

A Dixit server in Elixir

dotfiles

Some of my configuration files

dualnethack

Prototype

duolingocourseswitcher

User script to enable quick switching of language courses on Duolingo.

feed-the-cat-ld46

A game created in 48 hours for the Ludum Dare #46 game jam (April 2020)

five-seconds-ld27

Five Seconds — A game created in 48 hours for the Ludum Dare #27 game jam (August 2013)

general-type-theories

A formalization of general type theories

guillaumebrunerie.github.io

Personal website

hide-n-run-ld44

Hide’n’run — A game created in 48 hours for the Ludum Dare #44 game jam (April 2019)

hott

This repository is now obsolete

hott-2019

Conference on Homotopy Type Theory 2019

hott-agda

Development of homotopy type theory in Agda

initiality

A formalized proof of a version of the initiality conjecture

jamesconstruction

Formalization of the James construction in Agda

js2-highlight-vars.el

🖍️ Highlight var under cursor. Just minor changes to work with melpa and new js2-mode, originally from:

js2-mode

Improved JavaScript editing mode for GNU Emacs

ld48

Ludum Dare #48

ld49

Ludum Dare #49

ld50

Ludum Dare #50