Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "type-checker" keyword
pylyzer 0.0.54 💰
A static code analyzer & language server for Python53 versions - Latest release: 3 days ago - 32.7 thousand downloads total - 1,988 stars on GitHub - 1 maintainer
py2erg 0.0.54 💰
A Python -> Erg converter53 versions - Latest release: 3 days ago - 1 dependent package - 32.3 thousand downloads total - 1,988 stars on GitHub - 1 maintainer
enderpy 0.1.0 💰
Python type checker and LSP1 version - Latest release: 8 months ago - 299 downloads total - 52 stars on GitHub - 1 maintainer
enderpy_python_parser 0.1.0
A Python parser written in Rust1 version - Latest release: 8 months ago - 3 dependent packages - 1 dependent repositories - 643 downloads total - 44 stars on GitHub - 1 maintainer
enderpy_lsp 0.1.0
Enderpy language server for Python1 version - Latest release: 8 months ago - 295 downloads total - 44 stars on GitHub - 1 maintainer
enderpy_python_type_checker 0.1.0
A Python type checker1 version - Latest release: 8 months ago - 2 dependent packages - 528 downloads total - 44 stars on GitHub - 1 maintainer
kamo 0.9.3
A library to assist in the creation of an interpreter or compiler and its associated runtime.15 versions - Latest release: 10 days ago - 2.93 thousand downloads total - 3 stars on GitHub - 1 maintainer
fathom 0.0.0
A declarative binary data description language.1 version - Latest release: almost 4 years ago - 2 dependent repositories - 484 downloads total - 256 stars on GitHub - 1 maintainer
go-types 0.1.5
The type checker of the Goscript project.4 versions - Latest release: 8 months ago - 2 dependent packages - 1 dependent repositories - 1.95 thousand downloads total - 1,513 stars on GitHub - 1 maintainer
ezno 0.0.20 💰
A JavaScript type checker and compiler. For use as a library or through the CLI21 versions - Latest release: 27 days ago - 4.73 thousand downloads total - 2,164 stars on GitHub - 1 maintainer
rlfsc 0.2.2
A checker for the LFSC proof language10 versions - Latest release: about 3 years ago - 3.49 thousand downloads total - 0 stars on GitHub - 1 maintainer
kailua_test 1.0.4
Test harness for Kailua1 version - Latest release: about 7 years ago - 2 dependent packages - 1 dependent repositories - 1.16 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_diag 1.0.4
Diagnostics and rudimentary localization support for Kailua1 version - Latest release: about 7 years ago - 7 dependent packages - 1 dependent repositories - 1.65 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_check 1.1.0
Type checker for Kailua3 versions - Latest release: almost 7 years ago - 3 dependent packages - 2.4 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_workspace 1.1.0
Workspace support for Kailua4 versions - Latest release: almost 7 years ago - 2 dependent packages - 3.03 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_langsvr_protocol 1.0.5
Language server protocol types for Kailua2 versions - Latest release: almost 7 years ago - 1 dependent package - 1.78 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua 1.1.0
🌴 Type Checker and IDE Support for Lua4 versions - Latest release: almost 7 years ago - 2.86 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_types 1.1.0
Type system for Kailua3 versions - Latest release: almost 7 years ago - 2 dependent packages - 1 dependent repositories - 2.6 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_syntax 1.1.0
AST and parser for Kailua3 versions - Latest release: almost 7 years ago - 5 dependent packages - 1 dependent repositories - 2.74 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_env 1.0.4
Basic environments for Kailua1 version - Latest release: about 7 years ago - 8 dependent packages - 1 dependent repositories - 1.73 thousand downloads total - 167 stars on GitHub - 1 maintainer
kailua_langsvr 1.1.0
Language server implementation for Kailua4 versions - Latest release: almost 7 years ago - 1 dependent package - 2.87 thousand downloads total - 167 stars on GitHub - 1 maintainer
Related Keywords
vscode-extension
10
lua
10
kailua
10
rust
9
language-server
8
language
7
python
6
static-analysis
6
auto-com
4
auto-complete
4
lsp
4
type-inference
4
parser
4
type-system
3
compiler
2
dependent-types
2
smt
1
proof-checker
1
types
1
typechecker
1
typescript
1
javascript
1
vm
1
scripting-language
1
programing-language
1
lfsc
1
goscript
1
golang
1
diagnostics
1
statically-typed
1
programming-language
1
dsl
1
dependent-record-types
1
declarative
1
data-description-language
1
binary-format
1
binary-data
1
scheme
1
s-expressions
1
rust-library
1
parsing
1
parser-combinators
1
garbage-collection
1
paser-combinators
1
memory-management
1