colinhacks/zod

TypeScript-first schema validation with static type inference

Language: TypeScript - Size: 17.8 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 37,085 - Forks: 1,342

gvergnaud/ts-pattern

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

Language: TypeScript - Size: 2.68 MB - Last synced at: about 1 hour ago - Pushed at: 25 days ago - Stars: 13,416 - Forks: 148

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: about 1 month ago - Stars: 5,921 - Forks: 516

vimeo/psalm

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

Language: PHP - Size: 109 MB - Last synced at: 4 days ago - Pushed at: 13 days ago - Stars: 5,658 - Forks: 680

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: 9 days ago - Pushed at: over 4 years ago - Stars: 3,375 - Forks: 256

gluon-lang/gluon

A static, type inferred and embeddable language written in Rust.

Language: Rust - Size: 12.1 MB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 3,294 - Forks: 149

JohnSundell/Codextended

Extensions giving Swift's Codable API type inference super powers 🦸‍♂️🦹‍♀️

Language: Swift - Size: 68.4 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 1,503 - Forks: 84

yinwang0/pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

Language: Java - Size: 8.78 MB - Last synced at: 11 days ago - Pushed at: 7 months ago - Stars: 1,405 - Forks: 505

ltcmelo/psychec

A compiler frontend for the C programming language

Language: C++ - Size: 11.1 MB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 542 - Forks: 39

wevm/abitype

Strict TypeScript types for Ethereum ABIs

Language: TypeScript - Size: 1.32 MB - Last synced at: 1 day ago - Pushed at: 6 days ago - Stars: 510 - Forks: 54

freshOS/Arrow

🏹 Parse JSON with style

Language: Swift - Size: 21.2 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 387 - Forks: 27

staabm/phpstan-dba

PHPStan based SQL static analysis and type inference for the database access layer

Language: PHP - Size: 1.46 MB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 270 - Forks: 22

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: 11 months ago - Pushed at: 11 months ago - Stars: 244 - Forks: 31

dylan-profiler/visions

Type System for Data Analysis in Python

Language: Python - Size: 37.9 MB - Last synced at: about 9 hours ago - Pushed at: 3 months ago - Stars: 211 - Forks: 19

yinwang0/rubysonar

A semantic indexer for Ruby with interprocedual type inference

Language: Java - Size: 5.13 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 190 - Forks: 159

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: 15.7 MB - Last synced at: about 6 hours ago - Pushed at: about 7 hours ago - Stars: 185 - Forks: 29

ilya-klyuchnikov/tapl-scala

Code from the book "Types and Programming Languages" in Scala

Language: Scala - Size: 646 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 179 - Forks: 22

Storyyeller/cubiml-demo

A simple ML-like programming language with subtyping and full type inference.

Language: Rust - Size: 1.8 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 172 - Forks: 7

tealang/tea

Programming is like drinking tea.

Language: PHP - Size: 1.79 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 157 - Forks: 17

murisi/L2

A minimalist type-inferred programming language with procedural macro support

Language: Racket - Size: 3.58 MB - Last synced at: 15 days ago - Pushed at: over 4 years ago - Stars: 136 - Forks: 9

Storyyeller/IntercalScript

The IntercalScript programming language

Language: Brainfuck - Size: 188 KB - Last synced at: 28 days ago - Pushed at: over 4 years ago - Stars: 136 - Forks: 5

lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Language: Haskell - Size: 1.82 MB - Last synced at: about 20 hours ago - Pushed at: 3 months ago - Stars: 121 - Forks: 9

GammaTauAI/opentau

Using Large Language Models for Repo-wide Type Prediction

Language: Rust - Size: 10.8 MB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 109 - Forks: 8

swr1bm86/Ntha

The Ntha Programming Language

Language: Haskell - Size: 30.3 MB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 93 - Forks: 0

brendanzab/rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

Language: Rust - Size: 862 KB - Last synced at: 11 months ago - Pushed at: almost 3 years ago - Stars: 90 - Forks: 7

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

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: 20 days ago - Pushed at: over 6 years ago - Stars: 89 - Forks: 4

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: 9 months ago - Pushed at: about 2 years ago - Stars: 88 - Forks: 3

MaxDesiatov/Typology

Swift type checking and semantic analysis for developer tools

Language: Swift - Size: 186 KB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 81 - Forks: 5

Glyphack/enderpy

WIP: Experimental Python Type Checker and LSP 🔎

Language: Rust - Size: 1.91 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 76 - Forks: 5

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: 67 - Forks: 4

