Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by RichaSavant
A curated list of projects in awesome lists by RichaSavant .
https://github.com/richasavant/frama-c-2022
Frama-C is a suite of tools for analyzing C code, verifying correctness, and detecting issues. This repository includes folders for programming exercises and code analysis, covering basic programs, arrays, and loops.
c c-programming c-programming-language debugger debugging debugging-tool frama-c
Last synced: 25 Sep 2024