Pages personnelles professionnelles

You can find here some code I have developped, for my own use, or to play with C++. If you have any question, do not hesitate to email me.

NC-maude

NC-maude have been developped to allow to play with Network Calculus. Current version is 1.9.5. You will need the Maude tool to use it.

You can have a look here to get my feedback on the use of rewriting language in this project.

C++ Code

CheckedNumeric<T> A C++ class that behaves like a numerical type, but with a checking of overflow and underflow, and throwing of an exception when the results is out of bounds.
Code example:

CheckedNumeric<unsigned int> x,y;
x=y=0;
x++;
cout<<++x;  // Outputs 2
x=y-1;      // Throw a CheckedNumeric<unsigned int>::numeric_overflow exception

You can download the sources.

C Code

The Basic Preprocessed Library: this is an attempt of having a set of container and algorithms (like the STL in C++) type-safe and efficient in C, using the preprocessor.
You can

browse the documentation: a short user manual and developper manual.

download the sources.
Any feedbacks are welcome!

LaTeX Code

pdfrack As an intensive user of the psfrag package, and forced to convert LaTeX documents into pdf, I have developpe pdfrack for my personal use.

Stats with StatCounter

Bienvenue à l'Onera, le centre français de recherche aérospatiale

Pages personnelles professionnelles

NC-maude

C++ Code

C Code

LaTeX Code