Jandom development
Research organization developing the Jandom static analyzer and related software.
- 1 follower
- Italy
Popular repositories Loading
-
goblint
goblint PublicForked from goblint/analyzer
This is a fork of the goblint static analysis framework, used for experiments on localization.
OCaml
-
Repositories
Showing 10 of 10 repositories
- ieeeround Public
An R library for controlling the rounding behaviour of IEEE floating point operations
jandom-devel/ieeeround’s past year of commit activity - goblint Public Forked from goblint/analyzer
This is a fork of the goblint static analysis framework, used for experiments on localization.
jandom-devel/goblint’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…