tmteam/NFun

Expressions Evaluator for .NET

Language: C# - Size: 4.13 MB - Last synced at: 13 days ago - Pushed at: 10 months ago - Stars: 60 - Forks: 5

cdiggins/heron-language

A pure functional type-inferred language based on JavaScript

Language: HTML - Size: 18 MB - Last synced at: 18 days ago - Pushed at: almost 2 years ago - Stars: 57 - Forks: 5

glossopoeia/boba

A general purpose statically-typed concatenative programming language.

Language: F# - Size: 5.89 MB - Last synced at: 10 days ago - Pushed at: almost 2 years ago - Stars: 54 - Forks: 3

andreypopp/type-systems

Playing with type systems

Language: OCaml - Size: 199 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 50 - Forks: 2

MrVPlusOne/LambdaNet

Probabilistic Type Inference using Graph Neural Networks

Language: Scala - Size: 19.3 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 49 - Forks: 12

kakasoo/DeepStrictTypes

Utility Types to quickly query and Omit, Pick keys inside nested arrays and objects

Language: TypeScript - Size: 265 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 48 - Forks: 1

lorepozo/polytype-rs

A Hindley-Milner polymorphic typing system

Language: Rust - Size: 224 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 46 - Forks: 8

SamChou19815/samlang

Sam's Programming Language

Language: Rust - Size: 104 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 38 - Forks: 3

denostack/safen

Safen is a top-performing validation and sanitization library with easy type inference.

Language: TypeScript - Size: 2.85 MB - Last synced at: 12 days ago - Pushed at: about 1 year ago - Stars: 38 - Forks: 4

nju-websoft/HyperKA

Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020

Language: Python - Size: 29.3 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 38 - Forks: 5

mbg/hindley-milner

Template for Hindley-Milner based languages

Language: Haskell - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 37 - 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: 4 months ago - Pushed at: 4 months ago - Stars: 35 - Forks: 2

kekyo/TypeInferencer

Minimal type inference Algorithm W and Algorithm M in F#

Language: F# - Size: 748 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 34 - Forks: 0

caterinaurban/Typpete

Language: Python - Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 6

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: about 5 years ago - Stars: 31 - Forks: 2

ptarau/TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Language: Prolog - Size: 3.91 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 29 - Forks: 3

elite-libs/DataAnalyzer.app

✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!

Language: TypeScript - Size: 7.58 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 28 - Forks: 4

nachivpn/mt

Master thesis on developing a static type checker for Erlang

Language: Erlang - Size: 3.55 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 27 - Forks: 1

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

utopia-group/TypeT5

Seq2seq Type Inference using Static Analysis and CodeT5

Language: Jupyter Notebook - Size: 3.38 MB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 24 - Forks: 8

iitalics/Opal

Simple and powerful programming language with type inference

Language: C++ - Size: 339 KB - Last synced at: 16 days ago - Pushed at: about 8 years ago - Stars: 24 - 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: 8 days ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 0

HiDeoo/zod-matter

Typesafe front matter

Language: TypeScript - Size: 63.5 KB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 0

cristianoc/REInfer

Runtime Extended Inference for json data.

Language: Reason - Size: 1.32 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 1

wdamron/poly

Hindley-Milner type system with extensible records and variants, implemented in Go

Language: Go - Size: 185 KB - Last synced at: 17 days 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: 3 days ago - Pushed at: over 2 years ago - Stars: 20 - 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: 10 days ago - Pushed at: over 5 years ago - Stars: 20 - Forks: 18

noamz/linlam

a library for experimental linear lambda calculus

Language: Haskell - Size: 157 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 18 - Forks: 0

saltudelft/many-types-4-py-dataset

ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference

Language: Jupyter Notebook - Size: 14.6 MB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 18 - Forks: 5

kipos-lang/kipos

let a million languages bloom

Language: TypeScript - Size: 1.6 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 17 - Forks: 0

graphext/lector

A fast reader for messy CSV files with optional type inference.

Language: Python - Size: 239 KB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 0

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: about 1 month ago - Pushed at: about 1 month ago - Stars: 16 - Forks: 2

ocramz/thih

typing haskell in haskell

Language: Haskell - Size: 104 KB - Last synced at: about 22 hours ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 0

lambduli/frea

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

Language: Haskell - Size: 695 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 16 - 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: 13 days ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 1

RemuLang/proud

The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

Language: Python - Size: 224 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 14 - Forks: 0

szktty/trompe

A strongly-typed handy scripting language with type inference

