Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "boolean" keyword
clipper2-sys 0.2.0
Polygon Clipping and Offsetting (Clipper2 wrapper)3 versions - Latest release: about 1 month ago - 692 downloads total - 1 maintainer
truthy 1.1.0
Check if a value is "truthy"3 versions - Latest release: almost 4 years ago - 1 dependent package - 2 dependent repositories - 2.77 thousand downloads total - 0 stars on GitHub - 1 maintainer
rsat-cli
SolHOP SAT Solver1 version - Latest release: about 1 month ago - 429 downloads total - 1 maintainer
bool_ext 0.6.2
A crate which defines and implements a complete set of `Option`/`Result`-style Boolean functional...15 versions - Latest release: 2 months ago - 4 dependent packages - 18 dependent repositories - 31.9 thousand downloads total - 8 stars on GitHub - 1 maintainer
f_times 0.1.0
Simple crate offering a way to do something float times.1 version - Latest release: about 1 year ago - 359 downloads total - 0 stars on GitHub - 1 maintainer
boolnetevo 0.4.0
Evolve populations of boolean networks to approximate bitstring functions and their (unknown) inv...4 versions - Latest release: over 3 years ago - 1.66 thousand downloads total - 1 maintainer
geo-clipper 0.8.0
Boolean operations on polygons11 versions - Latest release: 7 months ago - 7 dependent packages - 9 dependent repositories - 107 thousand downloads total - 28 stars on GitHub - 1 maintainer
boolvec 0.2.6
A vector of boolean stored contiguously in memory.7 versions - Latest release: almost 4 years ago - 2 dependent packages - 1 dependent repositories - 11.2 thousand downloads total - 1 maintainer
apbool 0.1.999
Just arbitrary precision boolean arithmetic for Rust.1 version - Latest release: about 2 years ago - 486 downloads total - 1 stars on GitHub - 1 maintainer
boolean-enums 0.3.4
Generate enums with Yes and No variants. Supports no_std and serde.7 versions - Latest release: over 4 years ago - 2 dependent repositories - 4.85 thousand downloads total - 3 stars on GitHub - 1 maintainer
buf-rand 0.1.3
this crate contains a buffered randomizer for creating random booleans efficiently4 versions - Latest release: over 3 years ago - 2.21 thousand downloads total - 0 stars on GitHub - 1 maintainer
bigwise 0.4.0
Bitwise operations on fixed-size, arbitrary big buffer of bytes.4 versions - Latest release: almost 9 years ago - 4.05 thousand downloads total - 1 maintainer
boolenum 0.1.0
Derive From<bool> and Into<bool> for your boolean enums1 version - Latest release: almost 4 years ago - 1 dependent package - 1 dependent repositories - 27.3 thousand downloads total - 1 stars on GitHub - 1 maintainer
quine-mccluskey 1.0.0
Boolean function minimizer based on Quine–McCluskey algorithm.1 version - Latest release: 2 months ago - 310 downloads total - 0 stars on GitHub - 1 maintainer
truth-values 0.1.0
Generate all possible combinations of N bools1 version - Latest release: about 1 month ago - 251 downloads total - 0 stars on GitHub - 1 maintainer
libreda-logic 0.0.2
Logic library for LibrEDA.1 version - Latest release: 11 months ago - 328 downloads total - 0 stars on codeberg.org - 1 maintainer
clipper2 0.2.3
A polygon Clipping and Offsetting library for Rust.7 versions - Latest release: 13 days ago - 1.75 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 5.3% on crates.io
57 versions - Latest release: 6 months ago - 42 dependent packages - 45 dependent repositories - 673 thousand downloads total - 270 stars on GitHub - 1 maintainer
evalexpr 11.3.0
A powerful arithmetic and boolean expression evaluator57 versions - Latest release: 6 months ago - 42 dependent packages - 45 dependent repositories - 673 thousand downloads total - 270 stars on GitHub - 1 maintainer
Top 4.4% on crates.io
11 versions - Latest release: about 1 year ago - 16 dependent packages - 4,004 dependent repositories - 34.5 million downloads total - 161 stars on GitHub - 1 maintainer
predicates-tree 1.0.9
Render boolean-valued predicate functions results as a tree.11 versions - Latest release: about 1 year ago - 16 dependent packages - 4,004 dependent repositories - 34.5 million downloads total - 161 stars on GitHub - 1 maintainer
Top 4.0% on crates.io
34 versions - Latest release: 4 months ago - 875 dependent packages - 4,184 dependent repositories - 38.2 million downloads total - 161 stars on GitHub - 2 maintainers
predicates 3.1.0
An implementation of boolean-valued predicate functions.34 versions - Latest release: 4 months ago - 875 dependent packages - 4,184 dependent repositories - 38.2 million downloads total - 161 stars on GitHub - 2 maintainers
clipper2c-sys 0.1.0
Exposing unsafe FFI for Clipper2 library for Rust.1 version - Latest release: 27 days ago - 1 dependent package - 141 downloads total - 1 stars on GitHub - 1 maintainer
bool_traits 0.1.1
Use boolean expressions as trait bounds.2 versions - Latest release: about 2 months ago - 1 dependent package - 453 downloads total - 1 maintainer
volute 1.1.3
Boolean functions implementation, represented as lookup tables (LUT) or sum-of-products (SOP)14 versions - Latest release: 5 months ago - 1 dependent package - 4.62 thousand downloads total - 3 stars on GitHub - 1 maintainer
condtype 1.3.0 💰
Choose types at compile-time via boolean constants.4 versions - Latest release: 9 months ago - 1 dependent package - 2 dependent repositories - 86.9 thousand downloads total - 56 stars on GitHub - 1 maintainer
polygon_clipping 0.1.0
An algorithm for computing boolean operations on polygons.1 version - Latest release: 9 months ago - 399 downloads total - 10 stars on GitHub - 1 maintainer
solhop-types 0.1.0
Types for SolHOP1 version - Latest release: over 3 years ago - 3 dependent packages - 2.49 thousand downloads total - 0 stars on GitHub - 1 maintainer
rustollens 0.1.0
A small and experimental library with a type-level representation of booleans with companion conn...1 version - Latest release: over 3 years ago - 463 downloads total - 2 stars on GitHub - 1 maintainer
solhop 0.1.0
SAT and MaxSAT Solver1 version - Latest release: over 3 years ago - 614 downloads total - 0 stars on GitHub - 1 maintainer
msat 0.1.1
MaxSAT Solver2 versions - Latest release: over 3 years ago - 1 dependent package - 1.64 thousand downloads total - 0 stars on GitHub - 1 maintainer
rsat 0.1.12
SAT Solver13 versions - Latest release: over 3 years ago - 3 dependent packages - 3 dependent repositories - 7.45 thousand downloads total - 3 stars on GitHub - 1 maintainer
bool_expr_parser 0.3.13
Boolean expresion parser and evaluation library1 version - Latest release: about 2 years ago - 451 downloads total - 1 stars on GitHub - 1 maintainer
negate 0.1.1
Attribute macro that generates negated versions of functions that return booleans.2 versions - Latest release: over 2 years ago - 767 downloads total - 9 stars on GitHub - 1 maintainer
clipper-sys 0.7.2
Boolean operations on polygons (Clipper wrapper)11 versions - Latest release: about 2 years ago - 1 dependent package - 6 dependent repositories - 107 thousand downloads total - 8 stars on GitHub - 1 maintainer
predicate-macros 0.1.0
Easy to implement predicate crate traits1 version - Latest release: over 2 years ago - 1 dependent package - 861 downloads total - 1 stars on GitHub - 1 maintainer
fool 0.0.4
Traits for interoperation of Boolean and sum types.4 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 9.33 thousand downloads total - 0 stars on GitHub - 1 maintainer
fast-boolean-anf-transform 0.0.2
Fast implementation of the boolean Algebraic Normal Form (ANF) transform2 versions - Latest release: 19 days ago - 223 downloads total - 0 stars on GitHub - 1 maintainer
predicate 0.1.0
Use enum to predicate something, support & and | operator.1 version - Latest release: over 2 years ago - 9 dependent repositories - 1.11 thousand downloads total - 9 stars on GitHub - 1 maintainer
bqrs 0.1.3
apply boolean query to text4 versions - Latest release: over 6 years ago - 2.57 thousand downloads total - 4 stars on GitHub - 1 maintainer
Top 4.4% on crates.io
8 versions - Latest release: about 1 year ago - 12 dependent packages - 4,007 dependent repositories - 34.6 million downloads total - 161 stars on GitHub - 1 maintainer
predicates-core 1.0.6
An API for boolean-valued predicate functions.8 versions - Latest release: about 1 year ago - 12 dependent packages - 4,007 dependent repositories - 34.6 million downloads total - 161 stars on GitHub - 1 maintainer
assert_that 0.1.2
Helper macros for use with boolean-valued predicate functions.3 versions - Latest release: almost 4 years ago - 2 dependent packages - 2 dependent repositories - 2.97 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
rust
11
logic
9
predicate
6
polygon
6
match
5
bool
5
sat
5
satisfiability
5
combinatorial
4
enum
4
solver
4
math
4
clip
4
unsat
3
expression
3
clipper
3
clipper2
3
predicates
3
testing
3
maxsat
3
sat-solver
2
no
2
maxsat-solver
2
rust-lang
2
truth-table
2
yes
2
filter
2
assert
2
offset
2
intersection
1
geometry
1
types
1
union
1
conditional
1
depend
1
condition
1
const
1
type
1
lut
1
lookup-table
1
bounds
1
generics
1
trait
1
expression-evaluator
1
search
1
algebraic
1
transform
1
normal
1
form
1
extension
1
result
1
conversion
1
option
1
proc-macro-attributes
1
proc-macro
1
macro
1
boolean-expression
1
parser
1
bool_expr_parser
1
sls
1
satifiability
1
cdcl
1
text
1
type-level
1
rustollens
1
solhop
1
query
1
evaluate
1
mathematics
1
high-tech
1
boolean-logic
1
boolean-algebra
1
arbitrary-precision
1
api
1
advanced-algorithms
1
data
1
utility
1
library
1
binary
1
vec
1
geo
1
evolution
1
bitstring
1
network
1
inverse
1
float
1
times
1
functional
1
combinator
1
adapter
1
crates
1
truthy
1
arithmetic
1
evaluator
1
networks
1
mig
1
aig
1
vlsi
1
eda
1
product
1