IPOSE遇见更好的你！

https://github.com/neo-project/specification

2018-06-13

开源项目/

8
https://github.com/grayswandyr/electrod

2018-01-18

开源项目/

9
https://github.com/input-output-hk/utxo-wallet-specification

2018-11-09

开源项目/

0
https://github.com/dgpv/miniscript-alloy-spec

2020-11-25

开源项目/

7
https://github.com/pokt-network/pocket-protocol-spec

2019-12-16

开源项目/

0
https://github.com/mrLSD/riscv-fs

2019-08-28

开源项目/

170
https://github.com/azmanuddin94/FormalMethod

2017-12-21

开源项目/

0
https://github.com/will62794/snapshot-isolation-spec

2018-02-19

开源项目/

12
https://github.com/js-choi/proposal-smart-pipelines

2018-02-10

开源项目/

177
https://github.com/spidermoy/tree_sort_verificated

2019-06-12

开源项目/

0
https://github.com/project-oak/silveroak

2019-07-31

开源项目/

48
https://github.com/spaceavocado/apidoc

2019-01-30

开源项目/

11
https://github.com/squid-lang/spec

2017-10-25

开源项目/

2
https://github.com/Componolit/RecordFlux

2018-02-07

开源项目/

53
https://github.com/vinahradau/finma

2020-04-29

开源项目/

1
https://github.com/scottdorman/languagespecs.info

2017-02-11

开源项目/

1
input-output-hk/cardano-ledger-specs

2018-09-24

开源项目/ Ada

15
https://github.com/mbeddr/mbeddr.formal

2017-10-25

开源项目/

12
https://github.com/namasikanam/raft-spin

2021-03-31

开源项目/

3
https://github.com/PatrickShaw/University-FIT3013-LiftSystemSpecification

2016-08-30

开源项目/

2