7 Search Results
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
0.2
LGPL-2.1-only
Used by 0 other packages
relit-reason
Hygienic typed literal macros (TLMs) for Reason
Jordan Walke <jordojw@gmail.com>
Charles Chamberlain <charlespipin@gmail.com
Cyrus Omar <cyrus.omar@gmail.com>
0.0.2
MIT
Used by 2 other packages
relit_helper
A helper library for those wishing to write TLMs using Relit
0.2.0
MIT
Used by 1 other packages