Contact me

I'm a Haskeller
Github  🙋  LinkedIn


News!

Monday 16. December 2019: Working at EasyMile for nearly 3 years. Critical real-time software in C, simulation and monitoring in Haskell ➡️ perfect combo! It’s efficient and funny ;-)
And we are recruiting! Contact if you are interested in Haskell or embedded softwares (or both).

Sunday 15. December 2019: Playing with Pandoc filters in Haskell. abp should make pp obsolete.

me CDSoft CV/Resume Haskell Haskell Handy Calc abp pp Lua BonaLuna calculadoira Python TPG Vim todo pwd A.I. tools in Prolog dialog Free Free softwares Essays Oldies

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:

Applications:

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!

Applications

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: https://cdsoft.fr/pp (pp is obsolete, please check https://cdsoft.fr/abp instead).

This preprocessor (abp) also prepares pages of this website.

Experience

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.