Explore Projects

Discover 5 open source projects

Active filters (1):

Search: type-inference×

Clear all

Showing 1-5 of 5 projects

colinhacks/zod

TypeScript-first schema validation with static type inference

42.0K

Active

TypeScript

API Clients & Testing

BaaS Platforms

Next.js

#zod#typescript#schema-validation

gvergnaud/ts-pattern

A powerful pattern matching library for TypeScript with smart type inference to simplify control flow.

14.8K

Active

TypeScript

CLI Tools

TypeScript

#branching#conditions#exhaustive

vimeo/psalm

A powerful PHP static analysis tool that helps find errors and security vulnerabilities in PHP applications.

5.8K

Active

PHP

Linters & Formatters

Authentication

#php#security-analysis#static-analysis

gluon-lang/gluon

Gluon is a static, type-inferred and embeddable programming language written in Rust for building compilers and language tooling.

3.4K

Archived

Rust

Compilers

API Frameworks

Rust

#compiler#embeddable#functional

yinwang0/pysonar2

PySonar2 is a semantic indexer for Python with interprocedual type inference, providing advanced code analysis and intelligence.

1.4K

Experimental

Java

Code Analysis

Code Intelligence

#code-analysis#code-intelligence#static-analysis

Stay in the loop

Get weekly updates on trending AI coding tools and projects.