Skip to content

@GillianPlatform The Gillian Platform

Change the repository type filter

All

    Repositories list

    17 repositories

    • ocaml-sedap

      Public
      Server implementation for the SEDAP in OCaml
      JavaScript
      •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

    • ocaml-dap

      Public
      OCaml
      •
      MIT License
      •4•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • GillianPlatform.github.io

      Public
      HTML
      •2•0•0•2•Updated Dec 18, 2024Dec 18, 2024

    • Gillian

      Public
      The Gillian Platform main repository
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •14•82•47•5•Updated Dec 18, 2024Dec 18, 2024

    • gillian-lab

      Public
      0•1•0•0•Updated Dec 6, 2024Dec 6, 2024

    • gillian-debugging-examples

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

    • CompCert

      Public
      Fork of CompCert that extracts a specific set of modules useful for Gillian-C
      Coq
      •
      Other
      •231•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • flow

      Public
      Adds static typing to JavaScript to improve developer productivity and code quality.
      OCaml
      •
      MIT License
      •1.9k•0•0•0•Updated Jun 13, 2024Jun 13, 2024

    • collections-c-for-gillian

      Public
      C
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated May 7, 2024May 7, 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

    • 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 Sep 7, 2023Sep 7, 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