swMATH7180MaRDI QIDQ19233FDOQ19233
Author name not available (Why is that?)
Official website: https://www.scala-lang.org/
Source code repository: https://github.com/scala
Cited In (only showing first 100 items - show all)
- TkWinHOL
- OptiML
- jscl-meditor
- JAS
- Symja
- JaCoP
- FParser
- OCaml
- Isabelle/jEdit
- PIDE
- Erlang
- occam-pi
- Isabelle/PIDE
- Pistache
- Scarab
- BCEL
- Mnemonics
- Facile
- Commonloops
- Pict
- Leon
- Creol
- Linda
- Multilisp
- YAFOOL
- ABC
- DyC
- Flask
- QuakeTM
- JAMPACK
- Proof General Kit
- Tac
- Cecil
- OOLACA
- TSOTool
- SESSL
- PIPER
- SDEF
- CDuce
- smfsb
- RCaller
- XDuce
- Fortress
- RepLib
- Traits
- SakerGrid
- SBMLsimulator
- Joogie
- rJavax
- rJython
- STR2
- Featherweight Java
- SESSL
- Cogent
- CoBoxes
- Ocsigen
- 1ML
- RRB vector
- ScalaMeter
- ScalaTest
- Liszt
- Commons Math
- Forsythe
- gradualizerDynamicSemantics
- OCaml-Java
- LinqOptimizer
- ScalaBlitz
- Rings
- WorkflowFM
- Strymonas
- Guava
- js_of_ocaml
- MixML
- Djinn
- Gen-O-Fix
- GenProg
- ASM
- Dotty
- HMap
- DryadLINQ
- Tribe
- MJ
- CaesarJ
- gbeta
- Dylan
- DBToaster
- Checkmate
- scala-smfsb
- SBML-shorthand
- smfsbSBML
- ThreadSafe
- Nemerle
- Apache Spark
- DiskPaxos
- Knuth Morris Pratt
- ScAS
- Swift
- Valigator: A Verification Tool with Bound and Invariant Generation
- Isabelle/jEdit – A Prover IDE within the PIDE Framework
- PiStache: implementing \(\pi \)-calculus in Scala
This page was built for software: Scala