Name: Enzo
Type: User
Company: Mitsubishi Electric R&D, Inria
Bio: Enzo Crance | PhD student, formal proof automation | Programming languages, compilers, type theory, Android apps, tools | OCaml, Haskell
Twitter: cl0udyhug
Location: Nantes, France
Blog: https://www.crance.bzh
Enzo's Projects
99 problems (from the 99 Lisp problems) in Haskell
Android recipe viewer
Small tool to merge or split PDF files on the command line
An OCaml implementation of several well-known algorithms that determine a graph's convex envelope.
ML training dataset generation software (OCR)
Application for synchronously displaying sheet music on several Android devices
Converter from gregorian calendar dates to French Republican Calendar dates
A first F# program finding prime numbers
Little game of life in OCaml (testing dune)
IA Project for school : simulating populations with genetic algorithms & neural networks
Labyrinth generator (as BMP image files)
My latex resume using the moderncv template
Majority judgment voting system simple implementation
Making skeletons alive ! (interpreter generator)
Testing the Ctypes opam package to call C functions from OCaml
Le jeu des préfectures
Enable or disable social network access
Trainer for vocabulary in foreign languages