Skip to content
@GIPSY-dev

GIPSY R&D Group

General Intensional Programming System
  • Montreal, Canada

Popular repositories Loading

  1. OpenISS OpenISS Public

    Forked from OpenISS/OpenISS

    Open Illimitable Space System

    C 3

  2. WSC-Gen WSC-Gen Public

    Forked from hhkb/WSC09-Composition-System-Implementation

    The Planning Graph Algorithm Implementation

    Java 1 1

  3. datasets datasets Public

    1

  4. ServiceCompositionRepo ServiceCompositionRepo Public

    Java implementation and JUnit tests for the solution to construct layered composite services and translate them into various models/languages

    Java 1

  5. HOL-TestGen-Isabelle2021-port HOL-TestGen-Isabelle2021-port Public

    Standard ML 1

  6. openiss-reid-tfk openiss-reid-tfk Public

    Forked from OpenISS/openiss-reid-tfk

    DL-based re-identification on stage for OpenISS

    Python

Repositories

Showing 10 of 11 repositories
  • speed-hpc Public Forked from NAG-DevOps/speed-hpc

    Speed: Gina Cody School HPC Facility: Scripts, Tools, and Refs

    GIPSY-dev/speed-hpc’s past year of commit activity
    Jupyter Notebook 0 Apache-2.0 15 0 0 Updated Aug 24, 2024
  • openiss-dockerfiles Public Forked from OpenISS/openiss-dockerfiles

    OpenISS Containers for Graphics and ML and beyond

    GIPSY-dev/openiss-dockerfiles’s past year of commit activity
    C++ 0 2 0 0 Updated Jun 27, 2023
  • isabelle-hacks Public Forked from adbrucker/isabelle-hacks

    A Collection of Isabelle Programming Hacks

    GIPSY-dev/isabelle-hacks’s past year of commit activity
    Standard ML 0 BSD-2-Clause 1 0 0 Updated Oct 8, 2022
  • OpenISS Public Forked from OpenISS/OpenISS

    Open Illimitable Space System

    GIPSY-dev/OpenISS’s past year of commit activity
    C 3 Apache-2.0 21 0 0 Updated Feb 26, 2022
  • HOL-TestGen-Isabelle2021-port Public
    GIPSY-dev/HOL-TestGen-Isabelle2021-port’s past year of commit activity
    Standard ML 1 0 0 1 Updated Feb 25, 2022
  • code-tracker Public Forked from jodavimehran/code-tracker
    GIPSY-dev/code-tracker’s past year of commit activity
    Java 0 GPL-3.0 7 0 0 Updated Feb 22, 2022
  • openiss-yolov3 Public Forked from OpenISS/openiss-yolov3

    Keras/YOLO adapted to person re-identification on-stage for OpenISS.

    GIPSY-dev/openiss-yolov3’s past year of commit activity
    Python 0 MIT 3 0 0 Updated Jun 29, 2021
  • openiss-reid-tfk Public Forked from OpenISS/openiss-reid-tfk

    DL-based re-identification on stage for OpenISS

    GIPSY-dev/openiss-reid-tfk’s past year of commit activity
    Python 0 3 0 0 Updated Jun 29, 2021
  • datasets Public
    GIPSY-dev/datasets’s past year of commit activity
    1 0 0 0 Updated Apr 14, 2020
  • ServiceCompositionRepo Public

    Java implementation and JUnit tests for the solution to construct layered composite services and translate them into various models/languages

    GIPSY-dev/ServiceCompositionRepo’s past year of commit activity
    Java 1 Apache-2.0 0 0 0 Updated May 17, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…