Alternatives and similar repositories for FSAUtils:

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

• regb / scala-smtlib
  Scala library for parsing and printing the SMT-LIB format
  ☆44Updated 2 years ago
• stanford-ppl / Forge
  A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
  ☆51Updated 8 years ago
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆123Updated last year
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated this week
• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• stanford-ppl / Delite
  The Delite Git Repo
  ☆220Updated 8 years ago
• epfl-lara / smart
  Verification and Generation of Smart Contracts using Stainless and Scala
  ☆35Updated 4 years ago
• blkbsstt / LTL
  A DSL for Linear Temporal Logic + Interface with Z3 for solving
  ☆11Updated 10 years ago
• stanford-ppl / hyperdsl
  ☆58Updated 8 years ago
• scala-yinyang / scala-yinyang
  Library for deep embedding of DSLs based on Scala macros.
  ☆74Updated 9 years ago
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆162Updated last year
• sanjaydasgupta / JNA4Scala
  JNA for Scala
  ☆10Updated 10 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆367Updated last week
• firepile / firepile
  GPU programming in Scala
  ☆61Updated 12 years ago
• scala / scala.epfl.ch
  web site for the Scala Center @ EPFL in Switzerland
  ☆39Updated this week
• tristanpenman / chordial
  A simple Scala implementation of Chord, a distributed lookup protocol
  ☆24Updated 2 years ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 3 years ago
• Mononofu / Scalisp
  A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !
  ☆48Updated 9 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• densh / talks
  Slides from talks and preprints of the publications.
  ☆63Updated 5 years ago
• TiarkRompf / lms-clean
  ☆55Updated last year
• ciren / cilib
  Typesafe, purely functional Computational Intelligence
  ☆124Updated 2 years ago
• scalan / scalan
  Generic framework for development of domain-specific compilers in Scala
  ☆96Updated 7 years ago
• automan-lang / AutoMan
  Human-Computation Runtime
  ☆48Updated last year
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• drdozer / graphviz-s
  Graphviz Scala bindings
  ☆54Updated 8 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last month
• noelwelsh / pfennig
  A Probabilistic Functional Programming Language DSL in Scala
  ☆63Updated 9 years ago