An open API service providing repository metadata for many open source software ecosystems.

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