A fast, feature-rich static code analyzer & language server for Python
-
Updated
Nov 13, 2024 - Rust
#
type-checker
Here are 95 public repositories matching this topic...
🏝 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
-
Updated
Nov 30, 2023 - Elixir
🚧 (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
-
Updated
Sep 6, 2023 - Rust
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
-
Updated
Sep 24, 2024 - TypeScript
🚨 Enhanced TypeScript support for Parcel
-
Updated
Dec 7, 2022 - TypeScript
🌴 Type Checker and IDE Support for Lua
-
Updated
Jun 7, 2022 - Rust
Hypertypes - generic programming for heterogeneous recursive types
-
Updated
Sep 9, 2024 - Haskell
TypeScript friendly Data validator for JavaScript.
-
Updated
Mar 14, 2023 - TypeScript
Typeis. it's the smart and simple javaScript type checker
-
Updated
Jul 28, 2021 - 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
-
Updated
Jun 8, 2022 - Rust
-
Updated
Dec 8, 2023 - TypeScript
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
-
Updated
Mar 16, 2022 - Swift
Experimental Python Type Checker and LSP 🔎
-
Updated
Oct 17, 2024 - Rust
A work-in-progress core language for Agda, in Agda
-
Updated
Nov 4, 2024 - Agda
A PEG Parsing Tool
python
parser
tree
parsing
matching
grammar
typing
parsing-expression-grammar
type
peg
type-checking
type-system
type-checker
tree-matching
-
Updated
Mar 13, 2021 - Python
Static Python Code Analyzer
-
Updated
Mar 6, 2023 - Python
Lean type-checker written in Scala.
-
Updated
Mar 13, 2022 - Scala
An implementation of MacroML [Ganz, Sabry & Taha 2001]
-
Updated
Dec 21, 2018 - OCaml
🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
lint
go
golang
ci
linter
static-analysis
safety
contracts
dbc
type-checker
design-by-contract
guards
deal
golangci-lint
-
Updated
Nov 17, 2023 - Go
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."