guillaumebrunerie/DualNetHack guillaumebrunerie/DualNetHack

  • Stars
    star
    2
  • Language
    C
  • Created about 8 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
guillaumebrunerie/DualNetHack
github

guillaumebrunerie

Reviews

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

Repository Details

Prototype

More Repositories

1

initiality

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

Chromiarch-OS

A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook
Shell
15
star
3

reversetreeenhancer

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

JamesConstruction

Formalization of the James construction in Agda
Agda
10
star
5

SmashProduct

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

advent-of-code-2023

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

ultimate-js-mode

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

Dark

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

shoppinglist

TypeScript
1
star