16 results found Sort:

mtshiba
pylyzer mtshiba
38
2.8k
mit
19
A fast, feature-rich static code analyzer & language server for Python
rust python type-checker language-server static-analysis
Created 2022-12-12
383 commits to main branch, last one about a month ago
msz
hammox msz
29
578
apache-2.0
1
🏝 automated contract testing via type checking for Elixir functions and mocks
mox mock mocks elixir testing contract dialyzer typespec behaviour contracts typespecs behaviours typechecker type-checker typechecking unit-testing type-checking contract-testing behaviour-typespec explicit-contracts
Created 2019-06-29
315 commits to master branch, last one 2 years ago
carthage-software
mago carthage-software
20
392
apache-2.0
6
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
php lexer linter parser formatter code-style type-checker code-analyzer static-analysis coding-standards
Created 2024-10-26
488 commits to main branch, last one 3 days ago
yeslogic
fathom yeslogic
12
263
apache-2.0
15
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
dsl rust parser compiler language binary-data declarative type-system type-checker binary-format dependent-types statically-typed programming-language dependent-record-types data-description-language
Created 2015-01-09
2,650 commits to main branch, last one 2 years ago
mesqueeb
is-what mesqueeb
20
195
mit
2
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
get-type is-object what-type check-type javascript type-check typescript define-type typechecker is-plain-obj plain-object type-checker plain-objects type-checking class-instance is-plain-object javascript-type primitive-types class-identifier
Created 2018-06-19
248 commits to main branch, last one about a month ago
fathyb
parcel-plugin-typescript fathyb
18
182
mit
6
🚨 Enhanced TypeScript support for Parcel
lint typescript code-quality transformers type-checker parcel-plugin
Created 2017-12-09
77 commits to develop branch, last one 6 years ago
lamdu
hypertypes lamdu
9
121
other
9
Hypertypes - generic programming for heterogeneous recursive types
type-checker type-inference programming-languages programming-language-development
Created 2018-11-22
1,222 commits to main branch, last one 3 months ago
shellyln
tynder shellyln
1
109
other
4
TypeScript friendly Data validator for JavaScript.
schema validator typescript type-checker data-validator schema-validator validation-library
Created 2019-12-22
495 commits to master branch, last one 4 years ago
brendanzab
rust-nbe-for-mltt brendanzab
6
97
mit
11
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust type-system type-theory unification type-checker type-inference dependent-types debruijn-indices dependent-records semantic-typechecking dependent-record-types bidirectional-typechecking normalization-by-evaluation
Created 2018-11-20
421 commits to master branch, last one 2 years ago
typeis
typeis typeis
12
93
unknown
3
Typeis. it's the smart and simple javaScript type checker
simple typeis typeof javascript type-checker type-checking
Created 2016-10-17
28 commits to master branch, last one 7 years ago
suica
write-you-a-typescript suica
1
86
mit
2
This repository has no description...
tutorial typescript type-checker
Created 2021-10-26
246 commits to main branch, last one about a year ago
Glyphack
enderpy Glyphack
7
83
agpl-3.0
3
Experimental Python Type Checker and LSP 🔎
lsp rust python auto-com type-checker auto-complete type-inference language-server static-analysis
Created 2023-02-17
604 commits to main branch, last one 4 months ago
MaxDesiatov
Typology MaxDesiatov
5
81
apache-2.0
5
Swift type checking and semantic analysis for developer tools
swift type-system type-checker type-checking hindley-milner type-inference developer-tools semantic-analysis semantic-analyzer
Created 2019-04-18
91 commits to main branch, last one 3 years ago
jespercockx
agda-core jespercockx
3
51
unlicense
3
A work-in-progress core language for Agda, in Agda
agda agda-backend type-checker core-language dependent-types
Created 2023-01-20
292 commits to main branch, last one 9 days ago
0dminnimda
pynalyser 0dminnimda
7
32
mit
1
Static Python Code Analyzer
github python python3 analysis ghdesktop collaborate type-checker code-analysis student-vscode
Created 2021-08-19
461 commits to main branch, last one 2 years ago
orsinium-labs
arguard orsinium-labs
1
25
mit
2
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
ci go dbc deal lint golang guards linter safety contracts type-checker golangci-lint static-analysis design-by-contract
Created 2023-08-17
40 commits to master branch, last one about a year ago