GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
type-checkerHere are 203 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
A fast type checker and language server for Python
python rust typechecker types language-server ide language-server-protocol typing vscode-extension code-quality type-annotations type-hints typecheck typechecking type-checker lsp type-check
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
php parser formatter linter static-analysis coding-standards lexer code-style type-checker code-analyzer
A fast, feature-rich static code analyzer & language server for Python
🏝 automated contract testing via type checking for Elixir functions and mocks
testing mock unit-testing typechecker elixir contract behaviour contracts type-checking mocks contract-testing behaviours typechecking dialyzer mox type-checker typespec behaviour-typespec typespecs explicit-contracts
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
language programming-language rust parser dependent-types compiler binary-data dsl declarative data-description-language type-system statically-typed type-checker binary-format dependent-record-types
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
javascript typechecker typescript class-instance type-checking primitive-types plain-objects is-object type-checker type-check is-plain-obj plain-object check-type javascript-type class-identifier define-type get-type what-type is-plain-object
🚨 Enhanced TypeScript support for Parcel
🌴 Type Checker and IDE Support for Lua
Hypertypes - generic programming for heterogeneous recursive types
TypeScript friendly Data validator for JavaScript.
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust dependent-types type-theory type-system type-inference unification type-checker bidirectional-typechecking debruijn-indices dependent-record-types dependent-records normalization-by-evaluation semantic-typechecking
Typeis. it's the smart and simple javaScript type checker
Experimental Python Type Checker and LSP 🔎
Swift type checking and semantic analysis for developer tools
swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer
A work-in-progress core language for Agda, in Agda
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
java static-analysis formal-methods refinement-types program-verification type-checker liquid-types typestate-analysis typestate compile-time-verification
Basilisk was a Python LSP and VSIX. It has been delisted from every channel until we have rebuilt it to only include trustworthy components
Lean type-checker written in Scala.
Add this topic to your repoTo associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |