Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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/sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book compiler evaluation functional-language functional-programming haskel hindley-milner intermediate-representation lambda-calculus pdf-book type type-checking type-inference type-system type-theory
Last synced: 03 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/ltcmelo/psychec
A compiler frontend for the C programming language
c c-language clanguage compiler compiler-frontend language-semantics parser parsing parsing-library program-analysis static-analysis type-inference
Last synced: 04 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/freshos/arrow
🏹 Parse JSON with style
arrow decoding freshos ios json json-parsing mapping micro-framework objectmapper simple swift swiftyjson type-inference unbox
Last synced: 04 Jan 2025
https://github.com/freshOS/Arrow
🏹 Parse JSON with style
arrow decoding freshos ios json json-parsing mapping micro-framework objectmapper simple swift swiftyjson type-inference unbox
Last synced: 09 Dec 2024
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/dylan-profiler/visions
Type System for Data Analysis in Python
data-analysis data-science hacktoberfest numpy pandas python spark type-inference type-system
Last synced: 03 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/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 27 Oct 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/MaxDesiatov/Typology
Swift type checking and semantic analysis for developer tools
developer-tools hindley-milner semantic-analysis semantic-analyzer swift type-checker type-checking type-inference type-system
Last synced: 23 Nov 2024
https://github.com/maxdesiatov/typology
Swift type checking and semantic analysis for developer tools
developer-tools hindley-milner semantic-analysis semantic-analyzer swift type-checker type-checking type-inference type-system
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/andreypopp/type-systems
Playing with type systems
hindley-milner ocaml type-inference type-systems typeclasses
Last synced: 17 Oct 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/samchou19815/samlang
Sam's Programming Language
compiler interpreter optimizing-compiler programming-language type-inference webassembly
Last synced: 20 Dec 2024
https://github.com/HiDeoo/zod-matter
Typesafe front matter
front-matter frontmatter gray-matter markdown matter mdx runtime-validation schema-validation type-inference typesafe typescript yaml zod
Last synced: 09 Dec 2024
https://github.com/hideoo/zod-matter
Typesafe front matter
front-matter frontmatter gray-matter markdown matter mdx runtime-validation schema-validation type-inference typesafe typescript yaml zod
Last synced: 09 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: 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.
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/moea/types
Type System Modeling in Clojure
clojure hindley-milner lambda-calculus type-checking type-inference type-system type-theory types
Last synced: 09 Nov 2024
https://github.com/coord-e/impl-outsidein
Toy implementation of type inference for GADTs and TypeFamilies
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/jaredly/algorithm-j
a typescript version
algorithm-j algorithm-w hindley-milner inference-algorithms type-inference
Last synced: 25 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
Last synced: 07 Dec 2024
https://github.com/eerkela/bertrand
flexible type extensions for pandas
conversions data-analysis data-engineering data-science multiple-dispatch numpy pandas type-checking type-inference types
Last synced: 30 Oct 2024
https://github.com/jacobweisenburger/leukocyte
Customizable validation with type inference
javascript runtime-validation schema-validation static-types type-inference typescript
Last synced: 25 Nov 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/loderunner/typelit
A type-safe string templating library for TypeScript
interpolation string-formatting string-interpolation string-manipulation string-templates strongly-typed template templating text-processing type-checking type-inference type-safe typescript zero-dependencies zero-runtime
Last synced: 13 Dec 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/cs-joy/kotlinfv1.6.20
study:: https://kotlinlang.org/docs/home.html
block-structured concurrent cross-platform declarative functional generic imperative multi-paradigm object-oriented reflective statically-typed type-inference
Last synced: 05 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/whiletruu/type-inference-in-elm-playground
Playground for type inference in elm
elm hindley-milner playground type-inference
Last synced: 09 Nov 2024
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/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