Geeks
GaloisInc
/
LIMA
LIMA: Language for Integrated Modeling and Analysis
Primary Language
Haskell
LIMA GitHub
Markdown
Readme
0
Issues
12
Stargazers
5
Watchers
Stargazers
aogrcs
benjaminfjones
AWS
diasbruno
@Edools
DiGiTAL-CuRSe
dvasiliauskas
Dublin, Ireland
ffrixslee
juanbono
@lambdaclass
quewean
relrod
@Ansible @ Red Hat, Inc.
sdiehl
London
yurrriq
@sportradar