Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "typechecker" keyword
pikelet 0.0.0
A friendly little systems language with first-class types.1 version - Latest release: almost 6 years ago - 751 downloads total - 605 stars on GitHub - 1 maintainer
ts-runtime-typechecker 0.1.6
A command line tool that generates ts/js typechecker functions from typescript types1 version - Latest release: 4 months ago - 267 downloads total - 2 stars on GitHub - 1 maintainer
binary-serialize-derive 0.0.1 💰
A small representation for objects in the Ezno checker, used for caching to make checking faster2 versions - Latest release: 11 months ago - 1 dependent package - 4 dependent repositories - 7.28 thousand downloads total - 2,164 stars on GitHub - 1 maintainer
ezno-parser 0.1.4 💰
Parser and AST definitions for Ezno13 versions - Latest release: 30 days ago - 3 dependent packages - 3.72 thousand downloads total - 2,164 stars on GitHub - 1 maintainer
ezno-checker 0.0.15 💰
A type checker for JavaScript15 versions - Latest release: 30 days ago - 1 dependent package - 5 dependent repositories - 10.2 thousand downloads total - 2,164 stars on GitHub - 1 maintainer
ezno-ast-generator 0.0.12 💰
Quasi-quoted constant compiled TS definitions for Ezno AST12 versions - Latest release: 30 days ago - 2.62 thousand downloads total - 2,164 stars on GitHub - 1 maintainer
ezno-parser-visitable-derive 0.0.6 💰
Derives 'Visitable' trait for Ezno AST6 versions - Latest release: 30 days ago - 1 dependent package - 2.5 thousand downloads total - 2,164 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: 30 days ago - 4.73 thousand downloads total - 2,164 stars on GitHub - 1 maintainer
rusttyc 0.5.0
A library for writing type checkers with a lattice-like type system in rust.11 versions - Latest release: over 2 years ago - 1 dependent package - 3 dependent repositories - 7.53 thousand downloads total - 37 stars on GitHub - 1 maintainer
dedukti-parse 0.3.1
Parser for the Dedukti file format4 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 2.1 thousand downloads total - 21 stars on GitHub - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: 4 months ago - 1.95 thousand downloads total - 18 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: almost 2 years ago - 1 dependent package - 2.16 thousand downloads total - 21 stars on GitHub - 1 maintainer
mamba 0.3.6
A transpiler which converts Mamba files to Python 3 files11 versions - Latest release: over 1 year ago - 3.58 thousand downloads total - 85 stars on GitHub - 1 maintainer
Related Keywords
compiler
8
types
7
javascript
7
typescript
7
rust
6
dependent-types
4
logic
3
dedukti
3
rewriting
3
verification
2
type-checking
2
ast
1
visitor
1
checker
1
type-checker
1
lattice
1
transpiler
1
python
1
language
1
typesafety
1
parser
1
tools
1
runtime-typechecking
1
command-line-tool
1
ts
1
cli
1
type-theory
1
type-system
1
systems-programming
1
systems-language
1
programming-language
1
dependent-records
1
dependent-record-types
1
bidirectional-typechecking
1