Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "logic" keyword
logic_gate 0.4.0
Logic Gates6 versions - Latest release: about 1 year ago - 1.68 thousand downloads total - 2 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
jsonlogic-rs 0.3.3
jsonlogic (jsonlogic.com) implemented in Rust12 versions - Latest release: about 1 month ago - 1 dependent package - 8.94 thousand downloads total - 32 stars on GitHub - 1 maintainer
fuzzy-expert 0.1.0
A fuzzy logic library with support for mamdani fuzzy inference.1 version - Latest release: over 1 year ago - 360 downloads total - 1 maintainer
aig 0.1.0
Rust Aig library1 version - Latest release: about 1 year ago - 440 downloads total - 1 stars on GitHub - 1 maintainer
logic-form 0.1.1
Rust library for representing Cube, Clause, CNF and DNF2 versions - Latest release: about 1 year ago - 1 dependent package - 870 downloads total - 0 stars on GitHub - 1 maintainer
typeql_lang
TypeQL Language for Rust1 version - Latest release: 1 day ago - 1 dependent package - 285 downloads total - 212 stars on GitHub - 2 maintainers
lllllxxxxx 0.0.7
TypeQL Grammar for Rust7 versions - Latest release: over 2 years ago - 2.4 thousand downloads total - 212 stars on GitHub - 1 maintainer
logic-gates
Logic Gates1 version - Latest release: 2 days ago - 254 downloads total - 2 stars on GitHub - 1 maintainer
libreda-logic 0.0.2
Logic library for LibrEDA.1 version - Latest release: 10 months ago - 328 downloads total - 0 stars on codeberg.org - 1 maintainer
air_main 0.0.1
The Main Library of the Air Programming Language1 version - Latest release: about 1 month ago - 237 downloads total - 7 stars on GitHub - 1 maintainer
trilean 1.1.0
Kleene's three-valued logic (boolean + unknown).4 versions - Latest release: almost 3 years ago - 3 dependent packages - 82 dependent repositories - 471 thousand downloads total - 2 stars on GitHub - 1 maintainer
typeql 2.28.1
TypeQL Language for Rust13 versions - Latest release: 2 days ago - 1 dependent package - 3.65 thousand downloads total - 211 stars on GitHub - 1 maintainer
bitr 0.1.1
Minimal BitScript interpreter.2 versions - Latest release: about 1 year ago - 610 downloads total - 1 stars on GitHub - 1 maintainer
cop 0.2.0
Highly efficient first-order connection proving2 versions - Latest release: 8 months ago - 1 dependent package - 1.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
meancop 0.2.0
More efficient, albeit non-lean connection prover2 versions - Latest release: 8 months ago - 742 downloads total - 7 stars on GitHub - 1 maintainer
dedukti-parse 0.3.1
Parser for the Dedukti file format4 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 2.35 thousand downloads total - 21 stars on GitHub - 1 maintainer
splr 0.17.2
A modern CDCL SAT solver in Rust31 versions - Latest release: 3 months ago - 3 dependent packages - 2 dependent repositories - 12.9 thousand downloads total - 71 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: almost 2 years ago - 1 dependent package - 2.38 thousand downloads total - 21 stars on GitHub - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: 4 months ago - 2.19 thousand downloads total - 18 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
cat_solver 3.1.1
Rust bindings for the Kissat SAT solver2 versions - Latest release: 7 months ago - 1 dependent package - 1.99 thousand downloads total - 3 stars on GitHub - 1 maintainer
airlang_ext 0.2.0
The Extension of the Air Programming Language6 versions - Latest release: 18 days ago - 3 dependent packages - 1.53 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang 0.2.0
The Air Programming Language15 versions - Latest release: 18 days ago - 4 dependent packages - 4.23 thousand downloads total - 7 stars on GitHub - 1 maintainer
airagi 0.0.1
The Air Artificial General Intelligence1 version - Latest release: 5 months ago - 1 dependent package - 284 downloads total - 1 stars on GitHub - 1 maintainer
airagi-bin 0.0.1
The Air Artificial General Intelligence1 version - Latest release: 5 months ago - 279 downloads total - 1 stars on GitHub - 1 maintainer
rustlogic 0.2.1
A Rust Library for basic parsing and handling of logical formulas6 versions - Latest release: about 1 year ago - 1 dependent package - 2 dependent repositories - 2.48 thousand downloads total - 2 stars on GitHub - 1 maintainer
rustlogic-march1917 0.1.0
A Rust Library for basic parsing and handling of logical formulas(forked from coastalwhite)1 version - Latest release: about 1 year ago - 1 dependent package - 598 downloads total - 2 stars on GitHub - 1 maintainer
volute 1.1.3
Boolean functions implementation, represented as lookup tables (LUT) or sum-of-products (SOP)14 versions - Latest release: 4 months ago - 1 dependent package - 4.62 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 8.9% on crates.io
41 versions - Latest release: over 2 years ago - 3 dependent packages - 26 dependent repositories - 154 thousand downloads total - 70 stars on GitHub - 1 maintainer
piston-ai_behavior 0.33.0 💰
AI behavior tree41 versions - Latest release: over 2 years ago - 3 dependent packages - 26 dependent repositories - 154 thousand downloads total - 70 stars on GitHub - 1 maintainer
summon 0.3.1 💰
A logic engine designed to magically give you what you ask for4 versions - Latest release: about 4 years ago - 1.61 thousand downloads total - 6 stars on GitHub - 1 maintainer
qbar 0.0.0
the rational proof assistant1 version - Latest release: over 3 years ago - 469 downloads total - 1 stars on GitHub - 1 maintainer
junglefowl-macros 0.1.1
Macros for type-level mathematical computation.2 versions - Latest release: about 1 year ago - 1 dependent package - 772 downloads total - 0 stars on GitHub - 1 maintainer
tnt 1.0.2
Simple runtime validated proofs in number theory8 versions - Latest release: over 1 year ago - 3.24 thousand downloads total - 4 stars on GitHub - 1 maintainer
foliage 0.1.0
Abstract syntax tree for first-order logic with integer arithmetics1 version - Latest release: over 4 years ago - 541 downloads total - 6 stars on GitHub - 1 maintainer
junglefowl 0.1.1
Brutally murdering Rust's type system one proof at a time.2 versions - Latest release: about 1 year ago - 580 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
cadical 0.1.14
Rust bindings for the CaDiCaL SAT solver14 versions - Latest release: over 1 year ago - 4 dependent packages - 2 dependent repositories - 8.96 thousand downloads total - 6 stars on GitHub - 1 maintainer
gpp-solver 0.2.2
A small hybrid push-pull solver/planner that has the best of both worlds4 versions - Latest release: over 2 years ago - 1.45 thousand downloads total - 0 stars on GitHub - 1 maintainer
canrun_codegen 0.2.0
Procedural macros used by the Canrun crate2 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 1.94 thousand downloads total - 51 stars on GitHub - 1 maintainer
razor-chase 0.1.0
razor-chase implements a variation of The Chase algorithm to find models for theories in geometri...1 version - Latest release: over 4 years ago - 1 dependent package - 1.2 thousand downloads total - 55 stars on GitHub - 1 maintainer
canrun_collections 0.1.0
Collection related types and goal constructors for the Canrun crate1 version - Latest release: almost 4 years ago - 518 downloads total - 51 stars on GitHub - 1 maintainer
canrun_basic 0.1.0
Basic goals constructors for the Canrun crate1 version - Latest release: almost 4 years ago - 519 downloads total - 51 stars on GitHub - 1 maintainer
proto-vulcan 0.1.6
A miniKanren-family relational logic programming language embedded in Rust7 versions - Latest release: over 2 years ago - 2.93 thousand downloads total - 10 stars on GitHub - 1 maintainer
prop 0.47.0
Propositional logic with types in Rust52 versions - Latest release: 11 months ago - 15.6 thousand downloads total - 58 stars on GitHub - 1 maintainer
canrun 0.5.0
A logic programming library inspired by the *Kanren family of language DSLs.5 versions - Latest release: 12 months ago - 2 dependent packages - 1 dependent repositories - 2.64 thousand downloads total - 51 stars on GitHub - 1 maintainer
logical_solver 1.0.2
Rust based logic parser, evaluator, and truth table constructor!1 version - Latest release: about 1 year ago - 332 downloads total - 0 stars on GitHub - 1 maintainer
exec-sat 0.1.1
Executes SAT solver and parses SAT solver output2 versions - Latest release: over 1 year ago - 1 dependent package - 975 downloads total - 0 stars on GitHub - 1 maintainer
spaghetti 0.1.1
Logic simulator with graphical editor2 versions - Latest release: about 2 years ago - 697 downloads total - 0 stars on GitHub - 1 maintainer
razor-fol 0.1.0
razor-fol is a library for parsing and syntactic manipulation of first-order theories.1 version - Latest release: over 4 years ago - 2 dependent packages - 1 dependent repositories - 1.53 thousand downloads total - 55 stars on GitHub - 1 maintainer
fuzzylogic 0.2.0
Provides operations for fuzzy set theory2 versions - Latest release: about 1 year ago - 571 downloads total - 0 stars on GitHub - 1 maintainer
pocket_prover-set 0.5.0 💰
A base logical system for PocketProver to reason about set properties6 versions - Latest release: over 1 year ago - 3 thousand downloads total - 1 stars on GitHub - 1 maintainer
razor 0.1.0
razor is a command-line tool for constructing finite models for first-order theories.1 version - Latest release: over 4 years ago - 571 downloads total - 55 stars on GitHub - 1 maintainer
tribool 0.3.0 💰
Tribool - Three-valued logic5 versions - Latest release: over 2 years ago - 1 dependent package - 3 dependent repositories - 5.93 thousand downloads total - 0 stars on GitHub - 1 maintainer
mini-kanren 0.4.0
miniKANREN in Rust11 versions - Latest release: over 3 years ago - 1 dependent repositories - 3.94 thousand downloads total - 6 stars on GitHub - 1 maintainer
logic-lang 0.0.2
structural logic based on equivalence graphs2 versions - Latest release: about 1 year ago - 594 downloads total - 5 stars on GitHub - 1 maintainer
avalog 0.7.1 💰
An experimental implementation of Avatar Logic with a Prolog-like syntax22 versions - Latest release: almost 2 years ago - 1 dependent package - 9.54 thousand downloads total - 64 stars on GitHub - 1 maintainer
deferred 1.1.0
Rust crate to help perform deferred execution of code logic.2 versions - Latest release: over 5 years ago - 1.32 thousand downloads total - 1 stars on GitHub - 1 maintainer
telo 0.1.0
Temporal specifications in Rust1 version - Latest release: over 1 year ago - 437 downloads total - 0 stars on GitHub - 1 maintainer
math_sd 0.0.1
An all around math lib1 version - Latest release: over 2 years ago - 432 downloads total - 0 stars on GitHub - 1 maintainer
lrs 0.1.1 💰
Library for resolving (conjunctive) normal-form logical clauses2 versions - Latest release: over 6 years ago - 1.46 thousand downloads total - 0 stars on GitHub - 1 maintainer
logicsim 0.1.7
composable, modular, digital logic simulation8 versions - Latest release: over 3 years ago - 3.13 thousand downloads total - 31 stars on GitHub - 1 maintainer
predicatechecker 0.5.2
Check that a predicate is true if another is2 versions - Latest release: 11 months ago - 657 downloads total - 0 stars on GitHub - 1 maintainer
logicmap 0.0.1 💰
Simple computational boolean logic data structure2 versions - Latest release: about 3 years ago - 814 downloads total - 0 stars on GitHub - 1 maintainer
bevy_logic 0.6.0
A logic gate simulation plugin for Bevy.10 versions - Latest release: 9 days ago - 1.89 thousand downloads total - 14 stars on GitHub - 1 maintainer
lemu 0.2.20
M-LOG runner26 versions - Latest release: 3 months ago - 6.43 thousand downloads total - 3 stars on GitHub - 1 maintainer
mindus 5.0.25
A library for working with mindustry data formats (eg schematics and maps) (fork of plandustry)91 versions - Latest release: 10 days ago - 1 dependent repositories - 21.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
temex 0.10.0
Regex-like temporal expressions for evaluating systems that change over time1 version - Latest release: 11 months ago - 397 downloads total - 0 stars on GitLab.com - 1 maintainer
jsonlogic 0.5.1
A JsonLogic implementation in Rust8 versions - Latest release: about 4 years ago - 1 dependent repositories - 9.07 thousand downloads total - 5 stars on GitHub - 1 maintainer
cnfgen 0.3.3
Generate DIMACS CNF formula from operations6 versions - Latest release: 13 days ago - 2 dependent packages - 2.34 thousand downloads total - 1 stars on GitHub - 1 maintainer
mdbook-wavedrom-rs 0.1.0
A MdBook preprocessor for WaveDrom Digital Timing Diagrams1 version - Latest release: 11 months ago - 315 downloads total - 67 stars on GitHub - 1 maintainer
wavedrom 0.1.0
A Pure Rust Digital Timing Diagram Generator based on WaveDrom-JS1 version - Latest release: 11 months ago - 1 dependent package - 546 downloads total - 67 stars on GitHub - 1 maintainer
pocket_prover 0.17.0 💰
A fast, brute force, automatic theorem prover for first order logic27 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 12.2 thousand downloads total - 35 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
pocket_prover-derive 0.8.0 💰
Derive procedural macros for `pocket_prover`.8 versions - Latest release: over 1 year ago - 1 dependent package - 3.72 thousand downloads total - 35 stars on GitHub - 1 maintainer
ask-bayes 0.2.1 💰
CLI tool for Bayesian inference6 versions - Latest release: about 2 years ago - 2 thousand downloads total - 1 stars on GitHub - 1 maintainer
logicng 0.1.0-alpha.3
A Library for Creating, Manipulating, and Solving Boolean Formulas3 versions - Latest release: 8 months ago - 874 downloads total - 7 stars on GitHub - 3 maintainers
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: 10 months ago - 32.6 thousand downloads total - 99 stars on GitHub - 1 maintainer
logic_tracer 0.0.9
Recognize a logic proposition and trace its truth value, also generate a truth table (still in de...9 versions - Latest release: 22 days ago - 2.19 thousand downloads total - 0 stars on GitHub - 1 maintainer
polyglot_interpreter 1.0.1
A cross-platform, cross-language interpreter of simple logical expressions3 versions - Latest release: 3 months ago - 1.05 thousand downloads total - 0 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
logic-parser 1.3.0
A simple lexer & parser for logical expressions that supports output as AST, JSON and SVG5 versions - Latest release: 8 months ago - 1.34 thousand downloads total - 0 stars on GitHub - 1 maintainer
airlang_bin 0.2.0
The Air Programming Language13 versions - Latest release: 18 days ago - 3.21 thousand downloads total - 7 stars on GitHub - 1 maintainer
implies 0.4.5
A parser for logical formulas13 versions - Latest release: 4 months ago - 3.17 thousand downloads total - 0 stars on GitHub - 1 maintainer
materially 1.0.0
A macro for material implication3 versions - Latest release: 21 days ago - 301 downloads total - 0 stars on GitHub - 1 maintainer
ceetle_macros 0.1.0
Procedural Macros for the ceetle Library1 version - Latest release: 12 months ago - 1 dependent package - 517 downloads total - 0 stars on GitHub - 1 maintainer
ceetle 0.1.0
A Computional Tree Logic (CTL) Verifier1 version - Latest release: 12 months ago - 335 downloads total - 0 stars on GitHub - 1 maintainer
only_torch 0.0.8
仿造pytorch的个人玩具（仍在构思，请勿下载）AI框架7 versions - Latest release: 10 months ago - 1.9 thousand downloads total - 2 stars on GitHub - 1 maintainer
super-ttt 0.2.0
An implementation of super tic tac toe4 versions - Latest release: 8 months ago - 986 downloads total - 0 stars on GitHub - 1 maintainer
logic-mesh 0.1.10
Control logic engine using event based and reactive blocks written in Rust.11 versions - Latest release: about 2 months ago - 2.66 thousand downloads total - 11 stars on GitHub - 1 maintainer
last_order_logic 0.2.0
An experimental logical language2 versions - Latest release: over 2 years ago - 712 downloads total - 5 stars on GitHub - 1 maintainer
joker_calculus 0.11.0
An implementation of Joker Calculus in Rust12 versions - Latest release: 7 months ago - 3.47 thousand downloads total - 5 stars on GitHub - 1 maintainer
apbool 0.1.999
Just arbitrary precision boolean arithmetic for Rust.1 version - Latest release: about 2 years ago - 425 downloads total - 1 stars on GitHub - 1 maintainer
bitslice 0.1.1
A crate to transpose bits into and out of bitslice format, and perform various operations on bits...2 versions - Latest release: 7 months ago - 484 downloads total - 1 stars on GitHub - 1 maintainer
rsmonad-macros 0.1.2
Haskell-style monads for idiomatic Rust.3 versions - Latest release: 12 months ago - 1 dependent package - 739 downloads total - 18 stars on GitHub - 1 maintainer
rsmonad 0.2.4
Haskell-style monads for idiomatic Rust.7 versions - Latest release: 12 months ago - 1 dependent package - 1.79 thousand downloads total - 18 stars on GitHub - 1 maintainer
saleae 0.1.0
a rust library for interacting with saleae devices2 versions - Latest release: over 3 years ago - 826 downloads total - 1 maintainer
q1tsim-logic-gates 0.2.1
This is an extension crate to q1tsim implementing the AND, OR and XOR logic cates in a quantum co...4 versions - Latest release: over 3 years ago - 1.39 thousand downloads total - 1 maintainer
same-as 1.0.0
Type equality in stable Rust.1 version - Latest release: about 1 year ago - 1 dependent package - 676 downloads total - 2 stars on GitHub - 1 maintainer
Related Keywords
rust
22
solver
10
math
9
boolean
9
language
7
air
6
first-order
6
sat
6
parser
6
dsl
5
kanren
5
prover
5
rust-lang
5
proofs
5
types
5
metaprogramming
5
logic-programming
5
ai
4
testing
4
combinatorial
4
specification
4
formal
4
artificial-intelligence
4
formal-specification
4
logical-programming
4
programming-language
4
programming-languages
4
proof-of-concept
4
specification-language
4
gates
4
predicate
4
rewriting
4
dependent-types
4
match
4
verification
4
logic-gates
4
cnf
4
graph
4
advancedresearch
4
inference
4
geometric-logic
3
model-finding
3
theorem-proving
3
dedukti
3
typechecker
3
emulator
3
satisfiability
3
digital
3
binary
3
type-checking
3
theorem
3
simulation
3
predicates
3
truth-table
3
map
3
gate
3
circuit
3
chase
3
type-system
3
reasoning
3
query-language
3
query
3
polymorphism
3
polymorphic
3
strongly-typed
3
database
3
typeql
3
typedb
3
logical
3
razor
3
wasm
3
library
2
game
2
javascript
2
mindustry
2
ctl
2
proving
2
programming
2
proof-assistant
2
model-finder
2
geometric
2
reactive
2
type-level
2
cnfgen
2
svg
2
signal
2
diagram
2
timing
2
diagrams
2
formal_method
2
model_checking
2
aig
2
fuzzy
2
type
2
wavedrom
2
simulator
2
waveform
2
jsonlogic
2
schematic
2
save
2