|
|
None |
2 |
Working Draft of the RISC-V Debug Specification Standard |
Jan 26, 2021 |
|
|
TeX |
358 |
Working Draft of the RISC-V Debug Specification Standard |
Apr 20, 2023 |
|
|
C |
101 |
Working Draft of the RISC-V Processor Trace Specification |
Jun 25, 2022 |
|
|
Makefile |
111 |
Working Draft of the RISC-V J Extension Specification |
Apr 03, 2023 |
|
|
TeX |
21 |
C++ Modules Technical Specification working draft. |
Feb 14, 2022 |
|
|
Makefile |
187 |
Working draft of the proposed RISC-V Bitmanipulation extension |
Apr 18, 2023 |
|
|
VHDL |
11 |
🐛 JTAG debug transport module (DTM) - compatible to the RISC-V debug specification. |
Aug 29, 2022 |
|
|
None |
3 |
Working draft of the proposed RISC-V V vector extension |
Jun 09, 2022 |
|
|
Assembly |
3 |
Working draft of the proposed RISC-V V vector extension |
Nov 14, 2021 |
|
|
Assembly |
713 |
Working draft of the proposed RISC-V V vector extension |
Apr 22, 2023 |
|
|
None |
2 |
Working draft of the proposed RISC-V V vector extension |
Oct 31, 2023 |
|
|
Shell |
249 |
Working draft of "GraphQL over HTTP" specification |
Aug 19, 2022 |
|
|
None |
3 |
Working draft of "GraphQL over HTTP" specification |
Mar 30, 2023 |
|
|
HTML |
8 |
`Intl.UnitFormat` specification [draft] |
Feb 07, 2022 |
|
|
None |
17 |
LDT specification draft |
Oct 28, 2022 |
|
|
HTML |
25 |
`Intl.PluralRules` specification [draft] |
Jan 24, 2022 |
|
|
HTML |
27 |
`Intl.ListFormat` specification [draft] |
Feb 23, 2022 |
|
|
HTML |
32 |
`Intl.Locale` specification [draft] |
Jan 24, 2022 |
|
|
None |
60 |
Virtio draft specification |
Aug 10, 2022 |
|
|
HTML |
215 |
`Intl.RelativeTimeFormat` specification [draft] |
Jul 25, 2022 |
|
|
None |
9 |
HALe specification draft |
Jan 28, 2023 |
|
|
TeX |
69 |
The draft C++ Reflection Technical Specification |
May 12, 2022 |
|
|
TeX |
44 |
Erlang Language Specification (Draft) |
Apr 21, 2022 |
|
|
HTML |
5 |
The (draft) OpenID Contract Exchange Extension specification. |
Dec 18, 2021 |
|
|
None |
3 |
The (draft) OpenID User Experience Extension specification. |
Dec 18, 2021 |
|
|
HTML |
63 |
The draft C++ Library Concurrency Technical Specification |
Jan 28, 2022 |
|
|
HTML |
95 |
The draft C++ Library Fundamentals Technical Specification |
Jun 09, 2022 |
|
|
TeX |
12 |
Draft specification of the proposed Financial Benchmark |
Mar 05, 2023 |
|
|
Makefile |
3 |
The repo will be used to hold the draft non-ISA RISC-V ACPI Functional Fixed Hardware … |
Sep 24, 2023 |
|
|
Bluespec |
14 |
RISC-V BSV Specification |
Dec 12, 2021 |
|
|
CSS |
19 |
OGC API - Coverages draft specification |
Dec 22, 2021 |
|
|
CSS |
19 |
OGC API - Tiles draft specification |
Apr 20, 2022 |
|
|
CSS |
38 |
OGC API - Map draft specification |
Jul 01, 2022 |
|
|
TeX |
3 |
The draft C++ Extensions for Networking Technical Specification |
Aug 31, 2021 |
|
|
C++ |
14 |
Reference implementation of the draft C++ GraphBLAS specification. |
Aug 11, 2022 |
|
|
TeX |
78 |
The draft C++ Extensions for Networking Technical Specification |
Jul 05, 2022 |
|
|
None |
4 |
WebCL 1.2 Working Draft by the WebCL Working Group |
Oct 03, 2018 |
|
|
Makefile |
2 |
RISC-V Software Interrupts Specification |
May 22, 2022 |
|
|
Coq |
79 |
RISC-V Specification in Coq |
Jul 25, 2022 |
|
|
Zig |
5 |
Zig wrapper around the RISC-V SBI specification |
Dec 01, 2022 |
|
|
None |
6 |
DRAFT version of BaseNext style specification |
Jul 25, 2022 |
|
|
HTML |
18 |
DRAFT: did:web Decentralized Identifier Method Specification |
Aug 12, 2022 |
|
|
SystemVerilog |
98 |
RISC-V Debug Support for our PULP RISC-V Cores |
Jul 24, 2022 |
|
|
TeX |
114 |
M17 standard specification |
Aug 11, 2022 |
|
|
Python |
2 |
A draft of the ABI specification text in Markdown. |
May 22, 2023 |
|
|
None |
8 |
Overview page for the RISC-V debug task group |
Sep 07, 2021 |
|
|
None |
6 |
Source information for the HTTP/2 debug state internet draft. |
Feb 27, 2017 |
|
|
None |
2 |
RISC-V UNIX-class Platform Specification |
Apr 08, 2021 |
|
|
Makefile |
103 |
RISC-V Profiles and Platform Specification |
Apr 17, 2023 |
|
|
HTML |
5 |
Draft specification for Verifiable Issuers and Verifiers |
Mar 17, 2023 |