Contact me

Twitter  ⟐  LinkedIn
Christophe Delord


Monday 18. july 2016: Updates on my new simulation framework project in Haskell.

Friday 25. march 2016: Dear backers, unfortunately, the FUN project was not successfully funded. I will now focus on FRP (Functional Reactive Programming) applied to real-time critical system specification and simulation.

Recherche d’emploi

ingénieur en informatique
actuellement en CDI mais à l’écoute du marché
Type de poste
poste à dominante R&D en informatique, architecture
aéronautique, DO 178B, logiciel embarqué, simulation, vérification, certification, outillage, automatisation, intelligence artificielle, programmation fonctionnelle (Haskell, OCaml), programmation logique (PROLOG)… (CV : HTML ou PDF )
région toulousaine ou télétravail (déplacements possibles)
Christophe Delord

CDSoft :: CV/Resume :: Free softwares Essays Haskell Handy Calc pp TPG BonaLuna Calculadoira todo pwd pi w :: AI tools in Prolog AI dialog

About CDSoft

CDSoft used to be my personal website where I stored and shared some free softwares and other funny pieces of softwares.

My main objective is now to propose a way to specify and write softwares that are:

while remaining:


Old version of my project

I had initially planned to write a book about software specifications. But the project was not funded on Kickstarter.

You can find some ideas about writing documents and specifications

My initial goal was certainly too general and too wide.

Current work

I’m currently working on a simulation framework based on Haskell.

The idea is quite simple:

One objective is also to provide a portable build and execution environment. e.g.:

Enforcing the usage of some huge and insane environment is clearly not compatible with my philosophy and is bad for my mental health!


and in fact:

What’s currently working?

Still missing components

…and a decent documentation…

Side effects

I have previously said that side effects are bad. But this project already has a nice side effect indeed.

My documents are written in Markdown and I use Pandoc to generate HTML or PDF documents. Pandoc is fabulous but it misses a good preprocessor. I wrote my own text preprocessor which is available here:

This preprocessor also prepares pages of this website.


I have a strong experience in critical domains in aeronautics (DO178B, specification, implementation, verification).

For further information, you can read my resume.