4 Search Results
linksem
A formalisation of the core ELF file format written in Lem
0.7
BSD-2-Clause
Used by 1 other packages
ott
A tool for writing definitions of programming languages and calculi
0.32
BSD-3-Clause; LGPL-2.1-only
Used by 1 other packages