Guillaume Brunerie (guillaumebrunerie)

guillaumebrunerie

Geek Repo

Location:Stockholm, Sweden

Home Page:guillaumebrunerie.github.io

Github PK Tool:Github PK Tool


Organizations
agda
HoTT

Guillaume Brunerie's repositories

initiality

A formalized proof of a version of the initiality conjecture

Language:AgdaStargazers:40Issues:9Issues:0

reversetreeenhancer

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

Language:JavaScriptLicense:MITStargazers:13Issues:5Issues:1

advent-of-code-2023

Advent of Code 2023 in Typescript (visualizations!)

Language:TypeScriptStargazers:5Issues:0Issues:0

ultimate-js-mode

An major mode for working with JS/JSX/TS/TSX files in Emacs

Language:Emacs LispStargazers:4Issues:2Issues:1
Language:TypeScriptStargazers:1Issues:2Issues:0

advent-of-code-2021

Advent of Code 2021 in Javascript

Language:JavaScriptStargazers:0Issues:2Issues:0

advent-of-code-2022

Advent of Code 2022 in Javascript

Language:JavaScriptStargazers:0Issues:2Issues:0

dotfiles

Some of my configuration files

Language:Emacs LispLicense:MITStargazers:0Issues:3Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

bepocyr

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

License:MITStargazers:0Issues:0Issues:0

combobulate

Structured Editing and Navigation in Emacs

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

dixit-elixir

A Dixit server in Elixir

Language:ElixirStargazers:0Issues:2Issues:12
Language:JavaScriptStargazers:0Issues:3Issues:0

js2-mode

Improved JavaScript editing mode for GNU Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

LD48

Ludum Dare #48

Language:JavaScriptStargazers:0Issues:0Issues:0

LD49

Ludum Dare #49

Language:TypeScriptStargazers:0Issues:3Issues:0

LD50

Ludum Dare #50

Language:JavaScriptStargazers:0Issues:0Issues:0

LD55

Ludum Dare #55

Language:TypeScriptStargazers:0Issues:0Issues:0

phindent-mode

A minor mode for Emacs for showing invisible indentation in empty lines

Language:Emacs LispStargazers:0Issues:3Issues:0

react-pixi-fiber

Write PixiJS applications using React declarative style.

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

redux

Predictable state container for JavaScript apps

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

redux-experiments

Experiments with Redux

Language:TypeScriptStargazers:0Issues:0Issues:0

remotion-test

Remotion test

Language:TypeScriptStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

SolidRedux

Created with CodeSandbox

Stargazers:0Issues:0Issues:0

stuck-machines-LD47

A game created in 48 hours for the Ludum Dare #47 game jam (October 2020)

Language:JavaScriptStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-javascript

Javascript grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-typescript

TypeScript grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

xpath

XPath package for Golang, supports HTML, XML, JSON document query.

Language:GoLicense:MITStargazers:0Issues:0Issues:0