Lib.rs

› 关键词 #javascript #typescript #static-analysis #javascript-compiler #compiler

#type-checker

  1. kamo

    帮助创建解释器或编译器及其相关运行时

    v0.9.4 1.1K #memory-management #garbage-collection #type-checker #scheme-interpreter

  2. ezno

    A JavaScript类型检查器和编译器。用作库或通过CLI

    v0.0.21 1.2K #typescript #static-analysis #javascript-compiler #type-checker #javascript #string-representation #control-flow

  3. stella_checker

    Rust-based, 快速的Lua类型检查器

    v0.2.2 440 #lua #checker #compiler #type-checker #typechecker

  4. gluon_check

    gluon编程语言的类型检查器

    v0.18.2 #gluon #programming-language #functional-programming #type-checker #encoded-string #interface #applications

  5. rusttyc

    在Rust中使用类似格子的类型系统编写类型检查器

    v0.5.0 #type #lattice #type-checker #types #generate-table

  6. ezno-checker

    JavaScript类型检查器

    v0.0.16 #javascript #checker #type-checker #type #typescript #javascript-compiler #static-analysis

  7. ts-runtime-typechecker

    一个命令行工具，可以从typescript类型生成ts/js类型检查器函数

    v0.1.6 #typescript #type-checker #generate-typescript #javascript #ts #typechecker #command-line-interface

  8. go-types

    Goscript项目的类型检查器

    v0.1.5 #golang #goscript #type-checker #compiler

  9. rlfsc

    LFSC证明语言的检查器

    v0.2.2 #smt #type-checker #lfsc #dependent-types #proof-checker

  10. sylt-typechecker

    Sylt编程语言程序的类型检查器

    v0.1.0 #sylt #programming-language #type-checker #programs

  11. enderpy_python_type_checker

    Python类型检查器

    v0.1.0 #python #checker #autocomplete #language-server #type-checker #enderpy #definition

    12. 尝试使用DuckDuckGo搜索 搜索。

  12. type-checker

    Rust的字符串值类型检查器

    v0.1.0 #checker #type-checker

  13. minitt-util

    从Mini-TT语言的类型检查器中提取的CLI工具

    v0.2.4 #extracted #utilities #cli #mini-tt #lambda-calculus #type-checker #command

  14. kailua

    🌴 Lua的类型检查器和IDE支持

    v1.1.0 #lua #type-checker #language

  15. kailua_check

    Kailua的类型检查器

    v1.1.0 #lua #kailua #language #type-checker #type-system