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

airlang 0.2.0
The Air Programming Language
16 versions - Latest release: about 1 month ago - 4 dependent packages - 5.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_bin 0.2.0
The Air Programming Language
14 versions - Latest release: about 1 month ago - 4.11 thousand downloads total - 7 stars on GitHub - 1 maintainer
airlang_ext 0.2.0
The Extension of the Air Programming Language
7 versions - Latest release: about 1 month ago - 3 dependent packages - 2.14 thousand downloads total - 7 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 - 3.15 thousand downloads total - 1 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...
10 versions - Latest release: about 1 month ago - 2.8 thousand downloads total - 0 stars on GitHub - 1 maintainer
typeql_lang
TypeQL Language for Rust
1 version - Latest release: 17 days ago - 1 dependent package - 306 downloads total - 212 stars on GitHub - 2 maintainers
typeql 2.28.1
TypeQL Language for Rust
13 versions - Latest release: 17 days ago - 1 dependent package - 4.17 thousand downloads total - 212 stars on GitHub - 1 maintainer
lllllxxxxx 0.0.7
TypeQL Grammar for Rust
7 versions - Latest release: over 2 years ago - 2.6 thousand downloads total - 212 stars on GitHub - 1 maintainer
polyglot_interpreter 1.0.1
A cross-platform, cross-language interpreter of simple logical expressions
3 versions - Latest release: 3 months ago - 1.2 thousand downloads total - 0 stars on GitHub - 1 maintainer
logic-parser 1.3.0
A simple lexer & parser for logical expressions that supports output as AST, JSON and SVG
5 versions - Latest release: 8 months ago - 1.6 thousand downloads total - 0 stars on GitHub - 1 maintainer
implies 0.4.5
A parser for logical formulas
13 versions - Latest release: 4 months ago - 3.77 thousand downloads total - 0 stars on GitHub - 1 maintainer
materially 1.0.0
A macro for material implication
3 versions - Latest release: about 1 month ago - 655 downloads total - 0 stars on GitHub - 1 maintainer
jsonlogic-rs 0.3.3
jsonlogic (jsonlogic.com) implemented in Rust
12 versions - Latest release: about 2 months ago - 1 dependent package - 9.4 thousand downloads total - 37 stars on GitHub - 1 maintainer
ceetle 0.1.0
A Computional Tree Logic (CTL) Verifier
1 version - Latest release: 12 months ago - 397 downloads total - 0 stars on GitHub - 1 maintainer
ceetle_macros 0.1.0
Procedural Macros for the ceetle Library
1 version - Latest release: 12 months ago - 1 dependent package - 594 downloads total - 0 stars on GitHub - 1 maintainer
Top 8.9% on crates.io
piston-ai_behavior 0.33.0 💰
AI behavior tree
41 versions - Latest release: over 2 years ago - 3 dependent packages - 26 dependent repositories - 157 thousand downloads total - 70 stars on GitHub - 1 maintainer
only_torch 0.0.8
仿造pytorch的个人玩具（仍在构思，请勿下载）AI框架
7 versions - Latest release: 10 months ago - 2.19 thousand downloads total - 2 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: about 1 year ago - 2 dependent packages - 1 dependent repositories - 2.75 thousand downloads total - 51 stars on GitHub - 1 maintainer
canrun_collections 0.1.0
Collection related types and goal constructors for the Canrun crate
1 version - Latest release: almost 4 years ago - 542 downloads total - 51 stars on GitHub - 1 maintainer
canrun_basic 0.1.0
Basic goals constructors for the Canrun crate
1 version - Latest release: almost 4 years ago - 544 downloads total - 51 stars on GitHub - 1 maintainer
canrun_codegen 0.2.0
Procedural macros used by the Canrun crate
2 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 1.99 thousand downloads total - 51 stars on GitHub - 1 maintainer
cnfgen 0.3.3
Generate DIMACS CNF formula from operations
6 versions - Latest release: 28 days ago - 2 dependent packages - 2.56 thousand downloads total - 1 stars on GitHub - 1 maintainer
cadical 0.1.14
Rust bindings for the CaDiCaL SAT solver
14 versions - Latest release: over 1 year ago - 4 dependent packages - 2 dependent repositories - 9.21 thousand downloads total - 6 stars on GitHub - 1 maintainer
super-ttt 0.2.0
An implementation of super tic tac toe
4 versions - Latest release: 9 months ago - 1.14 thousand 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: 2 months ago - 3.08 thousand downloads total - 12 stars on GitHub - 1 maintainer
aig 0.1.0
Rust Aig library
1 version - Latest release: about 1 year ago - 446 downloads total - 1 stars on GitHub - 1 maintainer
avalog 0.7.2 💰
An experimental implementation of Avatar Logic with a Prolog-like syntax
23 versions - Latest release: 15 days ago - 1 dependent package - 9.94 thousand downloads total - 64 stars on GitHub - 1 maintainer
joker_calculus 0.11.0
An implementation of Joker Calculus in Rust
12 versions - Latest release: 8 months ago - 3.88 thousand downloads total - 5 stars on GitHub - 1 maintainer
last_order_logic 0.2.0
An experimental logical language
2 versions - Latest release: over 2 years ago - 791 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 - 486 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: 8 months ago - 578 downloads total - 1 stars on GitHub - 1 maintainer
rsmonad-macros 0.1.2
Haskell-style monads for idiomatic Rust.
3 versions - Latest release: about 1 year ago - 1 dependent package - 854 downloads total - 18 stars on GitHub - 1 maintainer
rsmonad 0.2.4
Haskell-style monads for idiomatic Rust.
7 versions - Latest release: about 1 year ago - 1 dependent package - 2.02 thousand downloads total - 18 stars on GitHub - 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.52 thousand downloads total - 1 maintainer
saleae 0.1.0
a rust library for interacting with saleae devices
2 versions - Latest release: almost 4 years ago - 904 downloads total - 1 maintainer
cudd 0.1.4
Cudd Rust library
5 versions - Latest release: about 1 year ago - 1.6 thousand downloads total - 1 stars on GitHub - 1 maintainer
same-as 1.0.0
Type equality in stable Rust.
1 version - Latest release: about 1 year ago - 1 dependent package - 749 downloads total - 2 stars on GitHub - 1 maintainer
type-level-logic 0.1.0
Primitive types and operations for type-level logic.
1 version - Latest release: over 7 years ago - 1.22 thousand downloads total - 7 stars on GitHub - 1 maintainer
logic_gate 0.4.0
Logic Gates
6 versions - Latest release: over 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 bools
1 version - Latest release: about 2 months ago - 251 downloads total - 0 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
logic-form 0.1.1
Rust library for representing Cube, Clause, CNF and DNF
2 versions - Latest release: about 1 year ago - 1 dependent package - 870 downloads total - 0 stars on GitHub - 1 maintainer
logic-gates
Logic Gates
1 version - Latest release: 17 days ago - 254 downloads total - 2 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
air_main 0.0.1
The Main Library of the Air Programming Language
1 version - Latest release: about 2 months 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
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 proving
2 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 prover
2 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 format
4 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 Rust
31 versions - Latest release: 4 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 rewriting
5 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 rewriting
7 versions - Latest release: 5 months ago - 2.19 thousand downloads total - 18 stars on GitHub - 1 maintainer
Top 4.4% on crates.io
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
predicates 3.1.0
An implementation of boolean-valued predicate functions.
34 versions - Latest release: 5 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 solver
2 versions - Latest release: 8 months ago - 1 dependent package - 1.99 thousand downloads total - 3 stars on GitHub - 1 maintainer
airagi 0.0.1
The Air Artificial General Intelligence
1 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 Intelligence
1 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 formulas
6 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: over 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: 5 months ago - 1 dependent package - 4.62 thousand downloads total - 3 stars on GitHub - 1 maintainer
summon 0.3.1 💰
A logic engine designed to magically give you what you ask for
4 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 assistant
1 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 theory
8 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 arithmetics
1 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
gpp-solver 0.2.2
A small hybrid push-pull solver/planner that has the best of both worlds
4 versions - Latest release: over 2 years ago - 1.45 thousand downloads total - 0 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
proto-vulcan 0.1.6
A miniKanren-family relational logic programming language embedded in Rust
7 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 Rust
52 versions - Latest release: 12 months ago - 15.6 thousand downloads total - 58 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 output
2 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 editor
2 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 theory
2 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 properties
6 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 logic
5 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 Rust
11 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 graphs
2 versions - Latest release: over 1 year ago - 594 downloads total - 5 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 Rust
1 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 lib
1 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 clauses
2 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 simulation
8 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 is
2 versions - Latest release: 11 months ago - 657 downloads total - 0 stars on GitHub - 1 maintainer
logicmap 0.0.1 💰
Simple computational boolean logic data structure
2 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: 24 days ago - 1.89 thousand downloads total - 14 stars on GitHub - 1 maintainer
lemu 0.2.20
M-LOG runner
26 versions - Latest release: 4 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: 25 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 time
1 version - Latest release: 11 months ago - 397 downloads total - 0 stars on GitLab.com - 1 maintainer
jsonlogic 0.5.1
A JsonLogic implementation in Rust
8 versions - Latest release: about 4 years ago - 1 dependent repositories - 9.07 thousand downloads total - 5 stars on GitHub - 1 maintainer
mdbook-wavedrom-rs 0.1.0
A MdBook preprocessor for WaveDrom Digital Timing Diagrams
1 version - Latest release: 12 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-JS
1 version - Latest release: 12 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 logic
27 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
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 inference
6 versions - Latest release: over 2 years ago - 2 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
rust 22 solver 10 math 9 boolean 9 language 7 first-order 6 parser 6 sat 6 air 6 logic-programming 5 proofs 5 prover 5 rust-lang 5 metaprogramming 5 types 5 dsl 5 kanren 5 graph 4 formal-specification 4 artificial-intelligence 4 cnf 4 logic-gates 4 formal 4 ai 4 dependent-types 4 verification 4 testing 4 rewriting 4 specification 4 programming-language 4 programming-languages 4 proof-of-concept 4 specification-language 4 logical-programming 4 match 4 predicate 4 combinatorial 4 gates 4 advancedresearch 4 inference 4 model-finding 3 chase 3 theorem-proving 3 razor 3 map 3 geometric-logic 3 simulation 3 theorem 3 wasm 3 binary 3 satisfiability 3 query 3 query-language 3 reasoning 3 type-system 3 gate 3 polymorphism 3 circuit 3 polymorphic 3 typedb 3 typeql 3 predicates 3 type-checking 3 strongly-typed 3 emulator 3 database 3 logical 3 typechecker 3 digital 3 dedukti 3 truth-table 3 model-finder 2 geometric 2 proving 2 schematic 2 library 2 save 2 type-level 2 type 2 mindustry 2 api 2 programming 2 fuzzy 2 agi 2 javascript 2 proof-assistant 2 json 2 jsonlogic 2 ctl 2 game 2 simulator 2 waveform 2 cnfgen 2 wavedrom 2 diagrams 2 reactive 2 timing 2 diagram 2 signal 2 aig 2