crates.io "type-checking" keyword
omnitype 0.1.1
A hybrid type checker for Python and other dynamic languages3 versions - Latest release: 8 months ago - 672 downloads total - 0 stars on GitHub - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: over 2 years ago - 8.91 thousand downloads total - 22 stars on GitHub - 1 maintainer
veric-cli 0.0.1
Command-line interface for Veric — types-first static analysis for data warehouses1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
veric-core 0.0.1
Core type-checking engine for Veric — types-first static analysis for data warehouses1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
veric-sql 0.0.1
SQL type analysis for Veric — types-first static analysis for data warehouses1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
veric 0.0.1
Types-first static analysis for data warehouses1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: almost 3 years ago - 144 thousand downloads total - 99 stars on GitHub - 1 maintainer
oxilean-elab 0.1.1
OxiLean elaborator - Surface syntax to kernel terms2 versions - Latest release: about 2 months ago - 78 downloads total - 1 stars on GitHub - 1 maintainer
pctx_type_check_runtime 0.1.3
Isolated TypeScript type checking runtime for PCTX4 versions - Latest release: about 1 month ago - 64.1 thousand downloads total - 240 stars on GitHub - 2 maintainers
rusty-typesh 0.1.1
A flexible type pattern matching system for Rust2 versions - Latest release: over 1 year ago - 1.67 thousand downloads total - 0 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: almost 4 years ago - 1 dependent package - 7.63 thousand downloads total - 22 stars on GitHub - 1 maintainer
Related Keywords
static-analysis
5
rust
5
data-warehouse
4
dependent-types
3
logic
3
type
2
sql
2
typechecker
2
rewriting
2
dedukti
2
verification
2
rust-crate
1
rust-lang
1
mathematics
1
rust-library
1
math
1
solver
1
lean4
1
elaborator
1
lean
1
type-theory
1
syntax
1
python
1
pctx
1
typescript
1
ai-agents
1
api
1
infrastructure
1
local-development
1
mcp
1
mcp-server
1
open-source
1
runtime
1
matching
1
pattern-matching
1
library
1
type-checker
1
cli
1
attribute-grammar
1
dbt
1
theorem
1
automated
1
proof
1
assisted-reasoning
1
ast
1
category-theory
1
compiler
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
theorem-prover
1