crates.io "automated" keyword
View the packages on the crates.io package registry that are tagged with the "automated" keyword.
mariadb-mysql-kbs 1.3.0 💰
An index of the MariaDB and MySQL Knowledge bases9 versions - Latest release: about 1 year ago - 9.62 thousand downloads total - 8 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 129 thousand downloads total - 99 stars on GitHub - 1 maintainer
robopilot 0.3.1
Mouse and Keyboard record and replay application4 versions - Latest release: over 4 years ago - 4.54 thousand downloads total - 4 stars on GitHub - 1 maintainer
debug_sat 0.4.0 💰
A debuggable automatic theorem prover for boolean satisfiability problems (SAT).4 versions - Latest release: over 7 years ago - 6.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
neo-install 0.1.2
A blazingly fast Rust-based alternative installer for NeoForge.3 versions - Latest release: 4 months ago - 1.14 thousand downloads total - 0 stars on GitHub - 1 maintainer
libtptp
Thousands of Problems for Theorem Provers (TPTP) Library1 version - Latest release: about 1 month ago - 1.19 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
theorem
3
rust
2
proving
2
dataset
1
proof-assistant
1
refinement-types
1
theorem-prover
1
type-checking
1
keyboard
1
mouse
1
debug
1
sat
1
clap
1
cli
1
downloads
1
easy
1
fast
1
installer
1
java
1
libsui
1
minecraft
1
neoforge
1
setup
1
tool
1
tools
1
cpp-library
1
cpp11
1
libtptp
1
kb
1
knowledge-base
1
mariadb
1
mysql
1
composer-package
1
json
1
library
1
mariadb-knowledge-bases
1
mysql-knowledge-bases
1
npm-package
1
type
1
proof
1
logic
1
assisted-reasoning
1
ast
1
category-theory
1
compiler
1
dependent-types
1
error-reporting
1
lambda-calculus
1
lambda-calculus-interpreter
1
language
1
lexer
1
lint
1
lsts
1
parser
1