scolobb
  • 가입 : Aug 21, 2018
typed-compose
Racket 0 0

Utilities for function composition in Typed Racket.

업데이트됨 4 일 전

work-site
Haskell 0 0

The source code of my professional website.

업데이트됨 1 주 전

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.

업데이트됨 1 주 전

typed-graph
Racket 0 0

A typed interface to the Racket generic graph library.

업데이트됨 2 주 전

dds
Racket 0 0

dds: A Home-made Toolkit for Discrete Dynamical Systems in Racket

업데이트됨 4 주 전

nix-GINsim
Nix 0 0

This repository packages http://ginsim.org/ for Nix.

업데이트됨 6 달 전

cv-en
TeX 0 0

My short (2-page) CV in English.

업데이트됨 11 달 전