guillaumebrunerie/Chromiarch-OS guillaumebrunerie/Chromiarch-OS

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Shell
  • License
    MIT License
  • Created over 13 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
guillaumebrunerie/Chromiarch-OS
github

guillaumebrunerie

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

initiality

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

reversetreeenhancer

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

JamesConstruction

Formalization of the James construction in Agda
Agda
10
star
4

SmashProduct

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

advent-of-code-2023

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

ultimate-js-mode

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

Dark

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

DualNetHack

Prototype
C
2
star
9

shoppinglist

TypeScript
1
star