Pinned Repositories
Closest-Pair-Why3
Project for the course Proof of Program (MPRI 2015-2016)
Functional-Programming-Project
LoL-stats
Experiment applying Latent Dirichlet Allocation to League of Legends data
LSJn
opam-repository
Main public package repository for opam, the source package manager of OCaml.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
dianegalloiswong's Repositories
dianegalloiswong/LoL-stats
Experiment applying Latent Dirichlet Allocation to League of Legends data
dianegalloiswong/Closest-Pair-Why3
Project for the course Proof of Program (MPRI 2015-2016)
dianegalloiswong/Functional-Programming-Project
dianegalloiswong/LSJn
dianegalloiswong/opam-repository
Main public package repository for opam, the source package manager of OCaml.