• Scala

  • Referenced in 73 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...
  • 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...
  • Apache Spark

  • Referenced in 28 articles [sw28418]
  • Data. It provides high-level APIs in Scala, Java, Python, and R, and an optimized...
  • Isabelle/jEdit

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

  • Referenced in 26 articles [sw08779]
  • running in the Java ecosystem - including Processing, Scala, Jython, and Mathematica. javaPlex was written...
  • Leon

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

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

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

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

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

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

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

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

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

  • Referenced in 1 article [sw32447]
  • Slick: functional relational mapping for scala. Slick is a modern database query and access library ... Scala. It allows you to work with stored data almost as if you were using ... Scala collections while at the same time giving you full control over when a database ... write your database queries in Scala instead of SQL, thus profiting from the static checking...
  • ScalaTest

  • Referenced in 1 article [sw19997]
  • most popular testing tool in the Scala ecosystem. With ScalaTest, you can test Scala, Scala.js ... more productive level in new or existing Scala, Scala.js, or Java projects. Like the Scala...
  • scala-smfsb

  • Referenced in 1 article [sw27070]
  • scala-smfsb; Scala library for stochastic kinetic modelling, biochemical network simulation, and parameter inference, associated...