Projects in Awesome Lists tagged with typechecker

https://github.com/microsoft/typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

javascript language typechecker typescript

Last synced: 09 Sep 2025

https://github.com/microsoft/TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

javascript language typechecker typescript

Last synced: 12 Mar 2025

https://github.com/Microsoft/TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

javascript language typechecker typescript

Last synced: 14 Mar 2025

https://github.com/python/mypy

Optional static typing for Python

linter python typechecker types typing

Last synced: 17 Dec 2025

https://github.com/facebook/pyre-check

Performant type-checking for python.

abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker

Last synced: 12 May 2025

https://github.com/google/pytype

A static type analyzer for Python code

linter python static-analysis static-code-analysis typechecker types typing

Last synced: 13 May 2025

https://github.com/kaleidawave/ezno

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

compiler javascript typechecker types typescript

Last synced: 23 Apr 2025

https://github.com/soutaro/steep

Static type checker for Ruby

ruby typechecker

Last synced: 14 May 2025

https://github.com/ubugeeei/vize

Unofficial High-Performance Vue.js Toolchain in Rust

compiler lint lsp parser performance semantic-analysis storybook toolchain typechecker vue vuejs

Last synced: 27 Apr 2026

https://github.com/fsprojects/Rezoom.SQL

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

compiler fsharp postgresql sql sqlite sqlserver tsql typechecker

Last synced: 11 May 2025

https://github.com/fsprojects/rezoom.sql

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

compiler fsharp postgresql sql sqlite sqlserver tsql typechecker

Last synced: 24 Oct 2025

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

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker

Last synced: 30 Apr 2025

https://github.com/msz/hammox

🏝 automated contract testing via type checking for Elixir functions and mocks

behaviour behaviour-typespec behaviours contract contract-testing contracts dialyzer elixir explicit-contracts mock mocks mox testing type-checker type-checking typechecker typechecking typespec typespecs unit-testing

Last synced: 10 Apr 2025

https://github.com/russbaz/enforce

Python 3.5+ runtime type checking for integration testing and data validation

decorators python runtime testing type-hints typechecker typing validation

Last synced: 16 May 2025

https://github.com/RussBaz/enforce

Python 3.5+ runtime type checking for integration testing and data validation

decorators python runtime testing type-hints typechecker typing validation

Last synced: 29 Mar 2025

https://github.com/fabiandev/ts-runtime

Runtime Type Checks for TypeScript

javascript runtime typechecker typescript

Last synced: 04 Apr 2025

https://github.com/quora/pyanalyze

A Python type checker

linter python static-analysis typechecker types typing

Last synced: 05 Apr 2026

https://github.com/low-rb/low_type

Elegant types in Ruby

ruby sinatra typechecker

Last synced: 10 Mar 2026

https://github.com/mesqueeb/is-what

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

check-type class-identifier class-instance define-type get-type is-object is-plain-obj is-plain-object javascript javascript-type plain-object plain-objects primitive-types type-check type-checker type-checking typechecker typescript what-type

Last synced: 14 May 2025

https://github.com/gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

atp flexible-parsers functor language model ocaml ocaml-library parse smt-lib theorem-proving tptp typechecker

Last synced: 06 Apr 2025

https://github.com/derive4j/hkt

Higher Kinded Type machinery for Java

annotation-processor functional-programming hk-encoding hkt java-8 typechecker

Last synced: 15 Apr 2025

https://github.com/davidfstr/trycast

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

parsing python runtime-typechecking typechecker typechecking typing validation

Last synced: 09 Apr 2025

https://github.com/alisayyah/django-urlconfchecks

A package for type-checking the URLs and associated views for Django

cli developer-tools django django-application pre-commit pre-commit-hook python typechecker typer

Last synced: 05 Apr 2025

https://github.com/janlelis/sig

Validate Method Arguments & Results in Ruby

contracts ruby ruby-methods ruby-types signatures typechecker types

Last synced: 09 Oct 2025

https://github.com/bevry/typechecker

Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)

client-side nodejs typechecker

Last synced: 16 May 2025

https://github.com/iequ1/typerefl

Use Erlang typespecs in the runtime

erlang reflection typechecker

Last synced: 05 Sep 2025

https://github.com/gergoerdi/tandoori

Compositional type checking for Haskell

haskell type-system typechecker

Last synced: 19 Apr 2025

https://github.com/yuzheng14/valype

Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions.

farm rollup runtime-validation schema-validation static-types tsdown type-inference typecheck typechecker typescript unplugin validate validation validator vite webpack zod

Last synced: 30 Jun 2025

https://github.com/01mf02/kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust

dedukti dependent-types logic rust typechecker

Last synced: 21 Jul 2025

https://github.com/markleone/weekendcompiler

An example LLVM-based compiler for a subset of C.

compiler llvm parser typechecker

Last synced: 16 Aug 2025

https://github.com/h2oai/typesentry

Python 2.7 & 3.5+ runtime type-checker

pep484 python runtime typechecker types typing validation

Last synced: 07 Apr 2025

https://github.com/ziman/ttstar

Dependently typed core calculus with erasure

dependent-types erasure functional-programming type-system typechecker

Last synced: 06 Jan 2026

https://github.com/gergoerdi/stlc-agda

