crates.io "type-inference" keyword
View the packages on the crates.io package registry that are tagged with the "type-inference" keyword.
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
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
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
gluon_repl 0.18.2
REPL for gluon. A static, type inferred programming language for application embedding31 versions - Latest release: almost 2 years ago - 92.3 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 7.5% on crates.io
30 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 51.6 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_format 0.18.2
Code formatting for the gluon programming language30 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 51.6 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 6.6% on crates.io
40 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 126 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_vm 0.18.2
The virtual machine for executing the gluon programming language40 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 126 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
26 versions - Latest release: almost 2 years ago - 5 dependent packages - 3 dependent repositories - 48.5 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_codegen 0.18.2
Code generation macros for the gluon programming language26 versions - Latest release: almost 2 years ago - 5 dependent packages - 3 dependent repositories - 48.5 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
41 versions - Latest release: almost 2 years ago - 3 dependent packages - 3 dependent repositories - 127 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_check 0.18.2
The typechecker for the gluon programming language41 versions - Latest release: almost 2 years ago - 3 dependent packages - 3 dependent repositories - 127 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
30 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 44.5 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_completion 0.18.2
Auto-completion for the gluon programming language30 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 44.5 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 6.7% on crates.io
42 versions - Latest release: almost 2 years ago - 6 dependent packages - 3 dependent repositories - 75.7 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_base 0.18.2
Basic type definitions and functions for the gluon programming language42 versions - Latest release: almost 2 years ago - 6 dependent packages - 3 dependent repositories - 75.7 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_c-api 0.18.2
C-api for gluon, a static, type inferred programming language for application embedding33 versions - Latest release: almost 2 years ago - 42.9 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
gluon_doc 0.18.2
The documentation generator for the gluon programming language23 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 32.4 thousand downloads total - 3,326 stars on GitHub - 1 maintainer
Top 6.9% on crates.io
40 versions - Latest release: almost 2 years ago - 5 dependent packages - 3 dependent repositories - 70.6 thousand downloads total - 3,320 stars on GitHub - 1 maintainer
gluon_parser 0.18.2
The parser for the gluon programming language40 versions - Latest release: almost 2 years ago - 5 dependent packages - 3 dependent repositories - 70.6 thousand downloads total - 3,320 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
41 versions - Latest release: almost 2 years ago - 9 dependent packages - 4 dependent repositories - 69.9 thousand downloads total - 3,320 stars on GitHub - 1 maintainer
gluon 0.18.2
A static, type inferred programming language for application embedding41 versions - Latest release: almost 2 years ago - 9 dependent packages - 4 dependent repositories - 69.9 thousand downloads total - 3,320 stars on GitHub - 1 maintainer
polytype 7.0.1
A Hindley-Milner polymorphic typing system.34 versions - Latest release: over 1 year ago - 1 dependent package - 7 dependent repositories - 65.9 thousand downloads total - 58 stars on GitHub - 2 maintainers
enderpy 0.1.0 💰
Python type checker and LSP1 version - Latest release: almost 2 years ago - 1.24 thousand downloads total - 52 stars on GitHub - 1 maintainer
casm-fe removed
Corinthian Abstract State Machine (CASM) Front-End (FE)1 version - Latest release: 6 months ago - 968 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
rust
15
language
12
repl
11
programming-language
11
gluon
11
functional
11
embeddable
11
compiler
11
type-checker
4
static-analysis
4
python
4
lsp
4
language-server
4
auto-complete
4
auto-com
4
symbol-table
1
library
1
frontend
1
casm
1
abstract-syntax-tree
1
types
1
polymorphism
1
hindley-milner
1
inference
1
type
1
unification
1
typing
1
scripting
1
script
1