This is stars and forks stats for /rems-project/sail repository. As of 20 Apr, 2024 this repository has 477 stars and 72 forks.
The Sail ISA specification language Overview Sail is a language for describing the instruction-set architecture (ISA) semantics of processors. Sail aims to provide a engineer-friendly, vendor-pseudocode-like language for describing instruction semantics. It is essentially a first-order imperative language, but with lightweight dependent typing for numeric types and bitvector lengths, which are automatically checked using Z3. It has been used for several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/. Given...
The Sail ISA specification language Overview Sail is a language for describing the instruction-set architecture (ISA) semantics of processors. Sail aims to provide a engineer-friendly, vendor-pseudocode-like language for describing instruction semantics. It is essentially a first-order imperative language, but with lightweight dependent typing for numeric types and bitvector lengths, which are automatically checked using Z3. It has been used for several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/. Given...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
HJackH/CodeBook-Sample | TeXC++ | 0 | 0 | 10 | 0 |
tonybaloney/vscode-pets | TypeScriptJavaScriptCSS | 1.8k | 0 | 276 | 0 |
dracula/dracula-ui | TypeScriptJavaScriptCSS | 867 | +5 | 37 | 0 |
firebase/firebase-tools | TypeScriptJavaScriptShell | 3.8k | -1 | 941 | +1 |
marklawlor/nativewind | TypeScriptMDXJavaScript | 3.1k | 0 | 162 | 0 |
va7deo/SNK68 | VerilogSystemVerilogVHDL | 15 | 0 | 1 | 0 |
WeAreMahsaAmini/TwitterScraper | VueGoTypeScript | 73 | 0 | 7 | 0 |
edk2-porting/MU-sm8150pkg | CHTMLAssembly | 56 | 0 | 45 | 0 |
LouisNDupuis/idi_mcts_70-515 | Classic ASPC#JavaScript | 1 | 0 | 1 | 0 |
museapphq/infinitecanvas.tools | AstroJavaScriptCSS | 80 | 0 | 22 | 0 |