Pinned Loading

1. ott-lang/ott ott-lang/ott Public

   The Ott tool for writing definitions of programming languages and calculi

   OCaml 347 44

2. rems-project/netsem rems-project/netsem Public

   Network Semantics

   HTML 86 7

3. rems-project/lem rems-project/lem Public

   Lem semantic definition language

   OCaml 130 15

4. rems-project/linksem rems-project/linksem Public

   Semantic model for aspects of ELF static linking and DWARF debug information

   Standard ML 43 7

5. rems-project/sail rems-project/sail Public

   Sail architecture definition language

   Isabelle 617 112

6. nonrotating_necklace nonrotating_necklace Public

   Recreational hackery: a non-rotating necklace

   C++ 2