• Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • CARAT

  • Referenced in 45 articles [sw04293]
  • CARAT is a computer package which handles enumeration...
  • HAP

  • Referenced in 39 articles [sw04870]
  • HAP is a homological algebra library for use...
  • Carat

  • Referenced in 4 articles [sw15068]
  • GAP package Carat: Interface to CARAT, a crystallographic...
  • GitHub

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