Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
Tissevert / burra
Scheme 0 0
The guix configuration for our home.
Updated 2024-03-30 17:40:46 +01:00
Tissevert / WTK
Scheme 0 0
The Web Tool Kit.
Updated 2022-11-12 11:27:06 +01:00
Tissevert / Constellations
JavaScript 0 0
A simple game with stars and colors.
Updated 2022-10-23 23:13:52 +02:00
Tissevert / loom
Scheme 0 0
The guix channel for my packages.
Updated 2024-03-26 09:07:29 +01:00
Tissevert / LearnedBot
Python 0 0
A python bot replying notifications with quotes.
Updated 2024-03-16 15:50:43 +01:00
mpo / adventOfCode-2022
Haskell 0 0
Another Advent of Code (https://adventofcode.com/2022) in Haskell
Updated 2022-12-16 20:07:40 +01: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 2023-01-28 22:35:15 +01:00
eeva / gRPC-haskell
Haskell 0 0
unclechu's fork of gRPC-haskell
Updated 2022-07-30 04:33:48 +02:00
eeva / servant
Haskell 0 0
haskell hacktoberfest
Updated 2023-02-17 19:34:24 +01:00
eeva / servant-ekg
Haskell 0 0
Updated 2023-08-26 10:06:53 +02:00
scolobb / tgb
Org 0 0
Un sous-ensemble de documents internes de l'association Tigres de Grand Bourg.
Updated 2023-07-30 23:42:02 +02:00
mpo / phd-thesis-en
TeX 0 0
The translated version of my PhD thesis.
Updated 2023-04-22 10:15:50 +02:00
Tissevert / patinage
Scheme 0 0
Une vitrine pour des vidéos de patinage.
Updated 2023-08-24 00:00:38 +02:00
Tissevert / guIDE
Scheme 0 0
IDE layout for i3
Updated 2023-09-03 21:27:29 +02:00
mpo / interviews-in23
Haskell 0 0
Updated 2023-12-05 21:00:58 +01:00
eeva / nix-templates
Nix 0 0
Updated 2023-12-23 14:23:34 +01:00
eeva / advent-of-code-2023
Haskell 0 0
Updated 2024-01-02 18:10:20 +01:00
scolobb / hdr
TeX 0 0
The source of my habilitation thesis, plus the CV.
Updated 2024-04-15 14:42:58 +02:00
hanafuda / lib
Haskell 1 0
This is the backend library implementing the logic of the Hanafuda game.
Updated 2020-01-13 08:40:44 +01:00
hanafuda / server
JavaScript 1 0
A webapp to play Hanafuda online.
Updated 2020-02-02 19:24:24 +01:00