GitHub / GaloisInc / LIMA

LIMA: Language for Integrated Modeling and Analysis

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2FLIMA
PURL: pkg:github/GaloisInc/LIMA

Stars: 12
Forks: 2
Open issues: 3

License: None
Language: Haskell
Size: 195 KB
Dependencies parsed at: Pending

Created at: over 8 years ago
Updated at: about 2 years ago
Pushed at: almost 7 years ago
Last synced at: 3 months ago

Topics: code-generation, distributed-systems, fault-tolerance, language, model-checking

Loading...