Skip to content
@GillianPlatform

The Gillian Platform

Pinned Loading

  1. Gillian Gillian Public

    The Gillian Platform main repository

    OCaml 78 12

Repositories

Showing 10 of 15 repositories
  • GillianPlatform.github.io Public
    GillianPlatform/GillianPlatform.github.io’s past year of commit activity
    HTML 0 2 0 2 Updated Nov 20, 2024
  • Gillian Public

    The Gillian Platform main repository

    GillianPlatform/Gillian’s past year of commit activity
    OCaml 78 BSD-3-Clause 12 49 (1 issue needs help) 4 Updated Nov 20, 2024
  • gillian-debugging-examples Public

    Examples for the Gillian debugger

    GillianPlatform/gillian-debugging-examples’s past year of commit activity
    C 0 0 0 0 Updated Nov 12, 2024
  • CompCert Public Forked from AbsInt/CompCert

    Fork of CompCert that extracts a specific set of modules useful for Gillian-C

    GillianPlatform/CompCert’s past year of commit activity
    Coq 0 278 0 0 Updated Jun 19, 2024
  • flow Public Forked from facebook/flow

    Adds static typing to JavaScript to improve developer productivity and code quality.

    GillianPlatform/flow’s past year of commit activity
    OCaml 0 MIT 1,966 0 0 Updated Jun 13, 2024
  • collections-c-for-gillian Public
    GillianPlatform/collections-c-for-gillian’s past year of commit activity
    C 0 GPL-3.0 1 0 0 Updated May 7, 2024
  • gillian-instantiation-template Public template

    Template for an instantiation of Gillian

    GillianPlatform/gillian-instantiation-template’s past year of commit activity
    OCaml 0 BSD-3-Clause 4 0 0 Updated Apr 4, 2024
  • esy-z3 Public

    Esy packaging for z3

    GillianPlatform/esy-z3’s past year of commit activity
    0 0 0 0 Updated Dec 5, 2023
  • esy-gmp Public Forked from esy-packages/esy-gmp

    GMP packaged for esy

    GillianPlatform/esy-gmp’s past year of commit activity
    C 0 7 0 0 Updated Oct 16, 2023
  • sedap-vscode Public

    VSCode extension for handling the extended parts of the SEDAP

    GillianPlatform/sedap-vscode’s past year of commit activity
    TypeScript 0 BSD-3-Clause 0 0 0 Updated Sep 8, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…