• Scala

  • Referenced in 91 articles [sw07180]
  • Steps in Scala. An introduction to object-functional programming. Scala is a highly expressive, concise ... this book, the authors show how Scala grows to the needs of the programmer, whether ... professional or hobbyist. They teach Scala with a step-by-step approach and explain ... object and functional-oriented natures combined at Scala’s core, and so write code that...
  • Apache Spark

  • Referenced in 64 articles [sw28418]
  • Data. It provides high-level APIs in Scala, Java, Python, and R, and an optimized...
  • CCSTM

  • Referenced in 34 articles [sw33312]
  • CCSTM: A library-based STM for Scala. We introduce CCSTM, a library-based software transactional ... Scala, and give an overview of its design and imple-mentation. Our design philosophy ... calls on instances of a reference type. Scala’s flexible method names, implicit parameters...
  • javaPlex

  • Referenced in 40 articles [sw08779]
  • running in the Java ecosystem - including Processing, Scala, Jython, and Mathematica. javaPlex was written...
  • Isabelle/jEdit

  • Referenced in 32 articles [sw06432]
  • bilingual architecture that combines ML and Scala [2]. The overall aim is to connect...
  • OscaR

  • Referenced in 17 articles [sw09908]
  • OscaR is a Scala toolkit for solving Operations Research problems. The techniques currently available...
  • Leon

  • Referenced in 11 articles [sw09159]
  • verification system for a subset of the Scala programming language. Along with several functional features ... Scala, Leon supports imperative constructs such as mutations and loops, using a translation into recursive...
  • CoCalc

  • Referenced in 14 articles [sw23626]
  • Markdown/HTML, ... General purpose computing: Python, Octave, Julia, Scala, … Zero Setup: getting started does not require...
  • PIDE

  • Referenced in 11 articles [sw06404]
  • bilingual architecture that combines ML and Scala [2]. The overall aim is to connect...
  • Figaro

  • Referenced in 11 articles [sw28902]
  • Figaro is tightly integrated into the Scala programming language, giving it access to a rich...
  • rscala

  • Referenced in 3 articles [sw26312]
  • Integration of R and Scala Using rscala. The rscala software is a simple ... bridge between R and Scala that allows users to leverage the unique strengths of both ... languages in a single project. Scala classes can be instantiated from R and Scala methods ... called. Arbitrary Scala code can be executed on-the-fly from within R and callbacks...
  • miniKanren

  • Referenced in 6 articles [sw20082]
  • including Scheme, Racket, Clojure, Haskell, Python, JavaScript, Scala, Ruby, OCaml, and PHP, among many other...
  • PSync

  • Referenced in 5 articles [sw17450]
  • implemented an embedding of PSync in the Scala programming language with a runtime system...
  • ScalaQL

  • Referenced in 3 articles [sw13850]
  • ScalaQL: Language-Integrated Database Queries for Scala. One of the most ubiquitous elements of modern ... concept of type safe embedded queries in Scala without any modifications to the language itself...
  • LaCasa

  • Referenced in 2 articles [sw34853]
  • LaCasa: Lightweight affinity and object capabilities in Scala. Aliasing is a known source of challenges ... uniqueness in an existing, widely-used language, Scala. The approach is unique ... type system is implemented for the full Scala language, providing, for the first time ... sound integration with Scala’s local type inference. Finally, we empirically evaluate the conformity...
  • Concrete

  • Referenced in 2 articles [sw34782]
  • constraint solver written in Scala 2.13. We always try to use up-to-date dependencies ... XCSP2 format or its own Java and Scala DSL (yet to be documented...
  • Scarab

  • Referenced in 3 articles [sw07397]
  • provides a rich constraint modeling language on Scala and enables a programmer to rapidly specify...
  • ConCon

  • Referenced in 3 articles [sw21589]
  • rewrite systems (CTRSs). It is written in Scala and available under the LGPL license...