Pinned Loading

1. arkenfox-nixos arkenfox-nixos Public

   Utilities to use arkenfox/user.js in NixOS

   Nix 79 16

2. home-nix home-nix Public

   My dotfile as managed by nix with home-manager

   Nix 9

3. commutative-diagrams commutative-diagrams Public

   A coq plugin to deal with commutative diagrams

   Rust 20 1

4. memoire-dma-l3 memoire-dma-l3 Public

   Approche catégorique aux CSP

   TeX

5. notification notification Public

   Notification system for x11 based system using xcb.

   C 6

6. DWARVES/Project-Warrior DWARVES/Project-Warrior Public

   Project Warrior is a fighting game occuring in a brand new original universe, with gameplay inspired by Super Smash Bros. games from Nintendo.

   C++ 4