The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
-
Updated
May 18, 2024 - Scala
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
TypeScript-first schema validation with static type inference
Next-gen, TypeScript-first HTTP request mocking
Sam's Programming Language
Framework for building modular, type-safe and documented backends.
WIP: Python Type Checker and LSP 🔎
PHPStan based SQL static analysis and type inference for the database access layer
A library to coerce values at run-time.
flexible type extensions for pandas
A static analysis tool for finding errors in PHP applications
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
⚖️ Compare two Zod schemas recursively.
A simple ML-like programming language with subtyping and full type inference.
The Lily programming language ⚜
Awesome autocompletion, static analysis and refactoring library for python
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
An implementation of a featherweight muse interpreter written in Rust.
A compiler frontend for the C programming language
Type System for Data Analysis in Python
Add a description, image, and links to the type-inference topic page so that developers can more easily learn about it.
To associate your repository with the type-inference topic, visit your repo's landing page and select "manage topics."