Alternatives and similar repositories for FSAUtils

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

• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆52Updated 8 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆124Updated 2 years ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆91Updated last month
• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆45Updated 2 years ago
• stanford-ppl / Delite
  The Delite Git Repo
  ☆221Updated 8 years ago
• stanford-ppl / hyperdsl
  ☆58Updated 8 years ago
• blkbsstt / LTL
  A DSL for Linear Temporal Logic + Interface with Z3 for solving
  ☆11Updated 10 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆74Updated 9 years ago
• sanjaydasgupta / JNA4Scala
  JNA for Scala
  ☆10Updated 10 years ago
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• scala / scala.epfl.ch
  web site for the Scala Center @ EPFL in Switzerland
  ☆38Updated last month
• automan-lang / AutoMan
  Human-Computation Runtime
  ☆48Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆163Updated last year
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 8 months ago
• drdozer / graphviz-s
  Graphviz Scala bindings
  ☆54Updated 8 years ago
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 13 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆122Updated 7 months ago
• dph01 / scala-sbt-template
  A template for starting a scala project with sbt
  ☆35Updated 2 years ago
• satabin / swam
  WebAssembly engine in Scala
  ☆52Updated 4 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• scalation / scalation
  Scala Library and Domain-Specific Language (DSL) for Modeling & Simulation
  ☆76Updated last year
• densh / talks
  Slides from talks and preprints of the publications.
  ☆63Updated 5 years ago
• shadaj / scalapy-tensorflow
  Static facades for using TensorFlow in ScalaPy
  ☆35Updated 5 years ago
• stanford-ppl / pir
  ☆15Updated 2 years ago
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• js-scala / js-scala
  js.scala: JavaScript as an embedded DSL in Scala
  ☆176Updated 9 years ago