Software development environments

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
Software development environments • March 15, 2022

Cogito

Automatically deploy software countermeasures for more secure embedded systems.

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
Software development environments • March 11, 2022

VPSim

VPSim, for faster design space exploration.

Read more
Software development environments • March 11, 2022

N2D2

N2D2 is used to optimize neural networks, embed them on components or on dedicated hardware accelerators, and measure their performance.

Read more