Christophe de Dinechin

icon indicating a website link http://c3d.github.io icon indicating an email [email protected]

icon company Red Hat icon location France icon location Working at Red Hat on virtualization and kata-containers. Interested in virtualization, 3D, compilers and language design.

Results 6 repositories owned by Christophe de Dinechin

build

70
Stars
8
Forks
Watchers

A simple makefile-based build system that I split from ELFE / XL

verified publisher icon c3d

elfe

91
Stars
9
Forks
Watchers

Extensible Language for Everyday

verified publisher icon c3d

xl

265
Stars
15
Forks
Watchers

A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites

verified publisher icon c3d

recorder

15
Stars
2
Forks
Watchers

A lock-free real-time flight recorder for your C or C++ programs

verified publisher icon c3d

DB48X-on-DM42

45
Stars
6
Forks
Watchers

RPL runtime for the DM42 calculator, in the spirit of HP48/49/50

verified publisher icon c3d

make-it-quick

20
Stars
8
Forks
Watchers

A simple auto-configuring make-only build system

verified publisher icon c3d