open-source-en

Software development environments • March 18, 2022

Streamer

An open-source sandbox for creating, simulating, and evaluating machine learning algorithms that process data streams.

Read more
Software development environments • March 17, 2022

MAX

Test and optimize blockchain applications with an agent-based simulation engine.

Read more
Software development environments • March 17, 2022

Frama-C

Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.

Read more
Event • March 14, 2022

RISC-V

Read more
Software development environments • March 13, 2022

Unisim

An electronic systems simulation environment for easier testing of complex software binary code.

Read more
Software development environments • March 13, 2022

Binsec

Making software more secure through the formal analysis of executable code.

Read more
Success Story • March 12, 2022

CIL4Sys

CIL4Sys Engineering, a systems engineering services company that works with major French companies, joined forces with CEA-List on a software engineering venture.

Read more
Software development environments • March 11, 2022

Cingulata

A compilation chain for the development of applications that can process encrypted data without having to decrypt it.

Read more