GIPSY R&D Group (@GIPSY-dev)
Guthub

GIPSY-dev

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Org. Rank 178,604 (Top 57 %)
  • Registered almost 8 years ago
  • Most used languages
    Java
         50.0 %
    Standard ML     50.0 %
  • Location 🇨🇦 Canada
  • Country Total Rank 25,597
  • Country Ranking
    Standard ML     23
    Java
         7,793

Top repositories

1

datasets

1
star
2

HOL-TestGen-Isabelle2021-port

Standard ML
1
star
3

ServiceCompositionRepo

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