STLC-related snippets in Agda

agda lambda-calculus stlc typechecker

Last synced: 10 Mar 2026

https://github.com/jin/subtyping

An implementation of structural subtyping of records and functions

haskell subtypes subtyping typechecker

Last synced: 27 Aug 2025

https://github.com/amir-valizadeh/ts-analyzer

A comprehensive TypeScript codebase analyzer that provides detailed metrics on type safety, code complexity, and quality. Get actionable insights to improve your TypeScript projects.

codecomplexity nestjs nextjs react ts-analyzer typechecker typescript

Last synced: 11 Apr 2026

https://github.com/gergoerdi/hm-compo

Compositional type checking for a Hindley-Milner type system

haskell typechecker

Last synced: 11 Oct 2025

https://github.com/adebola-io/whirlwind

Programming language for clear, concise and clever computing.

extension interpreter language language-server-protocol library programming-language runtime rust typechecker typescript

Last synced: 17 Jul 2025

https://github.com/robrix/surface

Dependently-typed language w/ little to say for itself

dependent-types haskell proof-refinement typechecker

Last synced: 07 May 2025

https://github.com/kritzcreek/siml

My playground for building a compiler for an ML-like in Rust

compiler parsing typechecker wasm

Last synced: 22 Mar 2025

https://github.com/daelvn/ltypekit7

Advanced type checking for Lua.

lua moonscript typechecker

Last synced: 19 Apr 2025

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

Fury, a gradual, safe systems language

compiler memory-management programming-language typechecker zig

Last synced: 17 Jun 2025

https://github.com/edgurgel/ham

Library to validate function arguments and return values against their typespecs. Extracted out from Hammox

elixir specs typechecker types typespec

Last synced: 10 Jul 2025

https://github.com/drknzz/wolke-lang

☁️ Wolke language interpreter ☁️

bnfc haskell interpreter language syntax typechecker

Last synced: 12 Apr 2025

https://github.com/usethesource/typepal

TypePal is a framework for name analysis, type checking and type inference

domain-specific-language rascal type-checking typechecker

Last synced: 16 Jan 2026

https://github.com/kubecub/typecheck

Typecheck is a github actions robust tool designed for cross-platform source code type checking across all Go build platforms. This utility leverages Go’s built-in parsing and type-check libraries (`go/parser` and `go/types`) to deliver efficient and reliable code analysis.

actions github-actions go tools toolset typechecker

Last synced: 14 Jan 2026

https://github.com/ascandone/kestrel-lang

🦅 A pure, strongly typed functional language that compiles to js

compiler functional-programming javascript typechecker

Last synced: 24 Dec 2025

https://github.com/kawamataryo/vue-script-type-check

Command line Type-Checking tool for only the script part of Vue

cli typechecker typescript vue

Last synced: 24 Apr 2025

https://github.com/yazaldefilimone/dolphin

The Dolphin Programming Language

compiler interpreter programming-language regex-engine typechecker virtual-machine

Last synced: 09 Oct 2025

https://github.com/moimikey/typeov

👺 weak but accurate type checking that returns a string representation of input's type

dev-deps is node-modules npm-module npm-package type-detection typechecker typeof

Last synced: 07 Apr 2026

https://github.com/julienetie/typecase

A type checker for dynamically typed JavaScript

checker dynamic-types type type-check type-checker type-error typecheck typechecker types

Last synced: 30 Oct 2025

https://github.com/manighazaee/ts-runtime-typechecker

A command line tool that generates ts/js typechecker functions from typescript types.

cli command-line-tool javascript runtime-typechecking rust tools typechecker typescript

Last synced: 23 Apr 2025

https://github.com/twogate/typedgate

A Schema-less JSON validator, only requires typescript interface definitions

json typechecker typescript validation validator

Last synced: 20 Jan 2026

https://github.com/ken-morel/pyoload

Add some runtime typchecking to your functions and classes.

annotations function-arguments multiple-dispatch overloading pymodule pypi-package python typechecker

Last synced: 07 Apr 2026

https://github.com/fredemmott/hack-error-suppressor

Disable HHVM's automatic calls to the Hack typechecker

hack hacklang hhvm typechecker

Last synced: 14 Jan 2026

https://github.com/wangwilly/osu-cse-6341

Labs for programming languages

abstract-syntax-tree bash java parser runtime runtime-verification typechecker

Last synced: 02 Feb 2026

https://github.com/ironlu233/i18next-translation-dts

Typescript i18next integration. take type check to t(i18nKey) function into your code

cli generator i18next typechecker typescript

Last synced: 09 Apr 2025

https://github.com/usernobody14/pyrefly-precommit

Pre-commit hooks for the pyrefly type checker

pre-commit pre-commit-hook pyrefly python typechecker types

Last synced: 22 Jun 2025

https://github.com/spaceavocado/type-check

Collection of small javascript type check functions.

javascript typechecker typechecking

Last synced: 19 Apr 2026

https://github.com/johnedquinn/bminor

A strictly-typed C-like language called B-Minor. Utilizes Bison and Yacc to tokenize, parse, typecheck, and eventually compile into an x86 executable for execution.

assembly bison-yacc code-generation compiler-design parser programming-language scanner typechecker