Lib.rs

› Keywords #irr #rps-lyzer #rpsl #intermediate-representation #verification #parser

#specification-language

  1. pearlite-syn

    A syn parser for the Pearlite specification language in Creusot

    v0.9.0 260 #creusot #specification-language #pearlite #syn #why3 #semi #formal-verification

  2. dol

    DOL (Design Ontology Language) - A declarative specification language for ontology-first development

    v0.8.1 #ontology #dsl #specification-language

  3. route_verification

    Parse RPSL in the IRR to verify observed BGP routes

    v0.7.1 600 #bgp-routing #rpsl #verification #specification-language #irr #rps-lyzer #intermediate-representation

  4. msgpack-schema

    A specification language for MessagePack data format

    v1.1.0 #messagepack #serialization #specification-language #data-schema #transcode #binary-data-format #proptest #deserializer

  5. natural-date-rs

    A parser to convert natural language date and time specifications into DateTime

    v0.3.0 #date-parser #date-time #specification-language #convert #relative-time #expression-parser #nlp #tomorrow #monday #today

  6. merc_syntax

    AST and Pest grammar for the mCRL2 specification language

    v1.0.0 #ast #specification-language #parser #specification

  7. arch-satellite-borsh-derive-internal

    Binary Object Representation Serializer for Hashing

    v0.11.0 #binary-encoding #borsh #serializer-for-hashing #object #specification-language

  8. route_verification_irr

    Parse RPSL in the IRR to verify observed BGP routes

    v0.2.3 430 #bgp-routing #rpsl #irr #verification #routes #specification-language #rps-lyzer #serialization

  9. specl-syntax

    Lexer, parser, and AST for the Specl specification language

    v0.1.0 #ast #lexer #specification-language #specl #parser #tla

  10. route_verification_rib_stats

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.5 340 #bgp-routing #rpsl #verification #parser #specification-language #irr #rps-lyzer #serialization #intermediate-representation

  11. hacspec

    compiler

    v0.2.0-beta.4 #specification-language #compiler #ast #formal-verification #imported #single-file #rust-compiler #rust-nightly

  12. codes-iso-639

    This package contains an implementation of the ISO 639 (Parts 1, 3, and 5) Language Code specifications

    v0.1.5 800 #language-codes #iso-639 #specification-language #scope #part-1

  13. route_verification_parse

    Parse RPSL in the IRR to verify observed BGP routes

    v0.3.2 400 #bgp-routing #parser #rpsl #verification #irr #specification-language #rps-lyzer #intermediate-representation

  14. route_verification_lex

    Parse RPSL in the IRR to verify observed BGP routes

    v0.2.3 420 #routing-policy #bgp #rpsl #parser #verification #irr #specification-language #rps-lyzer #intermediate-representation

  15. route_verification_ir

    Parse RPSL in the IRR to verify observed BGP routes

    v0.3.2 #bgp #rpsl #bgp-routing #verification #specification-language #irr #intermediate-representation #rps-lyzer

  16. route_verification_shared_struct

    Parse RPSL in the IRR to verify observed BGP routes

    v0.2.2 #bgp-routing #rpsl #parser #verification #routes #specification-language #irr #rps-lyzer #intermediate-representation

  17. rusk

    a Specification Language

    v0.1.11 #specification-language #markdown #events #transition #output

  18. route_verification_bgp

    Parse RPSL in the IRR to verify observed BGP routes

    v0.7.1 550 #routing-policy #rpsl #parser #bgp #verification #specification-language #irr #intermediate-representation #policies #rps-lyzer

  19. msgpack-value

    Types and macros for the MessagePack data model

    v1.1.0 #messagepack #serialization #data-model #specification-language #msgpack-schema #data-schema #binary-data-format #proptest

  20. arc-isle

    The Interface Specification Language for the Arc project: design and implementation

    v0.1.2 #specification-language #design #arc #format #primitive #json-schema

  21. route_verification_bgpmap

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.2 260 #routing-policy #rpsl #parser #verification #specification-language #bgp #irr #rps-lyzer #intermediate-representation

  22. route_verification_io

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.2 #bgp-routing #rpsl #parser #verification #irr #specification-language #rps-lyzer #serialization #intermediate-representation

  23. maikor-platform

    Maikor Platform specifications (language, addresses, etc)

    v0.1.29 #maikor #addresses #name #bitmask #byte #sprite #specification-language #post-inc #graphics #dec

  24. route_verification_as_path_regex

    Parse RPSL in the IRR to verify observed BGP routes

    v0.2.2 320 #bgp-routing #rpsl #routes #verification #specification-language #irr #rps-lyzer #intermediate-representation

  25. route_verification_common_regex

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.2 #bgp-routing #parser #rpsl #verification #specification-language #irr #rps-lyzer #serialization #intermediate-representation

  26. cairo-lang-project

    Cairo project specification. For example, crates and flags used for compilation.

    v2.17.0-rc.0 70K #specification-language #flags #flags-for-compilation #stark-net #zero-knowledge-proofs

  27. flp-framework

    Floorplan, a memory layout specification language, code-generation necessities

    v0.1.0 #memory-layout #floorplan #specification-language #codegen #address #memory-access

  28. route_verification_as_rel

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.2 260 #routing-policy #rpsl #parser #verification #irr #bgp #specification-language #rps-lyzer #intermediate-representation

  29. route_verification_graph

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.2 220 #routing-policy #bgp #parser #rpsl #verification #irr #specification-language #rps-lyzer #intermediate-representation

  30. wasm-embedded-spec

    Embedded WASM WITX specification

    v0.4.0 #specification #embedded #witx #wasm #embedded-wasm #specification-language

  31. radix-ecmascript

    Convert floating-point types to string representation as defined in ECMAScript Language Specification Section 9.8.1

    v0.1.0 #javascript #specification-language #radix

  32. isla-cat

    Isla is a symbolic execution engine for Sail instruction set architecture specifications. This crate implements a SMT translator for subset of the cat language used by herd7 to specify relaxed memory models.

    v0.2.0 #instruction-set #cat #smt #memory-model #symbolic-execution #isla #sail #symbolic-execution-engine #specification-language #translator

  33. route_verification_bloom

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.1 #routing-policy #parser #bgp #verification #rpsl #hash-set #irr #specification-language #rps-lyzer #policy-language

  34. stat_route_objects

    Parse RPSL in the IRR to verify observed BGP routes

    v0.1.1 #parser #bgp #routing #rpsl #specification-language #irr #rps-lyzer #routing-policy #intermediate-representation

  35. satellite-lang-idl-spec

    Anchor framework IDL spec

    v0.31.6 #solana #specification-language #semantic #typescript #counter #ethereum

    36. Try searching with DuckDuckGo.

  36. recipe-reader

    A reader for recipe files of the C2 language. See c2lang.org for information about C2 lang and specification of the format.

    v0.9.11 #recipe #specification-language #c2 #format-specification #information

  37. rddl

    Refined Data Description Language (RDDL) specification and parser implementation

    v0.1.1 #description-language #specification-language #parser #refined #primitive

  38. anchor-lang-idl-spec

    Anchor framework IDL spec

    v0.1.0 118K #solana #specification-language #semantic #typescript #counter

  39. flp-compiler

    Floorplan, a memory layout specification language, compiler binding for Rust

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

  40. aligned_media

    "aligned media" format for language-learning software

    v0.1.0 #language-learning #media-format #format-for-language-learning #subtitle #specification-language #srt

  41. sapio-psbt

    working with Partially Signed Bitcoin Transactions (psbts)

    v0.2.4 #bitcoin #sapio #bitcoin-transaction #emulation #compiler #specification-language