Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with type-inference

A curated list of projects in awesome lists tagged with type-inference .

https://github.com/colinhacks/zod

TypeScript-first schema validation with static type inference

runtime-validation schema-validation static-types type-inference typescript

Last synced: 06 Jan 2025

https://github.com/gvergnaud/ts-pattern

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

branching conditions exhaustive inference javascript matching pattern pattern-matching ts type-inference typescript

Last synced: 06 Jan 2025

https://github.com/davidhalter/jedi

Awesome autocompletion, static analysis and refactoring library for python

auto-complete python refactoring static-analysis type-inference

Last synced: 06 Jan 2025

https://github.com/vimeo/psalm

A static analysis tool for finding errors in PHP applications

hacktoberfest php security-analysis static-analysis taint-analysis type-inference

Last synced: 06 Jan 2025

https://github.com/gluon-lang/gluon

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

compiler embeddable functional gluon language programming-language repl rust type-inference

Last synced: 07 Jan 2025

https://github.com/johnsundell/codextended

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

codable json-parsing swift type-inference

Last synced: 04 Jan 2025

https://github.com/JohnSundell/Codextended

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

codable json-parsing swift type-inference

Last synced: 29 Oct 2024

https://github.com/yinwang0/pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

code-analysis code-intelligence code-search index python static-analysis type-inference

Last synced: 09 Jan 2025

https://github.com/wevm/abitype

Strict TypeScript types for Ethereum ABIs

abi ethereum static-types type-inference types typescript web3

Last synced: 04 Jan 2025

https://github.com/staabm/phpstan-dba

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

hacktoberfest php phpstan phpstan-extension query-validation static-analysis type-inference

Last synced: 02 Jan 2025

https://github.com/yinwang0/rubysonar

A semantic indexer for Ruby with interprocedual type inference

code-analysis code-index code-search ruby static-analysis type-inference

Last synced: 08 Jan 2025

https://github.com/ilya-klyuchnikov/tapl-scala

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

programming-languages tapl type-checking type-inference

Last synced: 19 Dec 2024

https://github.com/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!

functional-programming type-inference

Last synced: 30 Nov 2024

https://github.com/storyyeller/cubiml-demo

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

programming-language type-inference

Last synced: 04 Jan 2025

https://github.com/Storyyeller/cubiml-demo

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

programming-language type-inference

Last synced: 07 Nov 2024

https://github.com/murisi/l2

A minimalist type-inferred programming language with procedural macro support

c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe

Last synced: 01 Jan 2025

https://github.com/murisi/L2

A minimalist type-inferred programming language with procedural macro support

c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe

Last synced: 18 Nov 2024

https://github.com/storyyeller/intercalscript

The IntercalScript programming language

programming-language type-inference

Last synced: 02 Dec 2024

https://github.com/lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

programming-language-development programming-languages type-checker type-inference

Last synced: 08 Jan 2025

https://github.com/GammaTauAI/opentau

Using Large Language Models for Repo-wide Type Prediction

ai llm openai rust type-inference typescript

Last synced: 05 Nov 2024

https://github.com/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.

algebraic-effects compiler continuations functional-programming handlers type-inference

Last synced: 27 Oct 2024

https://github.com/glyphack/enderpy

WIP: Experimental Python Type Checker and LSP 🔎

auto-com auto-complete language-server lsp python rust static-analysis type-checker type-inference

Last synced: 08 Jan 2025

https://github.com/orsinium-labs/infer-types

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

annotations code-formatter code-generation mypy pyannotate python python3 pytype static-analysis type-annotations type-checking type-inference typing

Last synced: 16 Nov 2024

https://github.com/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

compiler cpp language llvm low-level-programming programming-language static-type-system system-programming type-inference

Last synced: 28 Oct 2024

https://github.com/cdiggins/heron-language

A pure functional type-inferred language based on JavaScript

3d 3d-graphics heron javascript language programming-language type-inference typed-language webgl

Last synced: 11 Nov 2024

https://github.com/glossopoeia/boba

A general purpose statically-typed concatenative programming language.

compiler concatenative language programming-language type-inference

Last synced: 07 Nov 2024

https://github.com/mrvplusone/lambdanet

Probabilistic Type Inference using Graph Neural Networks

graph-neural-networks iclr2020 pointer-networks type-inference

Last synced: 28 Oct 2024

https://github.com/lorepozo/polytype-rs

