Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / TorXakis / TorXakis
A tool for Model Based Testing
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/TorXakis%2FTorXakis
Stars: 44
Forks: 12
Open Issues: 326
License: bsd-3-clause
Language: Haskell
Repo Size: 9.17 MB
Dependencies:
322
Created: almost 7 years ago
Updated: about 1 year ago
Last pushed: about 2 years ago
Last synced: 12 months ago
Topics: composable-models, executable-specification, formal-methods, model, test, test-case-generation, test-suite, testing-framework, testing-tool
Files
Dependencies
- base *
- behavedefs *
- behaveenv *
- bexpr *
- containers *
- coreenv *
- defs *
- extra *
- mtl *
- solve *
- text *
- valexpr *
- value *
- HUnit * test
- MissingH * test
- base * test
- behavedefs * test
- behaveenv * test
- bexpr * test
- containers * test
- coreenv * test
- defs * test
- extra * test
- mtl * test
- solve * test
- text * test
- txs-compiler * test
- valexpr * test
- value * test
- base *
- containers *
- deepseq *
- text *
- valexpr *
- QuickCheck * test
- base * test
- bexpr * test
- containers * test
- valexpr * test
- base *
- behavedefs *
- containers *
- defs *
- mtl *
- process *
- solve *
- valexpr *
- MissingH *
- base *
- bexpr *
- bytestring *
- containers *
- deepseq *
- hexpat *
- mtl *
- text *
- text-via-sockets *
- valexpr *
- base *
- behave *
- behaveenv *
- bexpr *
- containers *
- coreenv *
- deepseq *
- defs *
- lpeutils *
- mtl *
- random *
- solve *
- text *
- valexpr *
- value *
- HUnit * test
- MissingH * test
- base * test
- behave * test
- behaveenv * test
- bexpr * test
- containers * test
- coreenv * test
- deepseq * test
- defs * test
- lpeutils * test
- mtl * test
- random * test
- solve * test
- text * test
- valexpr * test
- value * test
- MissingH *
- aeson *
- base *
- bexpr *
- cnect *
- containers *
- core *
- coreenv *
- deepseq *
- defs *
- directory *
- extra *
- filepath *
- lpeops *
- lpeutils *
- mtl *
- network *
- optparse-applicative *
- serverenv *
- text *
- txs-compiler *
- valexpr *
- yaml *
- QuickCheck * test
- base * test
- hspec * test
- lpeops * test
- lpeutils * test
- network * test
- optparse-applicative * test
- server * test
- MissingH *
- array *
- base *
- containers *
- lexregexxsd *
- mtl *
- process *
- random *
- random-shuffle *
- regex-tdfa *
- text *
- time *
- valexpr *
- HUnit * test
- MissingH * test
- array * test
- base * test
- containers * test
- lexregexxsd * test
- mtl * test
- process * test
- regex-tdfa * test
- solve * test
- text * test
- time * test
- valexpr * test
- array *
- base *
- containers *
- deepseq *
- lexregexxsd *
- regex-tdfa *
- text *
- HUnit * test
- QuickCheck * test
- base * test
- hspec * test
- hspec-contrib * test
- ieee754 * test
- text * test
- valexpr * test
- MissingH *
- base *
- behaveenv *
- containers *
- coreenv *
- deepseq *
- defs *
- mtl *
- regex-tdfa *
- text *
- txs-compiler *
- valexpr *
- HUnit * test
- array * test
- base * test
- bytestring * test
- containers * test
- hexpat * test