guillaumebrunerie

guillaumebrunerie's Stars

• sylbru/advent-of-code-2024

  Advent of Code 2024 in Rust

  Language:Rust1

• NetHack/NetHack

  Official NetHack Git Repository

  Language:C3k478

• reactwg/react-compiler

  Working group for using React Compiler in production

  1.1k15

• facebook/react

  The library for web and native user interfaces.

  Language:JavaScript231k47.2k

• agda-attic/agda-github-syntax-highlighting

  Syntax highlighting used on GitHub

  Language:Agda44

• RedPRL/sml-redprl

  The People's Refinement Logic

  Language:Standard ML22718

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX76066

• freeCodeCamp/freeCodeCamp

  freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.

  Language:TypeScript408k38.4k

• ytdl-org/youtube-dl

  Command-line program to download videos from YouTube.com and other video sites

  Language:Python133k10.1k

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k360

• guillaumebrunerie/HoTT-Agda

  Development of homotopy type theory in Agda

  Language:Shell4

• HoTT/HoTT-Agda

  Development of homotopy type theory in Agda

  Language:Agda41859

• ghoulsblade/love-webplayer

  WebPlayer for Love2D engine games (webgl+javascript)

  Language:JavaScript24133

• favonia/homotopy

  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

  Language:Agda252

• guillaumebrunerie/HoTT

  This repository is now obsolete

  Language:Coq11

• guillaumebrunerie/Chromiarch-OS

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

  Language:Shell156

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k194