olean-export cargo 0.3.0 clean Optimized library for reading Lean .olean files directly emitting lean4export-compatible NDJSON for external kernel checkers. 91 1d ago axiolid-brep-boolean cargo 0.1.9 clean General exact B-rep booleans over analytic faces (ADR 0075) 431 2d ago serde-bool cargo 0.1.6 clean Single value, true or false, boolean deserializers 10M 7d ago i_overlay cargo 9.0.1 clean Boolean Operations for 2D Polygons: Supports intersection, union, difference, xor, and self-intersections for all polygon varieties. 9M 4d ago vortex-bytebool cargo 0.88.0 clean Vortex byte-boolean array 332K 4d ago linesweeper cargo 0.5.0 clean Robust sweep-line algorithm and two-dimensional boolean ops 29K 7d ago boolmesh cargo 0.2.1 clean Robust 3D mesh boolean library 19K 1d ago matches2 cargo 1.2.1 clean A macro to evaluate, as a boolean, whether an expression matches a pattern. 16K 4d ago brepkit-algo cargo 4.1.49 clean GFA boolean algorithm engine for brepkit 7.3K 1d ago brepkit-operations cargo 4.1.49 clean CAD modeling operations (booleans, fillets, extrusions) for brepkit 7.0K 1d ago resharp-algebra cargo 0.7.6 clean boolean algebra and symbolic rewriting engine for resharp regex 2.4K 6h ago axiolid-mesh-compile cargo 0.3.22 clean Scalar reference MeshCompiler: profiles, extrusion, transforms, boolean dispatch. 1.9K 6h ago uqa-operators cargo 0.5.3 clean Operator trait and primitives: term, vector, filter, score, boolean, hybrid 1.1K 1d ago ogeom-bool cargo 0.10.0 clean Boolean operations: general fuse and the filters over it 977 6h ago aria-router-decision cargo 1.6.0 clean Boolean decisions and projections for aria-router 818 2d ago phronesis-rhai cargo 0.38.0 clean Rhai script evaluator for the phronesis RETE engine — expressive `__script__` guard conditions with numeric comparisons and boolean combinators over fact… 710 2d ago owl-dl-datatypes cargo 0.4.38 clean Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl 612 1d ago dynamo-truthy cargo 1.5.1 clean Canonical truthy/falsy boolean flag parsing for Dynamo 587 5d ago ogeom cargo 0.10.0 clean A boundary-representation CAD kernel: geometry, topology, booleans, blends, offsets, tessellation, drawings and exchange 529 6h ago hypercast cargo not built 0.8.0 did not build Allocation-free parsers for scalars from untrusted text — booleans, numerics, UUIDs, and temporals. Every parse returns a verdict (the value, or a closed… 303 2d ago arris-ops cargo 0.7.0 clean Arris kernel: primitives, sweeps, transforms, booleans and mass properties 110 11h ago urge-engines cargo not built 0.1.4 did not build URGE logic engine implementations: Boolean, Modal, Deontic, Temporal, Epistemic, Fuzzy, Paraconsistent 94 2d ago 