• WhatsHap

  • Referenced in 5 articles [sw23105]
  • them with state-of-the-art statistical phasers...
  • phaseR

  • Referenced in 2 articles [sw19764]
  • package phaseR: Phase Plane Analysis of One and Two Dimensional Autonomous ODE Systems. phaseR...
  • PHASER

  • Referenced in 1 article [sw01194]
  • Phaser provides a powerful, yet inviting, computing environment specifically crafted for the graphical and numerical ... difference equations, from linear to chaotic. Phaser has been designed to meet the needs ... instructors, or researchers. Written in pure Java, Phaser can be used on multiple platforms...
  • Coq

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

  • Referenced in 10 articles [sw12806]
  • Goldilocks: a race and transaction-aware Java runtime...
  • TUTSIM

  • Referenced in 6 articles [sw25610]
  • TUTSIM (Twente University of Technology SIMulator) was developed...