• Coq

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

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CODA

  • Referenced in 359 articles [sw04290]
  • R package coda: Output analysis and diagnostics for...
  • OCaml

  • Referenced in 276 articles [sw06363]
  • OCaml is the most popular variant of the...
  • JavaScript

  • Referenced in 166 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • PrefLib

  • Referenced in 30 articles [sw07689]
  • PrefLib: a library for preferences. We introduce PrefLib...
  • Church

  • Referenced in 55 articles [sw08946]
  • Church: A language for generative models. We introduce...
  • Yampa

  • Referenced in 10 articles [sw13681]
  • Yampa is a domain-specific embedded language for...
  • XSB

  • Referenced in 144 articles [sw13877]
  • XSB is a Logic Programming and Deductive Database...
  • Koka

  • Referenced in 11 articles [sw19068]
  • Koka: programming with Row polymorphic Effect Types. We...
  • ALGOL 60

  • Referenced in 669 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...
  • Eff

  • Referenced in 21 articles [sw22721]
  • Eff is a functional programming language based on...
  • Links

  • Referenced in 23 articles [sw28847]
  • Links is a functional programming language designed to...
  • PRMLT

  • Referenced in 1221 articles [sw42125]
  • PRMLT: Pattern Recognition and Machine Learning Toolbox. This...