rindPHI / FSAUtilsLinks
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
☆14Updated 6 years ago
Alternatives and similar repositories for FSAUtils
Users that are interested in FSAUtils are comparing it to the libraries listed below
Sorting:
- The Delite Git Repo☆219Updated 8 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Updated 8 years ago
- Scala Library and Domain-Specific Language (DSL) for Modeling & Simulation☆76Updated 2 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 7 years ago
- The CafeSat SMT solver for Scala☆50Updated 4 years ago
- Verification framework and tool for higher-order Scala programs☆386Updated last month
- Optimus is a mathematical programming library for Scala.☆145Updated last month
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆70Updated 5 years ago
- Solver for higher-order functional programs, used by Stainless☆92Updated last month
- Generate class diagrams from scala source code☆144Updated 4 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 5 years ago
- GPU programming in Scala☆61Updated 13 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆126Updated 2 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆330Updated 6 years ago
- ☆57Updated 8 years ago
- WebAssembly engine in Scala☆51Updated 4 years ago
- The Leon system for verification, synthesis, repair☆166Updated last year
- ☆23Updated 11 years ago
- Simple Scala interface for Graphviz☆35Updated 6 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Updated 10 years ago
- Tutorials on Lightweight Modular Staging☆121Updated last year
- ScalaCL - run Scala on your GPU!☆250Updated 10 years ago
- Shape-safe TensorFlow in Dotty☆47Updated 2 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated 2 months ago
- Scala staging framework☆17Updated 7 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- ☆11Updated 4 years ago
- Library for deep embedding of DSLs based on Scala macros.☆75Updated 9 years ago
- ☆173Updated 4 years ago