13 search results for "author:"Kathy Gray""
Showing 1 - 13
-
Lem is a tool for lightweight executable mathematics2022-12-10BSD-3-Clause; LGPL-2.1-or-laterUsed by 3 other packages12 Dec 2022
-
Sail is a language for describing the instruction semantics of processors0.18BSD-2-ClauseUsed by 10 other packages07 Aug 2024
-
Sail is a language for describing the instruction semantics of processors0.18BSD-2-ClauseUsed by 0 other packages07 Aug 2024
-
Sail to C translation0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail to Coq translation0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail documentation generator0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail to LaTeX formatting0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail to Lem translation0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Helper tool for compiling Sail0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail to OCaml translation0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Example Sail output plugin0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail to C translation0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024
-
Sail to Systemverilog translation0.18BSD-2-ClauseUsed by 1 other packages07 Aug 2024