Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "automated" keyword
robopilot 0.3.1
Mouse and Keyboard record and replay application4 versions - Latest release: about 3 years ago - 1.31 thousand downloads total - 2 stars on GitHub - 1 maintainer
debug_sat 0.4.0 💰
A debuggable automatic theorem prover for boolean satisfiability problems (SAT).4 versions - Latest release: about 6 years ago - 2.82 thousand downloads total - 3 stars on GitHub - 1 maintainer
libtptp
Thousands of Problems for Theorem Provers (TPTP) Library1 version - Latest release: 5 days ago - 431 downloads total - 1 stars on GitHub - 1 maintainer
mariadb-mysql-kbs 1.3.0-rc5 💰
An index of the MariaDB and MySQL Knowledge bases5 versions - Latest release: about 2 months ago - 1.52 thousand downloads total - 7 stars on GitHub - 1 maintainer
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
Related Keywords
theorem
3
proving
2
mouse
1
type
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
proof-assistant
1
refinement-types
1
rust
1
theorem-prover
1
type-checking
1
keyboard
1
debug
1
sat
1
cpp-library
1
cpp11
1
libtptp
1
mysql
1
knowledge-base
1
mariadb
1
dataset
1
kb
1
composer-package
1
json
1
library
1
mariadb-knowledge-bases
1
mysql-knowledge-bases
1
npm-package
1
logic
1
proof
1