Discover projects, groups and snippets. Share your projects with others
A generic testing approach for a wide range of executable DSLs based on the TDL standard testing language
Orientation active (Kosmos)
Julia packages for the design of second-order IIR filters for multiplierless hardware.
2021/06/26 - Moon-coverage presentation
Fork from PX4/PX4-Autopilot for LS2N
Fork from PX4/px4_ros_com for LS2N
RefacCert is a project to build a "proven correct" refactoring tool for C source code.
Visualizer and explorer for Ibex library (http://ibex-lib.org/) result format (cov)