• DimSim

  • Referenced in 1 article [sw09874]
  • detect both inconsistency and underspecification in the given dimensional constraints. In case of a dimensional...
  • R

  • Referenced in 7990 articles [sw00771]
  • R is a language and environment for statistical...
  • Oz

  • Referenced in 113 articles [sw06799]
  • Oz is a high-level programming language combining...
  • GitHub

  • Referenced in 1417 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...