A Hindley-Milner polymorphic typing system

hindley-milner polymorphism type-inference types

Last synced: 15 Nov 2024

https://github.com/denostack/safen

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

deno sanitization type-inference typescript validation

Last synced: 12 Oct 2024

https://github.com/mbg/hindley-milner

Template for Hindley-Milner based languages

hindley-milner language type-inference types unification

Last synced: 22 Oct 2024

https://github.com/kekyo/typeinferencer

Algorithm W and Algorithm M in F#

algorithm-m algorithm-w ast fsharp functional type-inference

Last synced: 30 Oct 2024

https://github.com/cristianoc/reinfer

Runtime Extended Inference for json data.

javascript json programming-language reason reasonml type-inference type-system

Last synced: 20 Dec 2024

https://github.com/iitalics/opal

Simple and powerful programming language with type inference

functional-programming programming-language static-typing type-inference

Last synced: 05 Nov 2024

https://github.com/cristianoc/REInfer

Runtime Extended Inference for json data.

javascript json programming-language reason reasonml type-inference type-system

Last synced: 14 Nov 2024

https://github.com/athos/type-infer

A Clojure utility to inspect static types inferred by the Clojure compiler

clojure macros static-types type-inference

Last synced: 12 Nov 2024

https://github.com/jolin-io/isdef.jl

maintainable type inference

julia julialang type-inference

Last synced: 09 Nov 2024

https://github.com/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

access-modifiers classes const decorators ecmascript enum enumeration es5 es6 es7 inheritance interfaces let tuples type-inference type-system typescript typescript-framework typescript-library

Last synced: 25 Nov 2024

https://github.com/romelperez/yrel

JavaScript JSON schema validation with TypeScript type inference.

data-validation schema-validation type-inference typescript

Last synced: 27 Oct 2024

https://github.com/wdamron/poly

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

algorithm-w hindley-milner type-inference type-system type-theory

Last synced: 12 Nov 2024

https://github.com/ocramz/thih

typing haskell in haskell

compilers functional-programming type-inference

Last synced: 15 Oct 2024

https://github.com/michallepicki/tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

gleam type-inference typechecking types

Last synced: 10 Dec 2024

https://github.com/genivia/husky

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

functional-language hindley-milner lambda-calculus lazy-evaluation type-inference

Last synced: 23 Dec 2024

https://github.com/zdimension/hm-infer-scheme

Hindley-Milner type inference in Scheme, for Scheme

hindley-milner racket scheme type-inference

Last synced: 10 Dec 2024

https://github.com/inkydragon/microml.jl

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

ml type-inference

Last synced: 21 Nov 2024

https://github.com/orsinium-labs/astypes

Python library to infer types for AST nodes. Make the most powerful Python linters and formatters!

annotations ast code-formatter formatter inference linter mypy python python3 static-analysis type-inference typeshed

Last synced: 16 Nov 2024

https://github.com/beenotung/cast.ts

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

api cast restful schema type-casting type-inference typescript validation zod

Last synced: 01 Jan 2025

https://github.com/kevinwilde/type-system-workshop

Type system workshop for reactathon

static-types type-inference type-systems

Last synced: 05 Jan 2025

https://github.com/pfalcon/picompile

Pico Compile, factored out "numpile" project, a small JIT compiler for Python with type inference

jit-compiler python type-inference

Last synced: 27 Oct 2024

https://github.com/coord-e/impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies

type-inference

Last synced: 09 Nov 2024

https://github.com/eliphatfs/typhon

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

python transpiler type-inference

Last synced: 13 Nov 2024

https://github.com/lawvs/zod-compare

⚖️ Compare two Zod schemas recursively.

runtime-validation schema-validation static-types type-inference typescript zod

Last synced: 28 Oct 2024

https://github.com/scale3-labs/clickhouse-schema

Dynamic typescript type inference by writing clickhouse CREATE TABLE queries as schemas

clickhouse type-inference typescript

Last synced: 08 Nov 2024

https://github.com/thoughtworksinc/typeof.scala

Create types from expressions

macros metaprogramming type-inference

Last synced: 12 Nov 2024

https://github.com/bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

functional-language functional-programming hindley-milner ocaml type-inference type-system

Last synced: 19 Nov 2024

https://github.com/zdimension/hm-infer-rs

Hindley-Milner type inference for Scheme, in Rust

hindley-milner rust scheme type-inference

