Alexandre Moine

Software

I create & contribute to open-source projects, mainly on GitHub under the pseudo nobrakal.

asak -- https://github.com/nobrakal/asak

Asak is an OCaml library allowing to identify similar OCaml codes.

It can be used:

• for teaching purposes, to identify similar answers. Asak is integrated into the web-learning application LearnOCaml.
• for engineering purposes, to detect redundant code.

alga -- https://github.com/snowleopard/alga

I am a contributor of Alga, a Haskell library for algebraic graphs. I mainly designed rewrite rules for fusion/deforestation.

tungsten -- https://github.com/nobrakal/tungsten

Tungsten is a Haskell library allowing to define Algebraic Data Types using a fixpoint operator, thus bringing for free {cata,ana,para,apo}-morphims and fusion to them. It is highly experimental.