GitHub topics: type-inference
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

wevm/abitype
Strict TypeScript types for Ethereum ABIs
Language: TypeScript - Size: 1.33 MB - Last synced at: 3 days ago - Pushed at: 7 days ago - Stars: 516 - Forks: 55

forst-lang/forst
[alpha] A programming language for backend development.
Language: Go - Size: 367 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0

davidhalter/jedi
Awesome autocompletion, static analysis and refactoring library for python
Language: Python - Size: 12.5 MB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 5,948 - Forks: 518

graphext/lector
A fast reader for messy CSV files with optional type inference.
Language: Python - Size: 245 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 17 - Forks: 0

eerkela/bertrand
flexible type extensions for pandas
Language: C++ - Size: 35.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

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: 4 days ago - Pushed at: 5 days ago - Stars: 192 - Forks: 32

vimeo/psalm
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
Language: PHP - Size: 110 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 5,680 - Forks: 681

lue-bird/elm-syntax-type-infer
add types to elm-syntax
Language: Elm - Size: 3.39 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 0

colinhacks/zod
TypeScript-first schema validation with static type inference
Language: TypeScript - Size: 19.4 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 38,339 - Forks: 1,474

SamChou19815/samlang
Sam's Programming Language
Language: Rust - Size: 104 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 39 - Forks: 3

joris-gallot/zorm
zorm - A minimalist, type-safe ORM powered by Zod
Language: TypeScript - Size: 641 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

andreypopp/type-systems
Playing with type systems
Language: OCaml - Size: 199 KB - Last synced at: 6 days ago - Pushed at: 5 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: 10 days ago - Pushed at: 8 months ago - Stars: 1,411 - Forks: 505

mondrian-framework/mondrian-framework
Framework for building modular, type-safe and documented backends.
Language: TypeScript - Size: 8 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 13 - Forks: 1

gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.
Language: Rust - Size: 12.1 MB - Last synced at: 11 days ago - Pushed at: 6 months ago - Stars: 3,314 - Forks: 149

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: about 20 hours 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: 7 days ago - Pushed at: over 1 year 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: 11 days ago - Pushed at: over 4 years ago - Stars: 3,379 - Forks: 256

lawvs/zod-compare
⚖️ Compare two Zod schemas recursively.
Language: TypeScript - Size: 574 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 6 - Forks: 0

kakasoo/DeepStrictTypes
Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects
Language: TypeScript - Size: 265 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 61 - Forks: 2

JohnSundell/Codextended
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
Language: Swift - Size: 68.4 KB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 1,501 - Forks: 85

gvergnaud/ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Language: TypeScript - Size: 2.86 MB - Last synced at: 18 days ago - Pushed at: 21 days ago - Stars: 13,562 - Forks: 148

re-masashi/book
A compiled language with some nice type inference and a garbage collector.
Language: Rust - Size: 4.12 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 1 - Forks: 1

Storyyeller/cubiml-demo
A simple ML-like programming language with subtyping and full type inference.
Language: Rust - Size: 1.8 MB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 173 - Forks: 9

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: 18 days ago - Pushed at: 23 days ago - Stars: 278 - Forks: 23

ltcmelo/psychec
A compiler frontend for the C programming language
Language: C++ - Size: 11.1 MB - Last synced at: 17 days ago - Pushed at: about 1 month ago - Stars: 546 - Forks: 40

lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
Language: Haskell - Size: 1.82 MB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 122 - Forks: 11

HiDeoo/zod-matter
Typesafe front matter
Language: TypeScript - Size: 63.5 KB - Last synced at: 8 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: 5 days ago - Pushed at: 9 months ago - Stars: 388 - Forks: 27

cu1ch3n/type-inference-zoo
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Language: Haskell - Size: 219 KB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 27 - Forks: 0

tmteam/NFun
Expressions Evaluator for .NET
Language: C# - Size: 4.13 MB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 61 - Forks: 5

Storyyeller/IntercalScript
The IntercalScript programming language
Language: Brainfuck - Size: 188 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 138 - Forks: 5

thelilylang/lily
The Lily programming language ⚜
Language: C - Size: 18.1 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 2

dylan-profiler/visions
Type System for Data Analysis in Python
Language: Python - Size: 37.9 MB - Last synced at: 4 days ago - Pushed at: 4 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: 7 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: about 2 months ago - Pushed at: about 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 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

loom-agents/schema
JSON Schemas, now.
Language: TypeScript - Size: 85.9 KB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

loderunner/typelit
A type-safe string templating library for TypeScript
Language: TypeScript - Size: 330 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

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: 5 days ago - Pushed at: 2 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: 2 months ago - Pushed at: over 1 year ago - Stars: 109 - Forks: 8

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: 4 days ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

glossopoeia/boba
A general purpose statically-typed concatenative programming language.
Language: F# - Size: 5.89 MB - Last synced at: about 2 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: 13 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: about 1 month 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 1 month 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: about 2 months ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 1

Glyphack/enderpy
Experimental Python Type Checker and LSP 🔎
Language: Rust - Size: 1.93 MB - Last synced at: 22 days ago - Pushed at: 6 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: 3 months ago - Pushed at: 3 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: 2 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

ocramz/thih
typing haskell in haskell
Language: Haskell - Size: 104 KB - Last synced at: about 2 months ago - Pushed at: over 2 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: 24 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: 2 months ago - Pushed at: over 2 years ago - Stars: 49 - Forks: 12

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: 24 days ago - Pushed at: about 2 years ago - Stars: 89 - Forks: 5

ilya-klyuchnikov/tapl-scala
Code from the book "Types and Programming Languages" in Scala
Language: Scala - Size: 646 KB - Last synced at: 2 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: 2 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: 4 months ago - Pushed at: 4 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: 2 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: 2 months ago - Pushed at: 4 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: about 1 month 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: 4 months ago - Pushed at: 4 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: about 2 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: 27 days 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: 9 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: 10 days 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: 2 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: 6 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: 21 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: 11 days ago - Pushed at: about 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: 5 days 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: 2 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: 27 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

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: 23 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1

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: 6 months ago - Pushed at: 6 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: 5 days ago - Pushed at: 6 months ago - Stars: 8 - 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: 21 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

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: 9 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: 2 months ago - Pushed at: 7 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: 5 days ago - Pushed at: almost 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: 5 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

jaredly/algorithm-j
a typescript version
Language: TypeScript - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

iinaa-eimrit/Pen-Pulse
Social Journalism and Blog Hosting Platform
Language: TypeScript - Size: 669 KB - Last synced at: 2 months ago - Pushed at: 7 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: about 2 months 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: about 1 month 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: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

moea/types
Type System Modeling in Clojure
Language: Clojure - Size: 50.8 KB - Last synced at: about 1 month ago - Pushed at: 9 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: 21 days ago - Pushed at: about 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: 27 days 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: 10 months ago - Pushed at: 10 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: 14 days 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: 3 days ago - Pushed at: about 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: 5 days ago - Pushed at: 11 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: about 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: about 2 months ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0

zehaochen19/vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Language: Haskell - Size: 255 KB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 88 - Forks: 3

mbg/hindley-milner
Template for Hindley-Milner based languages
Language: Haskell - Size: 21.5 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 39 - Forks: 1

boystrange/FuSe
A simple library implementation of binary sessions
Language: OCaml - Size: 56.6 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 4 - Forks: 0