Language: Go - Size: 325 KB - Last synced at: 21 days ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 0

gnois/luaty

Lua with more or less typing. You type less; we type check.

Language: Lua - Size: 576 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 0

Hirevo/koak

A compiler for a little statically-typed language implemented in Haskell.

Language: Haskell - Size: 200 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 13 - Forks: 0

romelperez/yrel

JavaScript JSON schema validation with TypeScript type inference.

Language: TypeScript - Size: 863 KB - Last synced at: 26 days ago - Pushed at: 9 months ago - Stars: 12 - Forks: 0

michallepicki/tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

Language: Gleam - Size: 47.9 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 0

justinyaodu/caketype

Delicious runtime type-checking

Language: TypeScript - Size: 496 KB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 0

mondrian-framework/mondrian-framework

Framework for building modular, type-safe and documented backends.

Language: TypeScript - Size: 7.95 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 11 - Forks: 1

thelilylang/lily

The Lily programming language ⚜

Language: C - Size: 18.1 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 11 - Forks: 2

BookOwl/type-inference

Hindley Milner Type Inference in Rust

Language: Rust - Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 11 - Forks: 3

broom-lang/broom

A programming language with first-class modules and algebraic effects.

Language: OCaml - Size: 2.23 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1

bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

Language: OCaml - Size: 58.6 KB - Last synced at: 10 days ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 1

ashton314/lambda-x86

Lambda Calculus compiler targeting x86, written in Racket

Language: Racket - Size: 687 KB - Last synced at: 4 days ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 0

zdimension/hm-infer-scheme

Hindley-Milner type inference in Scheme, for Scheme

Language: Racket - Size: 11.7 KB - Last synced at: 24 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 0

fiigii/JsCFA-prototype

Abstract Interpreter for JavaScript with perfect call/return matching.

Language: Scala - Size: 3.95 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 1

inkydragon/MicroML.jl

A minimal ML, type-inferred, interpreted in 1000~ sloc.

Language: Julia - Size: 228 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0

aradarbel10/Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification

Language: OCaml - Size: 12.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 7 - 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: 7 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1

eliphatfs/typhon

Static type inference for python. (Suspended due to lack of meta in standard lib)

Language: Python - Size: 185 KB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 7 - 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: 19 days ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 0

Yummypets/JSON.kt

Kotlin JSON Parsing that infers type (org.json.JSONObject Wrapper)

Language: Kotlin - Size: 20.5 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 1

vimlord/Lomda

An interpreted programming language with mathematical functionality.

Language: C++ - Size: 535 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 7 - Forks: 0

szktty/esca 📦

Esca is an experimental strongly-typed language which compiles to Go.

Language: OCaml - Size: 165 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 0

ymyzk/gsrinfer 📦

A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset

Language: OCaml - Size: 208 KB - Last synced at: 12 months ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 0

lawvs/zod-compare

⚖️ Compare two Zod schemas recursively.

Language: TypeScript - Size: 386 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 6 - Forks: 0

abap34/mu

Implementation of multiple dispatch and abstract interpretation based static type analysis

Language: Julia - Size: 253 KB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 6 - Forks: 0

moea/types

Type System Modeling in Clojure

Language: Clojure - Size: 50.8 KB - Last synced at: 3 days ago - Pushed at: 8 months ago - Stars: 6 - Forks: 0

GuccioGucci/contented

A library to coerce values at run-time.

Language: TypeScript - Size: 521 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 6 - Forks: 0

kevinwilde/type-system-workshop

Type system workshop for reactathon

Language: TypeScript - Size: 57.6 KB - Last synced at: 11 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

soupi/strema-mirror 📦

A compiler for a type inferred, functional language with adts, records and pattern matching, targeting JavaScript. This repo is a mirror.

Language: Haskell - Size: 887 KB - Last synced at: 12 months ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 0

coord-e/impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies

Language: Haskell - Size: 181 KB - Last synced at: 4 days ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 1

coord-e/ad-hoc-poly 📦

Implementation of type classes

Language: Haskell - Size: 222 KB - Last synced at: 4 days ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

eXascaleInfolab/StaTIX

Statistical Type Inference (both fully automatic and semi supervised) for RDF datasets

Language: Java - Size: 17.2 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 3

beenotung/cast.ts

Compose validation parsers with static type inference, makes it easy to handle data from RESTful API

Language: TypeScript - Size: 214 KB - Last synced at: 21 days ago - Pushed at: 22 days ago - Stars: 5 - Forks: 0