Lib.rs

› Keywords #combinatorial #boolean #logic #match #serialization #assertions #robust

#predicate

  1. predicates

    boolean-valued predicate functions

    v3.1.3 5.6M #predicate #combinatorial #logic #boolean #match

  2. geometry-predicates

    port of robust geometric predicates

    v0.3.0 10K #predicate #geometry-predicate #robust #exact

  3. tracing-capture

    Capturing tracing spans and events, e.g. for testing

    v0.2.0-beta.1 10K #assertions #testing #tracing #predicate

  4. in_toto_attestation

    Rust bindings for generating in-toto attestations and predicates

    v0.1.0 #attestation #protobuf #bindings #in-toto #predicate

  5. json-predicate

    JSON Predicate lib based on draft-snell-json-07

    v0.1.16 900 #json-processing #predicate #specification #lib #boolean-operations #second-order #serialization #abc

  6. geogram_predicates

    Rust bindings to the Geogram library's predicates module

    v0.2.1 850 #graphics #math #predicate #robust #graphics-math #geometry #computer-graphics

  7. rusty-wam

    The Warren Abstract Machine in Rust

    v0.8.1 #prolog #logic-programming #wam #production-environment #predicate #warren #constraint-programming #forms

  8. specx

    Minimal Specification pattern utilities for Rust with composable predicate specs, boolean combinators, and a micro-DSL

    v0.1.0 #specification #dsl #combinator #pattern #predicate

  9. tensorlogic-adapters

    Symbol tables, axis metadata, and domain masks for TensorLogic

    v0.1.0-alpha.1 #symbol-table #predicate #schema-validation #metadata #json-schema #tensor-logic #tensorlogic #lazy-evaluation #axis #provenance

  10. tt-call

    Token tree calling convention

    v1.0.9 221K #token-tree #calling-convention #conventions #replace #predicate #macro-rules #proc-macro #building-block #recursive-descent #grammar

  11. simple_predicates

    local configuration management utility

    v0.4.2 #serialization #predicate #variables #expression #vec #cnf #dnf #deserialize

  12. split-stream-by

    Stream extension crate for splitting a Stream into two per a predicate

    v0.1.0 2.5K #split #stream #predicate #extension-traits #response #future-stream #async-stream

    13. Try searching with DuckDuckGo.

  13. filtr

    Data structures and tools for representing and evaluating predicate trees

    v0.1.0 250 #structures #structures-for-and-evaluating #tree #predicate #tree-structure #serde

  14. predicates-core

    An API for boolean-valued predicate functions

    v1.0.9 5.2M #predicate #combinatorial #match #logic #boolean

  15. hmac-predicate

    Tower predicate HMAC verification of query params

    v0.6.0 360 #query-parameters #hmac #verification #predicate #tower #axum

  16. refinement

    Convenient creation of type-safe refinement types

    v0.5.0 #type-safe #creation #creation-of-type-safe #predicate #i32 #odd

  17. predicatechecker

    Check that a predicate is true if another is

    v0.5.2 #logic #predicate #check

  18. enum-methods

    Generates methods for each enum variant

    v0.0.8 29K #enums #derive-enums #derive #predicate #is

  19. predicate

    Use enum to predicate something, support & and | operator

    v0.1.0 #enums #boolean #assert #filter

  20. slice-ext

    Useful extensions to slices and iterable types

    v0.1.4 120 #extension #split #slice #matching #predicate

  21. fake-main

    Just like a create-root level #![cfg(...)] macro, but injects a dummy fn main when the predicate is false

    v0.1.3 #fake #level #injects #macro #predicate

  22. detect_rs

    Detect files on your filesystem using arbitrary expression language criteria

    v0.1.0 #file-content #expression-language #your-filesystem #predicate #criteria #debugging #deps

  23. first_order_logic

    first-order logic

    v0.1.0 #first-order #grammar #forms #logical #predicate #assertions #conjunctive #cnf #syntactic #asserting

  24. split-iter

    Allows splitting of iterators

    v0.1.0 25K #split #iterator #predicate #splittable

  25. generic-predicates

    A taste of what const generics could enable in the future

    v0.1.0 #const-generics #future #predicate #taste #generic-const-exprs

  26. retry-predicate

    Retry Predicate

    v0.1.0 #retry #predicate #retry-policy #package

  27. googletest-predicates

    function to convert googletest matchers (https://docs.rs/googletest/latest/googletest/) into predicates (https://docs.rs/predicates/latest/predicates)

    v0.4.0 #matcher #predicate #googletest #convert #latest #mockall

  28. essential-vm

    The Essential VM

    v0.13.0 #vm #predicate #execution #solution #validation

  29. gdp_rs

    implementing Ghosts-of-departed-proofs pattern in rust

    v0.1.1 160 #ghosts #proof #pattern #predicate #create #proven #compound

  30. essential-check

    Core logic related to validating Essential state transitions

    v0.15.0 #validation #state-transition #solution-set #check #predicate

  31. pets

    Predicate existential types

    v0.1.2 #predicate #precondition #refinement-types

  32. jeeves

    WIP: Automatically move or delete files

    v0.1.0 #delete #rules #action #move #predicate #pdf

  33. assert_that

    Helper macros for use with boolean-valued predicate functions

    v0.1.2 #predicate #combinatorial #logic #match #boolean

  34. spark_sdk

    Rust sdk of the Spark

    v0.0.2 #spark #predicate #order #rust-sdk #instance #proxy #order-book

  35. essential-constraint-vm

    The Essential constraint checking VM

    v0.6.0 #constraints #checking #vm #solution #predicate #assembly