crates.io "type-checker" keyword
View the packages on the crates.io package registry that are tagged with the "type-checker" keyword.
enderpy 0.1.0 💰
Python type checker and LSP1 version - Latest release: almost 2 years ago - 1.32 thousand downloads total - 52 stars on GitHub - 1 maintainer
kailua_test 1.0.4
Test harness for Kailua1 version - Latest release: over 8 years ago - 2 dependent packages - 1 dependent repositories - 2.19 thousand downloads total - 170 stars on GitHub - 1 maintainer
typr 0.4.0
A superset of the legendary R25 versions - Latest release: 14 days ago - 9.83 thousand downloads total - 72 stars on GitHub - 1 maintainer
fathom 0.0.0
A declarative binary data description language.1 version - Latest release: about 5 years ago - 2 dependent repositories - 1.5 thousand downloads total - 264 stars on GitHub - 1 maintainer
enderpy_lsp 0.1.0
Enderpy language server for Python1 version - Latest release: almost 2 years ago - 1.37 thousand downloads total - 44 stars on GitHub - 1 maintainer
mago-linter 0.26.1 💰
A PHP linter that identifies common coding errors, style issues, and potential bugs, helping main...64 versions - Latest release: 28 days ago - 34.1 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-syntax 0.26.1 💰
A correct, fast, and memory-efficient PHP syntax implementation, including Lexer, Parser, AST, an...6 versions - Latest release: 28 days ago - 2.34 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-reflection 0.26.1 💰
Offers data structures and APIs to represent and inspect PHP code elements—like classes, function...68 versions - Latest release: 28 days ago - 36.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-reporting 0.26.1 💰
Structured error and diagnostic reporting utilities.67 versions - Latest release: 28 days ago - 37.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-ast 0.22.2 💰
Supplies the data structures and types for representing PHP code as an Abstract Syntax Tree (AST)62 versions - Latest release: 4 months ago - 36.4 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-service 0.0.9 💰
Integrates multiple PHP tooling capabilities—such as parsing, linting, and formatting—into a unif...10 versions - Latest release: 7 months ago - 6.57 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-formatter 0.26.1 💰
Reformats PHP source code according to configurable style rules, ensuring consistent code style a...64 versions - Latest release: 28 days ago - 34.8 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-php-version 0.26.1 💰
Modeling PHP versions (major.minor.patch), with built-in checks for feature support and deprecati...48 versions - Latest release: 28 days ago - 24.8 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-cli 0.0.9 💰
Offers a command-line interface to parsing, linting, formatting, and other analysis tasks, giving...10 versions - Latest release: 7 months ago - 6.46 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-source 0.26.1 💰
Manages PHP source files by providing functions for loading, reading, and referencing PHP code, m...68 versions - Latest release: 28 days ago - 39.5 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-traverser 0.9.1 💰
Provides utilities to traverse AST nodes.37 versions - Latest release: 6 months ago - 21.2 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-span 0.26.1 💰
Tracks exact character positions in source code, making it easier to report precise errors, warni...68 versions - Latest release: 28 days ago - 39.6 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-fixer 0.26.1 💰
Applies automated fixes and transformations to text.68 versions - Latest release: 28 days ago - 38.3 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-type-syntax 0.26.1 💰
Provides core utilities useful for building lexers and parsers within Mago.6 versions - Latest release: 28 days ago - 1.75 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-project 0.26.1 💰
A crate for representing and analyzing PHP projects. It parses PHP source files into ASTs, resolv...30 versions - Latest release: 28 days ago - 13.4 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-semantics 0.9.1 💰
Performs semantic analysis on PHP code, interpreting the AST to check correctness, resolve refere...34 versions - Latest release: 6 months ago - 20 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-syntax-core 0.26.1 💰
Provides core utilities useful for building lexers and parsers within Mago.6 versions - Latest release: 28 days ago - 2.39 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-walker 0.22.2 💰
Provides traits to systematically walk through AST nodes.62 versions - Latest release: 4 months ago - 34.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-reference 0.26.1 💰
Mago Reference is a library for analyzing PHP codebases by providing advanced symbol search capab...32 versions - Latest release: 28 days ago - 14.3 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago 0.26.1 💰
A comprehensive suite of PHP tooling inspired by Rust’s approach, providing parsing, linting, for...64 versions - Latest release: 28 days ago - 39.1 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-docblock 0.26.1 💰
Analyzes PHP docblocks to extract annotations, tags, and documentation comments, aiding tools tha...66 versions - Latest release: 28 days ago - 36.3 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-typing 0.26.1 💰
Provides basic type inference for PHP code, deducing variable and return types to assist in stati...64 versions - Latest release: 28 days ago - 34.5 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-reflector 0.9.1 💰
Allows introspection of PHP code structures, enabling tools to examine classes, interfaces, metho...34 versions - Latest release: 6 months ago - 20 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-casing 0.26.1 💰
A Rust utility for converting strings between various common casing styles.69 versions - Latest release: 28 days ago - 36.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-composer 0.26.1 💰
Parses and models composer.json files67 versions - Latest release: 28 days ago - 35.1 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-lexer 0.22.2 💰
A fast and efficient lexer for PHP code.59 versions - Latest release: 4 months ago - 33.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-trinary 0.26.1 💰
A library implementing three-valued logical operations (true, false, maybe) to handle complex log...68 versions - Latest release: 28 days ago - 36.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-parser 0.22.2 💰
A fast, recursive descent parser for PHP.59 versions - Latest release: 4 months ago - 33.5 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-names 0.26.1 💰
Resolves and normalizes identifiers (classes, functions, constants) within PHP code.64 versions - Latest release: 28 days ago - 34.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-token 0.22.2 💰
Defines the data structures and enumerations representing PHP tokens.62 versions - Latest release: 4 months ago - 36.6 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-symbol-table 0.9.1 💰
A library for discovering and working with symbols in PHP code.34 versions - Latest release: 6 months ago - 20.3 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-interner 0.26.1 💰
A string interning library that stores and reuses identical strings efficiently, improving memory...68 versions - Latest release: 28 days ago - 39.7 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-ast-utils 0.22.2 💰
Helper functions and utilities for working with PHP AST nodes.62 versions - Latest release: 4 months ago - 34.4 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-wasm 0.26.1 💰
Exposes PHP code analysis and tooling functionalities as WebAssembly modules, enabling browser-ba...64 versions - Latest release: 28 days ago - 33.4 thousand downloads total - 487 stars on GitHub - 1 maintainer
mago-feedback 0.0.18 💰
Logging, progress bars, and other feedback utilities.16 versions - Latest release: 7 months ago - 10.4 thousand downloads total - 487 stars on GitHub - 1 maintainer
pyrefly 0.0.1
Coming soon to crates.io.1 version - Latest release: 5 months ago - 529 downloads total - 3,329 stars on GitHub - 1 maintainer
enderpy_python_parser 0.1.0
A Python parser written in Rust1 version - Latest release: almost 2 years ago - 3 dependent packages - 1 dependent repositories - 2.13 thousand downloads total - 44 stars on GitHub - 1 maintainer
py2erg 0.0.82 💰
A Python -> Erg converter81 versions - Latest release: 5 months ago - 1 dependent package - 95.5 thousand downloads total - 2,852 stars on GitHub - 1 maintainer
pylyzer 0.0.82 💰
A static code analyzer & language server for Python76 versions - Latest release: 5 months ago - 110 thousand downloads total - 2,852 stars on GitHub - 1 maintainer
pylyzer_core 0.0.82 💰
pylyzer core17 versions - Latest release: 5 months ago - 13 thousand downloads total - 2,849 stars on GitHub - 1 maintainer
kamo 0.9.4
A library to assist in the creation of an interpreter or compiler and its associated runtime.16 versions - Latest release: about 1 year ago - 16.8 thousand downloads total - 4 stars on GitHub - 1 maintainer
enderpy_python_type_checker 0.1.0
A Python type checker1 version - Latest release: almost 2 years ago - 2 dependent packages - 1.84 thousand downloads total - 44 stars on GitHub - 1 maintainer
ezno 0.0.23 💰
A fast and correct TypeScript type checker and compiler with additional experiments. For use as a...24 versions - Latest release: 9 months ago - 24.3 thousand downloads total - 2,676 stars on GitHub - 1 maintainer
kailua_langsvr 1.1.0
Language server implementation for Kailua4 versions - Latest release: about 8 years ago - 1 dependent package - 6.25 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua 1.1.0
🌴 Type Checker and IDE Support for Lua4 versions - Latest release: about 8 years ago - 6.25 thousand downloads total - 170 stars on GitHub - 1 maintainer
kailua_check 1.1.0
Type checker for Kailua3 versions - Latest release: about 8 years ago - 3 dependent packages - 5 thousand downloads total - 170 stars on GitHub - 1 maintainer
kailua_types 1.1.0
Type system for Kailua3 versions - Latest release: about 8 years ago - 2 dependent packages - 1 dependent repositories - 5.18 thousand downloads total - 170 stars on GitHub - 1 maintainer
kailua_env 1.0.4
Basic environments for Kailua1 version - Latest release: over 8 years ago - 8 dependent packages - 1 dependent repositories - 2.78 thousand downloads total - 170 stars on GitHub - 1 maintainer
kailua_langsvr_protocol 1.0.5
Language server protocol types for Kailua2 versions - Latest release: about 8 years ago - 1 dependent package - 3.6 thousand downloads total - 170 stars on GitHub - 1 maintainer
kailua_diag 1.0.4
Diagnostics and rudimentary localization support for Kailua1 version - Latest release: over 8 years ago - 7 dependent packages - 1 dependent repositories - 2.66 thousand downloads total - 170 stars on GitHub - 1 maintainer
kailua_workspace 1.1.0
Workspace support for Kailua4 versions - Latest release: about 8 years ago - 2 dependent packages - 6.36 thousand downloads total - 170 stars on GitHub - 1 maintainer
go-types 0.1.5
The type checker of the Goscript project.4 versions - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 5.98 thousand downloads total - 1,537 stars on GitHub - 1 maintainer
rlfsc 0.2.2
A checker for the LFSC proof language10 versions - Latest release: over 4 years ago - 11.8 thousand downloads total - 1 stars on GitHub - 1 maintainer
kailua_syntax 1.1.0
AST and parser for Kailua3 versions - Latest release: about 8 years ago - 5 dependent packages - 1 dependent repositories - 5.33 thousand downloads total - 170 stars on GitHub - 1 maintainer
Related Keywords
static-analysis
42
parser
39
code-analyzer
35
code-style
35
coding-standards
35
formatter
35
lexer
35
linter
35
php
35
rust
11
kailua
10
lua
10
vscode-extension
10
language-server
10
language
8
python
8
lsp
5
type-inference
4
auto-complete
4
auto-com
4
type-system
3
types
2
dependent-types
2
typechecker
2
compiler
2
paser-combinators
1
memory-management
1
parser-combinators
1
parsing
1
rust-library
1
s-expressions
1
scheme
1
javascript
1
typescript
1
diagnostics
1
golang
1
goscript
1
programing-language
1
scripting-language
1
vm
1
lfsc
1
smt
1
proof-checker
1
data-description-language
1
declarative
1
dependent-record-types
1
dsl
1
programming-language
1
statically-typed
1
binary-format
1
binary-data
1
transpiler
1
r
1
code-quality
1
contributions-welcome
1
good-first-issue
1
ide
1
type-check
1
typecheck
1
typing
1
garbage-collection
1