Contact me

I'm a Haskeller
Twitter  🙋  LinkedIn


News!

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.

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.