Repositories Users Organizations
Filter
Sort
eeva/ home-manager
Nix 0 0
Mirror of home-manager
Updated 2026-06-17 20:04:43 +02:00
eeva/ nixos-hardware
Nix 0 0
Mirror of NixOS-hardware
Updated 2026-06-16 17:12:36 +02:00
scolobb/ rs-hy
Hy 0 0
Various tools for dealing with reaction systems in Hy.
Updated 2026-05-26 14:25:32 +02:00
mpo/ VVVVVV
ActionScript 0 0
Updated 2026-05-15 00:15:43 +02:00
scolobb/ dossier-complet
TeX 0 0
This is my complete academic CV in French (hence the name) which I used to get my position in Évry and which I am still maintaining up to date.
Updated 2026-03-25 20:13:30 +01:00
Tissevert/ pandoc
Haskell 0 0
Updated 2026-02-20 08:53:16 +01:00
scolobb/ work-site
Haskell 0 0
The source code of my professional website.
Updated 2026-02-18 17:58:32 +01:00
mpo/ overlays-personal
Nix 0 0
My personal nixos overlay (vim, ...)
Updated 2026-01-17 20:37:17 +01:00
eeva/ krops
Nix 0 0
Mirror of Krops
Updated 2026-01-01 19:52:43 +01:00
Tissevert/ burra
Scheme 0 0
The guix configuration for our home.
Updated 2025-11-08 19:23:18 +01:00
eeva/ easy-dhall-nix
Nix 0 0
nix dhall
Updated 2025-08-04 00:32:10 +02:00
eeva/ advent-of-code-2024
Haskell 0 0
Solutions to AoC 2024
aoc haskell nix
Updated 2024-12-24 12:30:18 +01:00
mpo/ master-thesis-presentation
TeX 0 0
Updated 2024-12-19 18:25:30 +01:00
mpo/ master-thesis
TeX 0 0
Updated 2024-12-19 18:20:52 +01:00
eeva/ advent-of-code-2023
Haskell 0 0
Updated 2024-11-26 20:23:36 +01:00
scolobb/ nix-GINsim
Nix 0 0
This repository packages http://ginsim.org/ for Nix.
Updated 2024-09-14 15:33:30 +02:00
Tissevert/ LearnedBot
Python 0 0
A python bot replying notifications with quotes.
Updated 2024-09-14 15:01:24 +02:00
mpo/ adventOfCode-2022
Haskell 0 0
Another Advent of Code (https://adventofcode.com/2022) in Haskell
Updated 2024-09-14 15:01:24 +02:00
Tissevert/ toon
Shell 0 0
An XDG cursor theme adapted from the default cursor theme in a hacked version of Windows XP (Windows LSD).
Updated 2024-09-14 15:01:24 +02:00
eeva/ servant
Haskell 0 0
haskell hacktoberfest
Updated 2024-09-14 15:01:24 +02:00