Skip to content

@GillianPlatform The Gillian Platform

Change the repository type filter

All

    Repositories list

    21 repositories

    • Gillian

      Public
      The Gillian Platform main repository
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •22•93•42•7•Updated Dec 8, 2025Dec 8, 2025

    • GillianPlatform.github.io

      Public
      JavaScript
      •2•0•0•2•Updated Dec 2, 2025Dec 2, 2025

    • gillian-lab

      Public
      0•1•0•0•Updated Nov 28, 2025Nov 28, 2025

    • gillian-vscode

      Public
      VSCode extension for the Gillian platform
      TypeScript
      •1•0•0•0•Updated Nov 28, 2025Nov 28, 2025

    • CompCert

      Public
      Fork of CompCert that extracts a specific set of modules useful for Gillian-C
      Rocq Prover
      •
      Other
      •245•0•0•0•Updated Nov 22, 2025Nov 22, 2025

    • ocaml-sedap

      Public
      Server implementation for the SEDAP in OCaml
      JavaScript
      •0•0•0•0•Updated Nov 15, 2025Nov 15, 2025

    • sedap

      Public
      An extension of Microsoft's Debug Adaptor Protocol for debugging symbolic execution.
      BSD 3-Clause "New" or "Revised" License
      •0•0•2•0•Updated Nov 15, 2025Nov 15, 2025

    • collections-c-for-gillian

      Public
      C
      •
      GNU General Public License v3.0
      •2•2•0•0•Updated Nov 13, 2025Nov 13, 2025

    • ocaml-dap

      Public
      OCaml
      •
      MIT License
      •5•0•0•0•Updated Oct 30, 2025Oct 30, 2025

    • flow

      Public
      Adds static typing to JavaScript to improve developer productivity and code quality.
      OCaml
      •
      MIT License
      •1.9k•0•0•0•Updated Sep 12, 2025Sep 12, 2025

    • sedap-js

      Public
      TypeScript
      •0•0•0•0•Updated May 24, 2025May 24, 2025

    • gillian-rust

      Public
      Rust
      •0•5•0•1•Updated May 21, 2025May 21, 2025

    • code-gillian

      Public archive
      Gillian helpers for VSCode
      TypeScript
      •1•0•0•0•Updated May 19, 2025May 19, 2025

    • gillian-debugging-examples

      Public
      Examples for the Gillian debugger
      C
      •0•0•0•0•Updated Nov 12, 2024Nov 12, 2024

    • gillian-instantiation-template

      Public template
      Template for an instantiation of Gillian
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •4•0•0•0•Updated Apr 4, 2024Apr 4, 2024

    • esy-z3

      Public
      Esy packaging for z3
      0•0•0•0•Updated Dec 5, 2023Dec 5, 2023

    • esy-gmp

      Public
      GMP packaged for esy
      C
      •7•0•0•0•Updated Oct 16, 2023Oct 16, 2023

    • sedap-vscode

      Public
      VSCode extension for handling the extended parts of the SEDAP
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 8, 2023Sep 8, 2023

    • JS_Parser

      Public
      Javascript parser wrapping flow-parser to add JS Logic from the JaVerT toolchain
      OCaml
      •4•0•0•0•Updated May 2, 2021May 2, 2021

    • javert-test262

      Public
      Fork of test262 for JaVerT
      JavaScript
      •
      Other
      •1•0•0•2•Updated Mar 25, 2021Mar 25, 2021

    • Boilerplate

      Public archive
      OCaml
      •0•1•0•0•Updated Feb 29, 2020Feb 29, 2020