|
|
VimL |
3 |
TLA+ specification language |
Sep 14, 2021 |
|
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
|
Python |
13 |
RFCs for changes to the Amaranth language and standard components |
Mar 05, 2023 |
|
|
TLA |
2 |
TLA+ specification for the Raft consensus algorithm |
Dec 16, 2022 |
|
|
TLA |
15 |
A TLA+ specification for the Xen vchan protocol |
Jul 03, 2022 |
|
|
TLA |
17 |
TLC models for the MongoDB Replication TLA+ specification. |
May 02, 2022 |
|
|
Shell |
4 |
RFCs for changes to Kadalu https://kadalu.io/rfcs |
May 26, 2021 |
|
|
TLA |
19 |
TLA+ specification of the Ceph consensus algorithm |
Sep 11, 2022 |
|
|
TLA |
2 |
TLA+ Specification of the MongoDB Replication Protocol |
Oct 25, 2023 |
|
|
None |
21 |
RFCs for changes to the `futures` crate |
May 29, 2021 |
|
|
Shell |
2 |
RFCs for changes to the datafruits app |
Sep 05, 2020 |
|
|
None |
2 |
RFCs for changes to the Skytable database. |
Oct 08, 2021 |
|
|
None |
4 |
RFCs for changes to SiliconCompiler |
Dec 08, 2021 |
|
|
Shell |
4 |
RFCs for changes to Ember |
May 18, 2020 |
|
|
None |
4 |
RFCs for changes to TinaCMS |
Mar 26, 2021 |
|
|
None |
4 |
RFCs for changes to Ember |
Jul 19, 2017 |
|
|
Shell |
4 |
RFCs for changes to ReactiveUI |
Aug 21, 2021 |
|
|
None |
5 |
RFCs for changes to Amundsen |
Apr 21, 2022 |
|
|
None |
232 |
RFCs for changes to Svelte |
Jul 27, 2022 |
|
|
None |
414 |
RFCs for changes to Yarn |
Aug 17, 2022 |
|
|
None |
761 |
RFCs for changes to Ember |
Aug 11, 2022 |
|
|
None |
4175 |
RFCs for changes to React |
Aug 11, 2022 |
|
|
Shell |
4629 |
RFCs for changes to Rust |
Sep 01, 2022 |
|
|
Python |
2 |
RFCs for changes to Revolt |
Mar 10, 2023 |
|
|
Shell |
2 |
RFCs for changes to Rust |
Oct 02, 2022 |
|
|
Markdown |
5 |
RFCs for changes to Rust |
Mar 05, 2023 |
|
|
Shell |
2 |
RFCs for changes to Rust |
Apr 18, 2023 |
|
|
None |
12 |
RFCs for changes to Volta |
Aug 21, 2022 |
|
|
None |
3 |
RFCs for changes to Rust |
Jun 18, 2020 |
|
|
None |
2 |
RFCs for changes to Alita |
May 10, 2019 |
|
|
None |
2 |
RFCs for changes to Rust |
Jun 20, 2019 |
|
|
None |
2 |
RFCs for changes to Lux |
Feb 08, 2017 |
|
|
None |
2 |
RFCs for changes to Lit |
Aug 12, 2022 |
|
|
None |
2 |
RFCs for changes to Flexberry |
Sep 09, 2021 |
|
|
None |
2 |
RFCs for changes to BAR |
Aug 22, 2022 |
|
|
Shell |
3 |
RFCs for changes to Ember |
Aug 23, 2019 |
|
|
None |
3 |
RFCs for changes to Yarn |
Jan 13, 2019 |
|
|
None |
3 |
RFCs for changes to Sway |
Jul 16, 2022 |
|
|
None |
3 |
RFCs for changes to DAO |
Aug 23, 2019 |
|
|
None |
3 |
RFCs for changes to Fomantic |
May 05, 2020 |
|
|
None |
3 |
RFCs for changes to Rust |
Jun 16, 2021 |
|
|
None |
3 |
RFCs for changes to MRPT |
Oct 29, 2018 |
|
|
Jupyter Notebook |
16 |
RFCs for changes to Qiskit |
Feb 28, 2022 |
|
|
None |
18 |
RFCs for changes to Babel |
Aug 09, 2022 |
|
|
None |
31 |
RFCs for changes to umi. |
Mar 28, 2021 |
|
|
None |
33 |
RFCs for changes to V |
Jul 26, 2022 |
|
|
None |
39 |
RFCs for changes to React |
Mar 26, 2022 |
|
|
None |
46 |
RFCs for changes to Hls.js |
Apr 02, 2022 |
|
|
None |
57 |
RFCs for Strapi future changes |
Aug 11, 2022 |
|
|
None |
65 |
RFCs for changes to React |
Aug 12, 2022 |