Alternatives and similar repositories for FSAUtils

Users that are interested in FSAUtils are comparing it to the libraries listed below

• scalation / scalation
  Scala Library and Domain-Specific Language (DSL) for Modeling & Simulation
  ☆76Updated 2 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆51Updated 8 years ago
• vagmcs / Optimus
  Optimus is a mathematical programming library for Scala.
  ☆149Updated last week
• stanford-ppl / Delite
  The Delite Git Repo
  ☆219Updated 8 years ago
• blkbsstt / LTL
  A DSL for Linear Temporal Logic + Interface with Z3 for solving
  ☆11Updated 10 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 8 years ago
• mikeyhu / scaladiagrams
  Generate class diagrams from scala source code
  ☆144Updated 7 months ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 5 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 4 years ago
• Ldpe2G / Graphviz4S
  Simple Scala interface for Graphviz
  ☆35Updated 6 years ago
• nativelibs4java / ScalaCL
  ScalaCL - run Scala on your GPU!
  ☆251Updated 10 years ago
• stanford-ppl / hyperdsl
  ☆57Updated 8 years ago
• rubenfiszel / scala-drl
  Scala Deep Reinforcement library on top of Deeplearning4j
  ☆36Updated 6 years ago
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 13 years ago
• cascala / galileo
  Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
  ☆70Updated 6 years ago
• hbf / akka-throttler
  A throttler for Akka 2.0+
  ☆45Updated 12 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 12 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆127Updated 2 years ago
• shadaj / scalapy-tensorflow
  Static facades for using TensorFlow in ScalaPy
  ☆35Updated 5 years ago
• storm-enroute / coroutines
  Scala coroutines implementation.
  ☆163Updated 8 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆168Updated last year
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆391Updated 2 weeks ago
• ThoughtWorksInc / Compute.scala
  Scientific computing with N-dimensional arrays
  ☆200Updated last year
• retronym / macrocosm
  Exploration of Scala macros
  ☆152Updated 12 years ago
• portable-scala / sbt-crossproject.g8
  Giter8 template for a simple project that uses sbt-crossproject.
  ☆11Updated 7 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆122Updated last year
• wasted / scala-util
  Scala Utility Library used at wasted.io
  ☆28Updated 8 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆93Updated 3 weeks ago
• adamw / scala-macro-debug
  Scala macros for making debugging easier
  ☆83Updated 6 years ago
• MaximeKjaer / tf-dotty
  Shape-safe TensorFlow in Dotty
  ☆47Updated 3 years ago