Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Type Inference Open Source Projects

Open source projects categorized as Type Inference
Categories > Type Inference
Zod ⭐ 30,350
TypeScript-first schema validation with static type inference
dependent packages 6,550total releases 296most recent commit a day agonpm zod} Downloads
Ts Pattern ⭐ 10,246
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
dependent packages 352total releases 141most recent commit 3 months agonpm ts-pattern} Downloads
Jedi ⭐ 5,593
Awesome autocompletion, static analysis and refactoring library for python
dependent packages 551total releases 34most recent commit 3 months agopypi jedi} Downloads
Psalm ⭐ 5,385
A static analysis tool for finding errors in PHP applications
dependent packages 2,792total releases 408most recent commit 3 months agopackagist vimeo/psalm} Downloads
Gluon ⭐ 3,022
A static, type inferred and embeddable language written in Rust.
dependent packages 9total releases 41most recent commit 4 months agocargo gluon} Downloads
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 5 years ago
Hegel ⭐ 2,087
An advanced static type checker
dependent packages 4total releases 42most recent commit 6 months agonpm @hegel/cli} Downloads
Type Systems ⭐ 1,300
Implementations of various type systems in OCaml.
most recent commit 9 years ago
Codextended ⭐ 1,262
Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️
total releases 1most recent commit 3 years ago
Pysonar2 ⭐ 1,248
PySonar2: a semantic indexer for Python with interprocedual type inference
most recent commit 2 years ago
Mirah ⭐ 862
The Mirah Programming Language
dependent packages 5total releases 17most recent commit 6 years agorubygems mirah} Downloads
Ml4se ⭐ 511
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
most recent commit 3 months ago
Psychec ⭐ 486
A compiler frontend for the C programming language
most recent commit 3 months ago
Generic Lens ⭐ 430
Generically derive traversals, lenses, and prisms.
total releases 20most recent commit a year ago
Abitype ⭐ 411
Strict TypeScript types for Ethereum ABIs
dependent packages 228total releases 158most recent commit 2 months agonpm abitype} Downloads
Arrow ⭐ 381
🏹 Parse JSON with style
total releases 13most recent commit 3 years ago
Graphql Typed Document Node ⭐ 361
An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.
dependent packages 261total releases 16most recent commit 6 months agonpm @graphql-typed-document-node/core} Downloads
Infernu ⭐ 318
Type inference and checking for a safer JavaScript.
total releases 2most recent commit 5 years ago
Type Inference ⭐ 295
The Hindley Milner Type Inference Algorithm
most recent commit 7 years ago
Haskell ⭐ 278
most recent commit 2 years ago
Potigol ⭐ 242
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
most recent commit 2 years ago
Phpstan Dba ⭐ 240
PHPStan based SQL static analysis and type inference for the database access layer
total releases 94most recent commit 3 months ago
Direct Vuex ⭐ 240
Use and implement your Vuex store with TypeScript types. Compatible with the Vue 3 composition API.
dependent packages 9total releases 67most recent commit 3 years agonpm direct-vuex} Downloads
The 10 Most Depended On Type Inference Open Source Projects
Zod ⭐ 30,350
TypeScript-first schema validation with static type inference
dependent packages 6,550total releases 296latest release October 04, 2023most recent commit a day agonpm zod} Downloads
Psalm ⭐ 5,385
A static analysis tool for finding errors in PHP applications
dependent packages 2,792total releases 408latest release November 22, 2023most recent commit 3 months agopackagist vimeo/psalm} Downloads
Jedi ⭐ 5,593
Awesome autocompletion, static analysis and refactoring library for python
dependent packages 551total releases 34latest release October 02, 2023most recent commit 3 months agopypi jedi} Downloads
Ts Pattern ⭐ 10,246
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
dependent packages 352total releases 141latest release December 03, 2023most recent commit 3 months agonpm ts-pattern} Downloads
Graphql Typed Document Node ⭐ 361
An improved version of `DocumentNode` for seamless TypeScript integration for GraphQL.
dependent packages 261total releases 16latest release March 20, 2023most recent commit 6 months agonpm @graphql-typed-document-node/core} Downloads
Abitype ⭐ 411
Strict TypeScript types for Ethereum ABIs
dependent packages 228total releases 158latest release December 01, 2023most recent commit 2 months agonpm abitype} Downloads
Gluon ⭐ 3,022
A static, type inferred and embeddable language written in Rust.
dependent packages 9total releases 41latest release September 19, 2023most recent commit 4 months agocargo gluon} Downloads
Direct Vuex ⭐ 240
Use and implement your Vuex store with TypeScript types. Compatible with the Vue 3 composition API.
dependent packages 9total releases 67latest release February 24, 2021most recent commit 3 years agonpm direct-vuex} Downloads
Visions ⭐ 166
Type System for Data Analysis in Python
dependent packages 8total releases 27latest release December 05, 2021most recent commit a year agopypi visions} Downloads
The 10 Latest Releases In Type Inference Open Source Projects
Ts Pattern ⭐ 10,246
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
dependent packages 352total releases 141latest release December 03, 2023most recent commit 3 months agonpm ts-pattern} Downloads
Abitype ⭐ 411
Strict TypeScript types for Ethereum ABIs
dependent packages 228total releases 158latest release December 01, 2023most recent commit 2 months agonpm abitype} Downloads
Psalm ⭐ 5,385
A static analysis tool for finding errors in PHP applications
dependent packages 2,792total releases 408latest release November 22, 2023most recent commit 3 months agopackagist vimeo/psalm} Downloads
Csvtoolkit ⭐ 11
Toolkit for converting, querying CSV
latest release November 12, 2023most recent commit 9 years ago
Cast.ts ⭐ 6
Compose validation parsers with static type inference, makes it easy to handle data from RESTful API
dependent packages 3total releases 19latest release November 04, 2023most recent commit 3 months agonpm cast.ts} Downloads
Contented ⭐ 6
A library to coerce values at run-time.
dependent packages 2total releases 16latest release November 01, 2023most recent commit 3 months agonpm @gucciogucci/contented} Downloads
Phpstan Dba ⭐ 240
PHPStan based SQL static analysis and type inference for the database access layer
total releases 94latest release October 12, 2023most recent commit 3 months ago
Zod ⭐ 30,350
TypeScript-first schema validation with static type inference
dependent packages 6,550total releases 296latest release October 04, 2023most recent commit a day agonpm zod} Downloads
Jedi ⭐ 5,593
Awesome autocompletion, static analysis and refactoring library for python
dependent packages 551total releases 34latest release October 02, 2023most recent commit 3 months agopypi jedi} Downloads
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.