Repositories list

• speed-hpc

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

  Jupyter Notebook

  •

  Apache License 2.0

  •14•0•0•0•Updated Aug 24, 2024Aug 24, 2024

• openiss-dockerfiles

  Public
  OpenISS Containers for Graphics and ML and beyond

  C++

  •2•0•0•0•Updated Jun 27, 2023Jun 27, 2023

• isabelle-hacks

  Public
  A Collection of Isabelle Programming Hacks

  Standard ML

  •

  BSD 2-Clause "Simplified" License

  •1•0•0•0•Updated Oct 8, 2022Oct 8, 2022

• OpenISS

  Public
  Open Illimitable Space System

  C

  •

  Apache License 2.0

  •21•3•0•0•Updated Feb 26, 2022Feb 26, 2022

• HOL-TestGen-Isabelle2021-port

  Public
  Standard ML

  •

  Other

  •0•1•0•1•Updated Feb 25, 2022Feb 25, 2022

• code-tracker

  Public
  Java

  •

  GNU General Public License v3.0

  •6•0•0•0•Updated Feb 22, 2022Feb 22, 2022

• openiss-yolov3

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

  Python

  •

  MIT License

  •3•0•0•0•Updated Jun 29, 2021Jun 29, 2021

• openiss-reid-tfk

  Public
  DL-based re-identification on stage for OpenISS

  Python

  •3•0•0•0•Updated Jun 29, 2021Jun 29, 2021

• datasets

  Public
  0•1•0•0•Updated Apr 14, 2020Apr 14, 2020

• ServiceCompositionRepo

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

  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated May 17, 2019May 17, 2019

• WSC-Gen

  Public
  The Planning Graph Algorithm Implementation

  servicesalgorithmweb+ 6generatorcompositionbpelsoap-web-serviceswsdl-generationgipsy

  Java

  •6•1•1•2•Updated Apr 23, 2018Apr 23, 2018