github.com/GillianPlatform/Gillian ↗
The Gillian Platform main repository
An animated visualization of GillianPlatform/Gillian's Git history from March 2020 to September 2020, built by 5 contributors. The codebase reached 2,015 lines, mostly OCaml. The video runs 26 seconds.
Render your own repo
Turn any GitHub repository into a video like this — free sample in seconds.
Open this visualization on its own page →
Language
OCaml
Contributors
5
Lines of Code
2,015
From
2020-03-02
To
2020-09-22
Advertisement
About GillianPlatform/Gillian
Gillian is a platform built in OCaml for program analysis and verification. The project provides a structured codebase designed to support formal reasoning about software behavior, with comprehensive documentation available through the project's official website. It serves researchers and developers working on static analysis, symbolic execution, and program correctness verification.
The platform is organized as a modular system with multiple components working together to enable different analysis capabilities. Rather than being a single monolithic tool, Gillian functions as an extensible foundation that can be adapted for various program analysis tasks and languages. It is distributed under the BSD-3 License, making it suitable for both academic and commercial use.
Advertisement