• Chord

  • Referenced in 212 articles [sw09434]
  • Chord: A scalable peer-to-peer lookup service...
  • Alcoa

  • Referenced in 28 articles [sw09481]
  • Alcoa: the Alloy constraint analyzer. Alcoa is a...
  • Smallfoot

  • Referenced in 53 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic...
  • Lua

  • Referenced in 40 articles [sw10207]
  • Lua is a powerful, fast, lightweight, embeddable scripting...
  • VTK

  • Referenced in 120 articles [sw10593]
  • The Visualization Toolkit (VTK) is an open-source...
  • PRINCE

  • Referenced in 69 articles [sw13240]
  • PRINCE -- a low-latency block cipher for pervasive...
  • PyTorch

  • Referenced in 426 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks...
  • ImageNet

  • Referenced in 667 articles [sw21105]
  • ImageNet is an image dataset organized according to...
  • GitHub

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

  • Referenced in 474 articles [sw38522]
  • AlexNet is a convolutional neural network that is...