Search Results - RepositoryStats

16 results found Sort:

pylyzer mtshiba

33

2.6k

mit

21

A fast, feature-rich static code analyzer & language server for Python

rust python type-checker language-server static-analysis

Created 2022-12-12

352 commits to main branch, last one 4 days ago

28

566

apache-2.0

3

🏝 automated contract testing via type checking for Elixir functions and mocks

Created 2019-06-29

315 commits to master branch, last one about a year ago

fathom yeslogic

14

259

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 about a year ago

mago carthage-software

5

222

apache-2.0

7

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

130 commits to main branch, last one a day ago

is-what mesqueeb

20

187

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

233 commits to main branch, last one 6 months ago

parcel-plugin-typescript fathyb

18

180

mit

7

🚨 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

hypertypes lamdu

9

119

other

10

Hypertypes - generic programming for heterogeneous recursive types

type-checker type-inference programming-languages programming-language-development

Created 2018-11-22

1,221 commits to main branch, last one 3 months ago

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

13

93

unknown

4

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

rust-nbe-for-mltt brendanzab

6

93

mit

12

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

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

Typology MaxDesiatov

5

81

apache-2.0

6

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 2 years ago

enderpy Glyphack

7

79

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 9 days ago

agda-core jespercockx

3

42

unlicense

6

A work-in-progress core language for Agda, in Agda

agda agda-backend type-checker core-language dependent-types

Created 2023-01-20

255 commits to main branch, last one about a month ago

pynalyser 0dminnimda

7

32

mit

2

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

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