• WhatsHap

  • Referenced in 4 articles [sw23105]
  • them with state-of-the-art statistical phasers...
  • 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...
  • phaseR

  • Referenced in 1 article [sw19764]
  • package phaseR: Phase Plane Analysis of One and Two Dimensional Autonomous ODE Systems. phaseR...
  • Coq

  • Referenced in 1784 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...