TypeScript-first schema validation with static type inference
-
Updated
Dec 19, 2024 - TypeScript
#
type-inference
Here are 198 public repositories matching this topic...
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
javascript typescript matching pattern pattern-matching branching inference ts conditions type-inference exhaustive
-
Updated
Dec 18, 2024 - TypeScript
Awesome autocompletion, static analysis and refactoring library for python
-
Updated
Nov 25, 2024 - Python
A static analysis tool for finding errors in PHP applications
-
Updated
Dec 15, 2024 - PHP
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation
-
Updated
Jan 11, 2021 - Haskell
A static, type inferred and embeddable language written in Rust.
-
Updated
Dec 6, 2024 - Rust
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
-
Updated
Apr 11, 2021 - Swift
PySonar2: a semantic indexer for Python with interprocedual type inference
-
Updated
Oct 3, 2024 - Java
A compiler frontend for the C programming language
c parser parsing compiler static-analysis program-analysis type-inference parsing-library compiler-frontend c-language clanguage language-semantics
-
Updated
Oct 27, 2024 - C++
Strict TypeScript types for Ethereum ABIs
-
Updated
Dec 4, 2024 - TypeScript
🏹 Parse JSON with style
swift ios json simple mapping arrow micro-framework decoding objectmapper swiftyjson unbox type-inference json-parsing freshos
-
Updated
Sep 24, 2024 - Swift
PHPStan based SQL static analysis and type inference for the database access layer
-
Updated
Dec 12, 2024 - PHP
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
language programming-language scala compiler functional-programming beginner-friendly type-inference portugues portuguese potigol hacktoberfest hacktoberfest2018 linguagem-potigol
-
Updated
Jun 5, 2024 - Scala
Type System for Data Analysis in Python
-
Updated
Aug 2, 2024 - Python
A semantic indexer for Ruby with interprocedual type inference
-
Updated
Nov 15, 2022 - Java
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
Updated
Dec 19, 2024 - Scala
Code from the book "Types and Programming Languages" in Scala
-
Updated
Oct 22, 2021 - Scala
A simple ML-like programming language with subtyping and full type inference.
-
Updated
Dec 1, 2024 - Rust
Programming is like drinking tea.
-
Updated
Sep 23, 2024 - PHP
A minimalist type-inferred programming language with procedural macro support
c programming-language scheme lisp macros s-expressions hindley-milner type-inference meta-programming unsafe setjmp longjmp
-
Updated
Oct 25, 2020 - Racket
Improve this page
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."