Lib.rs

› 关键字 #verification #routes #bgp #routing #rpsl #irr #parser #formal

规格语言

  1. rtlola-cli

    RTLola解释器的CLI界面

    v0.1.1 #monitoring #interpreter #verification #specification-language #cli-interface #command-line

  2. airlang

    Air编程语言

    v0.5.0 300 #specification-language #specification #logic #solver #formal #language

  3. tree-sitter-tlaplus

    TLA⁺和PlusCal的tree-sitter语法

    v1.3.6 180 #tree-sitter #syntax-tree #query-api #syntax-highlighting #specification-language #tla #parser-generator

  4. pearlite-syn

    Pearlite规范语言的syn解析器

    v0.2.0 180 #specification-language #parser #creusot #syn #why3 #pearlite #verification

  5. rtlola-interpreter

    RTLola规范的解释器

    v0.10.1 100 #interpreter #verification #monitoring #specification-language #csv #command-line-interface

  6. route_verification

    解析IRR中的RPSL以验证观察到的BGP路由

    v0.7.0 130 #rpsl #routing #routes #bgp #specification-language #verification #policy

  7. rpsl

    路由策略规范语言（RPSL）的解析器

    v0.1.1 #specification-language #bgp #routes #irr #syntax-tree #as-set #route

  8. route_verification_rib_stats

    解析IRR中的RPSL以验证观察到的BGP路由

    v0.1.4 130 #irr #routes #rpsl #bgp #routing #specification-language #verification

  9. airlang_bin

    Air编程语言

    v0.5.0 380 #logic #specification #specification-language #solver #language #formal

  10. rpsl-rs

    一个符合RFC 2622的路由策略规范语言（RPSL）解析器，注重速度和正确性

    v1.0.1 #rpsl #parser #routing #policy #whois #specification-language #low-memory

  11. arc-isle

    Arc项目的接口规范语言：设计和实现

    v0.1.2 #interface #specification-language #design #path #arc #url-path #post

  12. fundoc

    文档生成的正确工具

    v0.5.0 #documentation-generator #documentation #generate-documentation #generator #documentation-tool #specification-language #config-file

  13. route_verification_lex

    解析IRR中的RPSL以验证观察到的BGP路由

    v0.2.2 170 #rpsl #specification-language #routing #bgp #routes #irr #verification

  14. route_verification_as_path_regex

    解析IRR中的RPSL以验证观察到的BGP路由

    v0.2.1 140 #routes #rpsl #specification-language #verification #bgp #routing #irr

  15. hacspec

    编译器

    v0.2.0-beta.4 #compiler #formal-verification #single-file #cargo-build #specification-language #cryptography #sure

  16. route_verification_ir

    解析IRR中的RPSL以验证观察到的BGP路由

    v0.3.1 160 #routes #rpsl #bgp #routing #irr #specification-language #verification

  17. route_verification_bgp

    解析IRR中的RPSL以验证观察到的BGP路由

    v0.7.0 130 #rpsl #routes #bgp #routing #irr #parser #specification-language

  18. rusk

    一种规范语言

    v0.1.11 #specification-language #markdown #document #md #greeting #title #output

  19. airlang_ext

    Air编程语言的扩展

    v0.5.0 220 #specification #formal #system-interface #solver #operating-system #specification-language #logic

  20. flp-framework

    Floorplan，一种内存布局规范语言，代码生成需求

    v0.1.0 #memory-layout #specification-language #floorplan #flp #necessities #ensure #v0

  21. hacspec-lib

    hacspec库

    v0.1.0-beta.1 #hacspec #standard #attributes #statistics #specification #programs #specification-language

  22. flp-compiler

    Floorplan，一种内存布局规范语言，Rust语言的编译器绑定

    v0.1.0 #compiler #memory-layout #specification #floorplan #flp #language #specification-language

    23. 尝试使用DuckDuckGo搜索。

  23. reproto-parser

    reproto解析器

    v0.3.36 130 #reproto #specification-language #parser

  24. esl-compiler

    Elephant Specification Language (ESL) 的解析器和编译器实现

    v0.0.0 #specification #compiler #specification-language #esl #elephant #language