15 Embedded packages and projects
-
improve
8.4 0.0 HaskellAn imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink. -
copilot-language
6.5 0.0 HaskellA Haskell-embedded DSL for monitoring hard real-time distributed systems. -
copilot-core
3.9 0.0 HaskellIntermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Promo
www.sonarqube.org