Stars
3
stars
written in Java
Clear filter
Free and Open Source, Distributed, RESTful Search Engine
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
This project contains the source code of a tool for generating regular expressions for text extraction: 1. automatically, 2. based only on examples of the desired behavior, 3. without any external …