Last synced: 10 Dec 2024

https://github.com/maxbarsukov/waddle

🦩 Object-oriented static-typing language

interpreter static-typing type-inference

Last synced: 18 Oct 2024

https://github.com/azur1s/hm

A small type inference/checker for a small set of expressions

hindley-milner rust type-checking type-inference

Last synced: 10 Dec 2024

https://github.com/jahfer/rubytie

Type inference engine for Ruby

ruby type-inference

Last synced: 24 Nov 2024

https://github.com/bynect/constraint-inference

OCaml implementation of a constraint-based bottom-up type inference algorithm

constraints type-checking type-inference type-system

Last synced: 19 Nov 2024

https://github.com/raviqqe/type-inference

Type inference algorithm with mutable data structures in Go

go type-inference

Last synced: 07 Dec 2024

https://github.com/petroniuss/foolang

Interpreter for a small functional language!

haskell interpreter type-inference

Last synced: 01 Dec 2024

https://github.com/kraglik/type_inference

Algorithm W implementation

algorithm-w python type-inference

Last synced: 22 Dec 2024

https://github.com/qnighy/fplp-interpreter

関数・論理型プログラミング実験

interpreter ocaml type-inference

Last synced: 13 Dec 2024

https://github.com/developedby/algorithm-w-rs

Simple implementation of Hindley-Milner type inference in Rust

algorithm-w hindley-milner rust type-inference

Last synced: 26 Nov 2024

https://github.com/quasilyte/typ.el

Type inference framework for Emacs. Build better APIs, tools, linters and optimizers with type info!

emacs-lisp type-inference type-system

Last synced: 21 Dec 2024

https://github.com/xor-bits/zap

a scripting language (primarily) for games written in Rust

interop jit llvm-frontend scripting-language strongly-typed type-inference

Last synced: 15 Dec 2024

https://github.com/berkus/oak-cool-hm-types

Implementation of Aiken's COOL teaching language in Rust with Hindley-Milner type inference, using oak as parser.

language oak parsing rust type-inference

Last synced: 12 Nov 2024

https://github.com/casm-lang/libcasm-fe

CASM Front-end, AST Representation, Parser, and Typechecker

abstract-syntax-tree casm frontend library symbol-table type-inference

Last synced: 08 Jan 2025

https://github.com/axeincode/zob

Zod is a TypeScript-first schema declaration and validation library. It allows you to define schemas for your data structures in a concise and readable way, enabling runtime type validation.

runtime-validation schema-validation static-types type-inference typescript

Last synced: 29 Nov 2024

https://github.com/mtumilowicz/java11-lambda-type-inference

Exploring basic features of lambda type inference in Java 11.

java11 java11-example type-inference var

Last synced: 04 Jan 2025

https://github.com/owaismohsin001/czariscript

A functional/OO programming language with global subtype inference

inheritance prototypes structural-types subtype subtype-inference type-inference

Last synced: 07 Dec 2024

https://github.com/mtumilowicz/java10-local-type-inference

Gentle introduction to Java 10 local variable type inference.

java10 try-with-resources type-inference typeinference var

Last synced: 04 Jan 2025

https://github.com/selmasaltik/typescript-basics

React + TypeScript /// What I learned from "React - The Complete Guide 2024 (incl. Next.js, Redux) - Academind by Maximilian Schwarzmüller"

arrays functions generics objects type-aliases type-inference types typescript typescript-react union-types

Last synced: 22 Dec 2024

https://github.com/lue-bird/elm-syntax-type-infer

add types to elm-syntax

elm elm-syntax type-inference

Last synced: 25 Nov 2024

https://github.com/marrow/typecast

Utilize Python 3 function annotations for rich, structured typecasting, not just type validation and hinting, through direct specification and inference.

python type-annotations type-casting type-coercion type-inference

Last synced: 12 Nov 2024

https://github.com/zdimension/hm-infer-cs

Hindley-Milner type inference for Scheme, in C#

csharp hindley-milner scheme type-inference

Last synced: 10 Dec 2024

https://github.com/i10416/naivetypeinference

Naive Hindley-Miler Type Inference Impl

hindley-milner scala type-inference

Last synced: 13 Nov 2024

https://github.com/ilankri/lambda

A toy type checker (mirrored from https://gitlab.com/ilankri/lambda)

school-project type-checker type-inference

Last synced: 12 Oct 2024