Nguyễn Lê Thành Dũng's repositories
weechat-log-to-html
A script to turn Weechat logs into nicely formatted HTML
compilatateur
Compiler construction project for a class at ENS (http://www.lri.fr/~filliatr/ens/compil/).
club-meta
A brazen two-column theme for Jekyll.
Language:CSSNOASSERTION000
codejam2014
My solutions for the Google Code Jam 2014
Language:Haskell000
courbes-algebriques
Cours de math à l'UPMC
Language:TeX000
Haskell-Ulm-HashCode
Team <$><*> FTW!
jj
My webpage
Language:Python000
CC0-1.0000
lambdapi
Interpreting and typechecking a dependent lambda calculus
Language:Haskell000
madrobot
La Faute à l'algo
Language:CSSNOASSERTION000
mlpp
ML type inference in presence of type classes
Language:OCamlGPL-2.0000
omonad
Monad syntax using ppx extensions
Language:OCaml000
onestlatech.github.io
Manifeste des travailleuses et travailleurs du numérique pour une autre réforme des retraites
000
pwning-pawns
GUI chess program with multiplayer over network, but no AI
Language:Haskell000
taupic-annales
Exercices issus du concours Taupic
Language:OCaml000
tryalgo
Basic and advanced algorithms and data structures
Language:PythonMIT000
xmonad-log-applet
An applet that will display Xmonad log information
Language:CBSD-3-Clause000