• Isar

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • MahonianStat

  • Referenced in 12 articles [sw06180]
  • The Mahonian probability distribution on words is asymptotically...
  • JBool

  • Referenced in 115 articles [sw06185]
  • This software promotes some general and useful tools...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • GHC

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • Cardinal

  • Referenced in 10 articles [sw06999]
  • Cardinal: a finite sets constraint solver. In this...
  • FastICA

  • Referenced in 210 articles [sw07225]
  • The FastICA package is a free (GPL) MATLAB...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Daisy

  • Referenced in 36 articles [sw08597]
  • Daisy: Database for the Identification of Systems. We...
  • Pict

  • Referenced in 72 articles [sw08929]
  • Pict is a language in the ML tradition...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • FreshML: programming with binders made simple. FreshML extends...
  • Boost

  • Referenced in 200 articles [sw09223]
  • Boost provides free peer-reviewed portable C++ source...