Pinned Repositories
agreg-2017
club-meta
A brazen two-column theme for Jekyll.
codejam2014
My solutions for the Google Code Jam 2014
compilatateur
Compiler construction project for a class at ENS (http://www.lri.fr/~filliatr/ens/compil/).
courbes-algebriques
Cours de math à l'UPMC
grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
island_quest
miniml
Implémentation d'un petit langage fonctionnel en Haskell.
miscalgo
Some algorithms I wrote
weechat-log-to-html
A script to turn Weechat logs into nicely formatted HTML
nguyentito's Repositories
nguyentito/island_quest
nguyentito/weechat-log-to-html
A script to turn Weechat logs into nicely formatted HTML
nguyentito/agreg-2017
nguyentito/compilatateur
Compiler construction project for a class at ENS (http://www.lri.fr/~filliatr/ens/compil/).
nguyentito/miniml
Implémentation d'un petit langage fonctionnel en Haskell.
nguyentito/miscalgo
Some algorithms I wrote
nguyentito/club-meta
A brazen two-column theme for Jekyll.
nguyentito/codejam2014
My solutions for the Google Code Jam 2014
nguyentito/courbes-algebriques
Cours de math à l'UPMC
nguyentito/grothendieck-cern
Alexander Grothendieck's 1972 talk at CERN, on scientific research
nguyentito/Haskell-Ulm-HashCode
Team <$><*> FTW!
nguyentito/jj
My webpage
nguyentito/knowledge-examples
nguyentito/lambdapi
Interpreting and typechecking a dependent lambda calculus
nguyentito/madrobot
La Faute à l'algo
nguyentito/mlpp
ML type inference in presence of type classes
nguyentito/omonad
Monad syntax using ppx extensions
nguyentito/onestlatech.github.io
Manifeste des travailleuses et travailleurs du numérique pour une autre réforme des retraites
nguyentito/pwning-pawns
GUI chess program with multiplayer over network, but no AI
nguyentito/taupic-annales
Exercices issus du concours Taupic
nguyentito/test-website-repo-3796
nguyentito/xmonad-log-applet
An applet that will display Xmonad log information