Repositories Users Organizations
Filter
Sort
scolobb/ work-site
Haskell 0 0
The source code of my professional website.
Updated 2024-10-17 15:35:46 +02:00
scolobb/ typed-graph
Racket 0 0
A typed interface to the Racket generic graph library.
Updated 2024-09-14 15:01:23 +02:00
scolobb/ typed-compose
Racket 0 0
Utilities for function composition in Typed Racket.
Updated 2024-09-14 15:01:23 +02:00
scolobb/ tgb
Org 0 0
Un sous-ensemble de documents internes de l'association Tigres de Grand Bourg.
Updated 2024-09-14 15:01:23 +02:00
scolobb/ nix-GINsim
Nix 0 0
This repository packages http://ginsim.org/ for Nix.
Updated 2024-09-14 15:33:30 +02:00
scolobb/ hdr
TeX 0 0
The source of my habilitation thesis, plus the CV.
Updated 2024-09-14 15:01:23 +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 still maintaining up to date.
Updated 2024-09-22 12:30:14 +02:00
scolobb/ dds
Racket 0 0
dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket
Updated 2024-09-14 15:01:22 +02:00
mpo/ xmonad-config
Haskell 0 0
My xmonad config
Updated 2024-09-30 14:41:15 +02:00
mpo/ vim-mgs
Vim script 0 0
Syntax highlighting for the MGS spatial-programming language
Updated 2024-09-14 15:01:23 +02:00
mpo/ podcastr
Python 0 0
Generate a podcast.xml file according to the contents of the shows folder
Updated 2024-09-14 15:01:23 +02:00
mpo/ phd-thesis-fr
TeX 1 0
Voici le code source de mon manuscrit de thèse de doctorat, avec les corrections
Updated 2024-09-14 15:01:22 +02:00
mpo/ phd-thesis-en
TeX 0 0
The translated version of my PhD thesis.
Updated 2024-09-14 15:01:23 +02:00
mpo/ phd-defence-fr
TeX 1 0
Voici le code source de la présentation de ma soutenance de thèse, donnée le 6 juillet 2017 à 10h.
Updated 2024-09-14 15:01:22 +02:00
mpo/ overlays-personal
Nix 0 0
My personal nixos overlay (vim, ...)
Updated 2024-09-14 15:01:22 +02:00
mpo/ okta-and-freeotp
0 0
Using freeotp with Okta
Updated 2024-09-14 15:01:22 +02:00
mpo/ nixops-lan-party
Nix 0 0
Lan party machine and network definition with nixops
Updated 2024-09-14 15:01:22 +02:00
mpo/ interviews-in23
Haskell 0 0
Updated 2024-09-14 15:01:23 +02:00
mpo/ http-request
Haskell 0 0
Shows what header you sent when requesting the server.
Updated 2024-09-14 15:01:23 +02:00
mpo/ haskell-scratch
Makefile 0 0
Base Docker image which includes minimal shared libraries for GHC-compiled executables
Updated 2024-09-14 15:01:23 +02:00