GitHub topics: type-inference
kakasoo/DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
Language: TypeScript - Size: 265 KB - Last synced at: about 20 hours ago - Pushed at: 4 months ago - Stars: 62 - Forks: 2
Aakanksha011/zod
Zod is a TypeScript-first schema validation library that offers static type inference. It simplifies data validation while ensuring type safety, making your code more reliable. 🛠️🚀
Language: TypeScript - Size: 10.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
colinhacks/zod
TypeScript-first schema validation with static type inference
Language: TypeScript - Size: 19.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 38,753 - Forks: 1,511
cu1ch3n/type-inference-zoo
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Language: Haskell - Size: 271 KB - Last synced at: about 21 hours ago - Pushed at: 7 days ago - Stars: 137 - Forks: 1
joris-gallot/zorm
zorm - A minimalist, type-safe ORM powered by Zod
Language: TypeScript - Size: 601 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
re-masashi/book
A compiled language with some nice type inference and a garbage collector.
Language: Rust - Size: 4.17 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 1
vimeo/psalm
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
Language: PHP - Size: 110 MB - Last synced at: 2 days ago - Pushed at: 28 days ago - Stars: 5,689 - Forks: 685
loderunner/typelit
A type-safe string templating library for TypeScript
Language: TypeScript - Size: 381 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 1
yuzheng14/valype
Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions.
Language: TypeScript - Size: 303 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 22 - Forks: 1
thelilylang/lily
The Lily programming language ⚜
Language: C - Size: 18.1 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 11 - Forks: 2
davidhalter/jedi
Awesome autocompletion, static analysis and refactoring library for python
Language: Python - Size: 12.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5,960 - Forks: 517
eerkela/bertrand
flexible type extensions for pandas
Language: C++ - Size: 34.1 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0
lue-bird/elm-syntax-type-infer
add types to elm-syntax
Language: Elm - Size: 3.97 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 5 - Forks: 0
jakobknauer/hindley-milner
An implementation of Algorithm J for type inference in the Hindley-Milner type system, written in Rust
Language: Rust - Size: 43 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
gvergnaud/ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Language: TypeScript - Size: 2.86 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 13,717 - Forks: 149
hkust-taco/mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Language: Scala - Size: 16.9 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 194 - Forks: 33
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
Language: Haskell - Size: 1.82 MB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 125 - Forks: 11
mondrian-framework/mondrian-framework
Framework for building modular, type-safe and documented backends.
Language: TypeScript - Size: 8.01 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 15 - Forks: 1
wevm/abitype
Strict TypeScript types for Ethereum ABIs
Language: TypeScript - Size: 1.33 MB - Last synced at: 1 day ago - Pushed at: 28 days ago - Stars: 517 - Forks: 56
orsinium-labs/astypes
Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!
Language: Python - Size: 70.3 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1
lawvs/zod-compare
⚖️ Compare two Zod schemas recursively.
Language: TypeScript - Size: 687 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 6 - Forks: 0
Scale3-Labs/clickhouse-schema
Dynamic typescript type inference by writing clickhouse CREATE TABLE queries as schemas
Language: TypeScript - Size: 141 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 2
staabm/phpstan-dba
PHPStan based SQL static analysis and type inference for the database access layer
Language: PHP - Size: 1.48 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 279 - Forks: 23
gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.
Language: Rust - Size: 12.1 MB - Last synced at: 13 days ago - Pushed at: 7 months ago - Stars: 3,320 - Forks: 149
muniter/model-validator-ts
🔒 A type-safe validation library for TypeScript that helps you validate data with complex business rules and dependencies 🚀
Language: TypeScript - Size: 42 KB - Last synced at: about 18 hours ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
forst-lang/forst
[alpha] A programming language for backend development.
Language: Go - Size: 367 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 1 - Forks: 0
graphext/lector
A fast reader for messy CSV files with optional type inference.
Language: Python - Size: 245 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 17 - Forks: 0
orsinium-labs/infer-types
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Language: Python - Size: 62.5 KB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 89 - Forks: 5
SamChou19815/samlang
Sam's Programming Language
Language: Rust - Size: 104 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 39 - Forks: 3
andreypopp/type-systems
Playing with type systems
Language: OCaml - Size: 199 KB - Last synced at: 26 days ago - Pushed at: 6 months ago - Stars: 51 - Forks: 2
yinwang0/pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
Language: Java - Size: 8.78 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 1,411 - Forks: 505
potigol/potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Language: Scala - Size: 23.4 MB - Last synced at: 22 days ago - Pushed at: about 1 year ago - Stars: 256 - Forks: 32
AmrDeveloper/Amun
A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
Language: C++ - Size: 2.24 MB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 76 - Forks: 4
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Language: Haskell - Size: 938 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256
jahidul2004/L2-Assignment-1
A collection of TypeScript practice files covering core concepts like types, interfaces, functions, classes, and generics — perfect for learning and hands-on coding.
Language: TypeScript - Size: 17.6 KB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
JohnSundell/Codextended
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
Language: Swift - Size: 68.4 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 1,501 - Forks: 85
Storyyeller/cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
Language: Rust - Size: 1.8 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 173 - Forks: 9
ltcmelo/psychec
A compiler frontend for the C programming language
Language: C++ - Size: 11.1 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 546 - Forks: 40
HiDeoo/zod-matter
Typesafe front matter
Language: TypeScript - Size: 63.5 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 0
freshOS/Arrow
🏹 Parse JSON with style
Language: Swift - Size: 21.2 MB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 388 - Forks: 27
tmteam/NFun
Expressions Evaluator for .NET
Language: C# - Size: 4.13 MB - Last synced at: 17 days ago - Pushed at: 12 months ago - Stars: 61 - Forks: 5
Storyyeller/IntercalScript
The IntercalScript programming language
Language: Brainfuck - Size: 188 KB - Last synced at: 28 days ago - Pushed at: almost 5 years ago - Stars: 138 - Forks: 5
dylan-profiler/visions
Type System for Data Analysis in Python
Language: Python - Size: 37.9 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 212 - Forks: 19
abap34/mu
Implementation of multiple dispatch and abstract interpretation based static type analysis
Language: Julia - Size: 253 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 8 - Forks: 0
kipos-lang/kipos
let a million languages bloom
Language: TypeScript - Size: 1.6 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 17 - Forks: 0
aatxe/witch-hazel
growing herbs in my garden
Language: Rust - Size: 32.2 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
loom-agents/schema
JSON Schemas, now.
Language: TypeScript - Size: 85.9 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
beenotung/cast.ts
Compose validation parsers with static type inference, makes it easy to handle data from RESTful API
Language: TypeScript - Size: 217 KB - Last synced at: 26 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0
GammaTauAI/opentau
Using Large Language Models for Repo-wide Type Prediction
Language: Rust - Size: 10.8 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 109 - Forks: 8
glossopoeia/boba
A general purpose statically-typed concatenative programming language.
Language: F# - Size: 5.89 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 54 - Forks: 3
swr1bm86/Ntha
The Ntha Programming Language
Language: Haskell - Size: 30.3 MB - Last synced at: 2 days ago - Pushed at: over 8 years ago - Stars: 92 - Forks: 0
wdamron/poly
Hindley-Milner type system with extensible records and variants, implemented in Go
Language: Go - Size: 185 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 2
jolin-io/IsDef.jl
maintainable type inference
Language: Julia - Size: 367 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 0
Genivia/Husky
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
Language: Prolog - Size: 122 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 14 - Forks: 1
Glyphack/enderpy
Experimental Python Type Checker and LSP 🔎
Language: Rust - Size: 1.93 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 83 - Forks: 7
ziansu/codeart
Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
Language: Python - Size: 457 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 16 - Forks: 2
ethanuppal/bril-lsp
LSP for Bril in VSCode and Neovim | Parser + type inference as Rust library | Formatter
Language: Rust - Size: 212 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
ocramz/thih
typing haskell in haskell
Language: Haskell - Size: 104 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 16 - Forks: 0
athos/type-infer
A Clojure utility to inspect static types inferred by the Clojure compiler
Language: Clojure - Size: 33.2 KB - Last synced at: 9 days ago - Pushed at: almost 2 years ago - Stars: 23 - Forks: 0
MrVPlusOne/LambdaNet
Probabilistic Type Inference using Graph Neural Networks
Language: Scala - Size: 19.3 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 49 - Forks: 12
ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language: Scala - Size: 646 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 179 - Forks: 22
quasilyte/typ.el
Type inference framework for Emacs. Build better APIs, tools, linters and optimizers with type info!
Language: Emacs Lisp - Size: 32.2 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
tealang/tea
Programming is like drinking tea.
Language: PHP - Size: 1.79 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 157 - Forks: 17
Ekdohibs/joujou
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
Language: OCaml - Size: 509 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 89 - Forks: 4
evex-dev/cumo
TypeScript-First, recevive request on single endpoint ☁
Size: 995 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
cdiggins/heron-language
A pure functional type-inferred language based on JavaScript
Language: HTML - Size: 18 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 57 - Forks: 5
lorainemg/type-inference
Implementation of a COOL interpreter that has type inference by adding the type AUTO_TYPE
Language: CSS - Size: 271 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
bynect/algorithm-w
Type inference implementation in OCaml using Algorithm W
Language: OCaml - Size: 58.6 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 1
murisi/L2
A minimalist type-inferred programming language with procedural macro support
Language: Racket - Size: 3.58 MB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 136 - Forks: 9
lorepozo/polytype-rs
A Hindley-Milner polymorphic typing system
Language: Rust - Size: 224 KB - Last synced at: 30 days ago - Pushed at: over 1 year ago - Stars: 58 - Forks: 8
developedby/algorithm-w-rs
Simple implementation of Hindley-Milner type inference in Rust
Language: Rust - Size: 48.8 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
romelperez/yrel
JavaScript JSON schema validation with TypeScript type inference.
Language: TypeScript - Size: 863 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 12 - Forks: 0
pfalcon/picompile
Pico Compile, factored out "numpile" project, a small JIT compiler for Python with type inference
Language: Python - Size: 16.6 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 7 - Forks: 0
EdamAme-x/xalid
TypeScript-first minimal schema validation for JSON
Language: TypeScript - Size: 52.7 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0
perlicajs/perlica
Result and Option implemented like in Rust.
Language: TypeScript - Size: 245 KB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
robertkleffner/wort
A core concatenative programming language with variables and first-rank polymorphic type inference
Language: Racket - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 31 - Forks: 2
coord-e/impl-outsidein
Toy implementation of type inference for GADTs and TypeFamilies
Language: Haskell - Size: 181 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1
raviqqe/type-inference
Type inference algorithm with mutable data structures in Go
Language: Go - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
selmasaltik/typescript-basics
React + TypeScript /// What I learned from "React - The Complete Guide 2024 (incl. Next.js, Redux) - Academind by Maximilian Schwarzmüller"
Language: TypeScript - Size: 7.81 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
hkust-taco/mlstruct
Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
Language: Scala - Size: 5.58 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 35 - Forks: 2
inkydragon/MicroML.jl
A minimal ML, type-inferred, interpreted in 1000~ sloc.
Language: Julia - Size: 228 KB - Last synced at: 1 day ago - Pushed at: 7 months ago - Stars: 8 - Forks: 0
dinanathsj29/typescript-tutorial
A Typescript fundamentals tutorials for beginners, An introduction & step-by-step guide to Typescript language latest features in combination with ECMAScript 5,6,7
Language: JavaScript - Size: 98.6 KB - Last synced at: 30 days ago - Pushed at: almost 6 years ago - Stars: 20 - Forks: 18
xor-bits/zap
a scripting language (primarily) for games written in Rust
Language: Rust - Size: 236 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 1
ashton314/lambda-x86
Lambda Calculus compiler targeting x86, written in Racket
Language: Racket - Size: 687 KB - Last synced at: 1 day ago - Pushed at: about 5 years ago - Stars: 10 - Forks: 0
geekya215/tsuki
which type do you want to get?
Language: Java - Size: 82 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
notJoon/type_checker
Constraint solving vs Abstract interpretation
Language: Rust - Size: 20.5 KB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
jaredly/algorithm-j
a typescript version
Language: TypeScript - Size: 5.86 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
iinaa-eimrit/Pen-Pulse
Social Journalism and Blog Hosting Platform
Language: TypeScript - Size: 669 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
bynect/constraint-inference
OCaml implementation of a constraint-based bottom-up type inference algorithm
Language: OCaml - Size: 129 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
aikmandean/st
Based on tate-state from June 12th, 2022
Language: JavaScript - Size: 49.8 KB - Last synced at: 21 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 2
kodokoto/featherweight-muse
An implementation of a featherweight muse interpreter written in Rust.
Language: Rust - Size: 648 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
moea/types
Type System Modeling in Clojure
Language: Clojure - Size: 50.8 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 6 - Forks: 0
MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
Language: Swift - Size: 186 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 81 - Forks: 5
szktty/trompe
A strongly-typed handy scripting language with type inference
Language: Go - Size: 325 KB - Last synced at: about 2 months ago - Pushed at: almost 7 years ago - Stars: 14 - Forks: 0
eZWALT/Programming-Languages
FIB-LP 2022-23 Q1 Programming Languages subject + Funx interpreter
Language: Haskell - Size: 35.4 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
yinwang0/rubysonar
A semantic indexer for Ruby with interprocedual type inference
Language: Java - Size: 5.13 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 190 - Forks: 159
denostack/safen
Safen is a top-performing validation and sanitization library with easy type inference.
Language: TypeScript - Size: 2.85 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 38 - Forks: 4
notJoon/generic
generic type inference implementaion for go-like grammar language
Language: Go - Size: 58.6 KB - Last synced at: 1 day ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0
BjoernLoetters/noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
Language: Scala - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 0
zdimension/hm-infer-rs
Hindley-Milner type inference for Scheme, in Rust
Language: Rust - Size: 46.9 KB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
