GillianPlatform/Gillian

The Gillian Platform main repository

OCaml

103

446 commits

updated Sep 13, 2026

GillianPlatform.github.io

See the code

README

The Gillian Platform

Structure

The project contains:

.
├── Gillian-C   # Instantiation of Gillian for CompCert-C.
├── Gillian-JS  # Instantiation of Gillian for ES5 JavaScript.
├── GillianCore # The Gillian library.
└── wisl        # Instantiation of Gillian for a small While language
                # for research and teaching.

Documentation

You can view the latest documentation here.

License

Gillian is licensed under the BSD-3 License.

Contributors

194 commits

158 commits

25 commits

19 commits

Similar repos

RyanGlScott/ghc-software-foundations

The Software Foundations book, in GHC

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

graalvm/graal-languages-demos

Graal Languages - Demos and Guides

102

bellard/quickjs

Public repository of the QuickJS Javascript Engine.

11,003

oracle/graal

GraalVM compiles applications into native executables that start instantly, scale fast, and use…

21,704

kast-lang/kast

An experimental programming language

115

elves/elvish

Powerful scripting language & versatile interactive shell

6,382

grain-lang/grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

3,465

Languages

OCaml

60.3%

JavaScript

32.3%

6.8%

GillianPlatform/Gillian

The Gillian Platform main repository

OCaml

103

446 commits

updated Sep 13, 2026

GillianPlatform.github.io

See the code

README

The Gillian Platform

Structure

The project contains:

.
├── Gillian-C   # Instantiation of Gillian for CompCert-C.
├── Gillian-JS  # Instantiation of Gillian for ES5 JavaScript.
├── GillianCore # The Gillian library.
└── wisl        # Instantiation of Gillian for a small While language
                # for research and teaching.

Documentation

You can view the latest documentation here.

License

Gillian is licensed under the BSD-3 License.

Similar repos

RyanGlScott/ghc-software-foundations

The Software Foundations book, in GHC

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

graalvm/graal-languages-demos

Graal Languages - Demos and Guides

102

bellard/quickjs

Public repository of the QuickJS Javascript Engine.

11,003

oracle/graal

GraalVM compiles applications into native executables that start instantly, scale fast, and use…

21,704

kast-lang/kast

An experimental programming language

115

elves/elvish

Powerful scripting language & versatile interactive shell

6,382

grain-lang/grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

3,465

Contributors

194 commits

158 commits

25 commits

19 commits

Languages

OCaml

60.3%

JavaScript

32.3%

6.8%