Contact me

I'm a Haskeller
Twitter  ⟐  LinkedIn
Christophe Delord


Wednesday 22. november 2017: Working at EasyMile for 10 month. Critical real-time software in C, simulation and monitoring in Haskell perfect combo! It’s efficient and funny ;-)

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.

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

CDSoft - Software made simple, verifiable and usable

Christophe Delord

12 May 2018

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).

I’m currently working at EasyMile where I’m developing a critical software in C. The simulation and test environment is fully made in Haskell using some of the principles presented in this page.

For further information, you can read my resume.