GitHub topics: typechecker
facebook/pyrefly
A fast type checker and IDE for Python
Language: Rust - Size: 235 MB - Last synced at: about 6 hours ago - Pushed at: about 8 hours ago - Stars: 3,581 - Forks: 144
soutaro/steep
Static type checker for Ruby
Language: Ruby - Size: 6.49 MB - Last synced at: about 10 hours ago - Pushed at: about 12 hours ago - Stars: 1,438 - Forks: 107
ascandone/kestrel-lang
π¦ A pure, strongly typed functional language that compiles to js
Language: TypeScript - Size: 1 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 6 - Forks: 0
mesqueeb/is-what
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Language: TypeScript - Size: 1.75 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 198 - Forks: 20
facebook/pyre-check
Performant type-checking for python.
Language: OCaml - Size: 485 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7,086 - Forks: 452
python/mypy
Optional static typing for Python
Language: Python - Size: 71.1 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 19,710 - Forks: 2,998
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language: TypeScript - Size: 2.64 GB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 105,754 - Forks: 12,975
davidfstr/trycast
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Language: Python - Size: 729 KB - Last synced at: 4 days ago - Pushed at: 4 months ago - Stars: 83 - Forks: 6
UserNobody14/pyrefly-precommit
Pre-commit hooks for the pyrefly type checker
Size: 7.81 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 3 - Forks: 0
google/pytype
A static type analyzer for Python code
Language: Python - Size: 42.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 4,920 - Forks: 289
edgurgel/ham
Library to validate function arguments and return values against their typespecs. Extracted out from Hammox
Language: Elixir - Size: 417 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 9 - Forks: 0
ken-morel/pyoload
Add some runtime typchecking to your functions and classes.
Language: Python - Size: 14.8 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 2 - Forks: 0
bevry/typechecker
Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
Language: TypeScript - Size: 3.22 MB - Last synced at: 9 days ago - Pushed at: 19 days ago - Stars: 50 - Forks: 6
usethesource/typepal
TypePal is a framework for name analysis, type checking and type inference
Language: Rascal - Size: 2.26 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 5 - Forks: 4
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Language: OCaml - Size: 11.8 MB - Last synced at: 7 days ago - Pushed at: 22 days ago - Stars: 88 - Forks: 20
AliSayyah/django-urlconfchecks
A package for type-checking the URLs and associated views for Django
Language: Python - Size: 2.02 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 64 - Forks: 1
LostInDarkMath/pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
Language: Python - Size: 1.03 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 24 - Forks: 2
danielbayley/reliable-type
Reliable runtime type information.
Language: JavaScript - Size: 35.2 KB - Last synced at: 26 days ago - Pushed at: 30 days ago - Stars: 1 - Forks: 0
engmaryamameen/pytype
A lightweight Python static type checking and inference tool.
Language: Python - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
fsprojects/Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Language: F# - Size: 4.05 MB - Last synced at: 16 days ago - Pushed at: about 5 years ago - Stars: 675 - Forks: 24
kevinlopaq/cmtt
Typechecker for CMTT
Language: Haskell - Size: 109 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
MehemmedQ2003/Typescript-Lessons
TypeScript is a superset of JavaScript that compiles to clean JavaScript output
Language: JavaScript - Size: 13.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
Stepami/hydrascript
TypeScript & Go inspired open-source public research project written in C#
Language: C# - Size: 865 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 78 - Forks: 6
01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
Language: Rust - Size: 775 KB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 22 - Forks: 4
kaleidawave/ezno
A fast and correct TypeScript type checker and compiler with additional experiments
Language: Rust - Size: 4.66 MB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 2,677 - Forks: 48
msz/hammox
π automated contract testing via type checking for Elixir functions and mocks
Language: Elixir - Size: 346 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 581 - Forks: 30
quora/pyanalyze
A Python type checker
Language: Python - Size: 2.57 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 370 - Forks: 39
yuzheng14/valype
Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions with unplugin integration.
Language: TypeScript - Size: 631 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 36 - Forks: 0
JSAbrahams/mamba
π The Mamba programming language, because we care about safety
Language: Rust - Size: 3.33 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 89 - Forks: 5
testingrequired/reqlang-expr
A tiny (bytecode compiled, stack VM interpreted) expression language for reqlang's templating engine.
Language: Rust - Size: 277 KB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
fabiandev/ts-runtime
Runtime Type Checks for TypeScript
Language: TypeScript - Size: 33.1 MB - Last synced at: 26 days ago - Pushed at: almost 5 years ago - Stars: 492 - Forks: 5
abelcheung/pytest-revealtype-injector
Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison
Language: Python - Size: 192 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
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.
Language: TypeScript - Size: 27.3 KB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 11 - Forks: 1
pandemonium/marmelade
Toy functional language in the ML spirit. With a bidirectional typer, Pratt-parsing and layout syntax over braces.
Language: Rust - Size: 400 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0
EarlGray/language-incubator
Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
Language: Rust - Size: 4.09 MB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 58 - Forks: 1
MarkLeone/WeekendCompiler
An example LLVM-based compiler for a subset of C.
Language: C++ - Size: 76.2 KB - Last synced at: 19 days ago - Pushed at: about 6 years ago - Stars: 29 - Forks: 3
flextremedev/react-type-check
Type checking utilities for React elements.
Language: TypeScript - Size: 5.73 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
fury-lang/fury
Fury, a gradual, safe systems language
Language: Zig - Size: 585 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 8 - Forks: 0
aleasoluciones/pydevlib
π οΈ π Alea Soluciones development utils & scripts meant to be used in Python projects
Language: Python - Size: 83 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1
fulminazzo/mojito
A parser that reads and executes a simplified version of Java
Language: Groovy - Size: 2.87 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
Robert076/Interpreter-for-Toy-Language
A Java-based interpreter for a custom toy programming language with concurrency, type checking, and a JavaFX GUI. Built using MVC architecture, OOP, and functional programming principles. Developed as part of university coursework.
Language: Java - Size: 121 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
Language: Rust - Size: 5.56 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 617 - Forks: 26
RussBaz/enforce
Python 3.5+ runtime type checking for integration testing and data validation
Language: Python - Size: 283 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 545 - Forks: 21
janlelis/sig
Validate Method Arguments & Results in Ruby
Language: Ruby - Size: 21.5 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 57 - Forks: 2
fredemmott/hack-error-suppressor π¦
Disable HHVM's automatic calls to the Hack typechecker
Language: Hack - Size: 24.4 KB - Last synced at: 4 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 2
adebola-io/whirlwind
Programming language for clear, concise and clever computing.
Language: Rust - Size: 3.06 MB - Last synced at: 4 months ago - Pushed at: 10 months ago - Stars: 10 - Forks: 0
gergoerdi/tandoori
Compositional type checking for Haskell
Language: Haskell - Size: 332 KB - Last synced at: 5 months ago - Pushed at: over 14 years ago - Stars: 37 - Forks: 3
Matts966/alphasql
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
Language: C++ - Size: 284 MB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 53 - Forks: 4
Rax-x/SimpleLang
Simple frontend developed to learn how to create type checkers
Language: C - Size: 25.4 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
drknzz/wolke-lang
βοΈ Wolke language interpreter βοΈ
Language: Haskell - Size: 1.56 MB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 0
01mf02/kontroli-hs
Alternative implementation of the logical framework Dedukti
Language: Haskell - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
ziman/ttstar
Dependently typed core calculus with erasure
Language: Idris - Size: 3.25 MB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 19 - Forks: 0
yazaldefilimone/eva-typechecker
π | Type system | Static typeChecker | Type inference
Language: JavaScript - Size: 129 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
emmanseete/microsoft.typescript Fork of microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Language: TypeScript - Size: 1.95 GB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
domino644/sly-compiler
Compiler made in SLY for Theory of Compiling AGH course
Language: Python - Size: 112 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 1
JoeLoparco/MiniJava-Compiler
Front end of Mini Java Compiler built in Java. Including: Tokenizer, Parser and Semantic Analyzer.
Language: Java - Size: 19.5 KB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
ieQu1/typerefl
Use Erlang typespecs in the runtime
Language: Erlang - Size: 119 KB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 39 - Forks: 12
danieljharvey/lsp-experiments
Experiments in designing a language LSP-first
Language: Rust - Size: 85.9 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
h2oai/typesentry
Python 2.7 & 3.5+ runtime type-checker
Language: Python - Size: 90.8 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 19 - Forks: 7
gergoerdi/stlc-agda
STLC-related snippets in Agda
Size: 164 KB - Last synced at: 6 months ago - Pushed at: over 12 years ago - Stars: 16 - Forks: 1
yazaldefilimone/dolphin
The Dolphin Programming Language
Language: TypeScript - Size: 202 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
WangWilly/osu-cse-6341
Labs for programming languages
Language: Java - Size: 2.95 MB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
derive4j/hkt
Higher Kinded Type machinery for Java
Language: Java - Size: 205 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 82 - Forks: 9
egonlang/egonlang
A toy statically typed interpreted language
Language: Rust - Size: 5.09 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
wahl-sec/doc-log
Python docstring parser with forgiving type checking and logging for multiple docstring dialects.
Language: Python - Size: 62.5 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1
kritzcreek/siml
My playground for building a compiler for an ML-like in Rust
Language: Rust - Size: 439 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 1
GustavLindberg99/Typecheck.js
JavaScript library for runtime type checking
Language: JavaScript - Size: 85.9 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
michal-kapala/jitterbit-script
Static typechecker and interpreter for Jitterbit scripts
Language: TypeScript - Size: 1020 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
hanako-eo/arsenic
A language designed as an alternative to TypeScript, stricter, more rigorous and designed to optimise the JavaScript code produced as much as possible.
Language: Zig - Size: 75.2 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 7 - Forks: 0
Toobo/TypeChecker
Library to check values against PHP types, is_a() on steroids.
Language: PHP - Size: 87.9 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
damif94/gradualelixir
A gradual type checker for a fragment of the Elixir Language
Language: Python - Size: 1.88 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
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.
Language: Go - Size: 34.2 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
metuan/TypecheckEval-PPLanguage
We have invented the arithmetic logic programming language called as PP. We had to create parser, type check and eval which let you play with that language.
Language: Haskell - Size: 642 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
mzacho/refinement-types
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
Language: OCaml - Size: 446 KB - Last synced at: 10 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
ManiGhazaee/ts-runtime-typechecker
A command line tool that generates ts/js typechecker functions from typescript types.
Language: Rust - Size: 102 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
RomainTHD/RomainTS π¦
A TypeScript typechecker
Language: TypeScript - Size: 49.7 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
michaelsippel/ltsh
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Language: Rust - Size: 41 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
gkossakowski/kentuckymule
Limits of Scala typechecking speed
Language: Scala - Size: 8.21 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 157 - Forks: 10
julienetie/typecase
A type checker for dynamically typed JavaScript
Language: JavaScript - Size: 38.1 KB - Last synced at: 28 days ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
jcbhmr/is-what Fork of mesqueeb/is-what
β Collection of tiny type introspection helpers
Language: TypeScript - Size: 1.05 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
jeffmcmahan/aro
Create tests, mocks, complex type checks and code contracts in plain ES7.
Language: JavaScript - Size: 180 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
daelvn/ltypekit7
Advanced type checking for Lua.
Language: MoonScript - Size: 204 KB - Last synced at: 5 months ago - Pushed at: about 6 years ago - Stars: 9 - Forks: 0
Singularitty/sPLash
Compiler for the sPLash programming language
Language: Python - Size: 89.8 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
kawamataryo/vue-script-type-check
Command line Type-Checking tool for only the script part of Vue
Language: TypeScript - Size: 322 KB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
varunsridharan/js-is
ES6 JavaScript Type Check Library
Language: JavaScript - Size: 18.6 KB - Last synced at: 27 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
onstash/typy_checker
Type-Checking Function Arguments for Humansβ’
Language: Python - Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
igorasantos/use-test-flow
A minimal boilerplate to test Flow Static Type functionaties.
Language: JavaScript - Size: 111 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
zenflow/ts-interface-builder-macro-demo
Demo using `ts-interface-builder/macro`
Language: TypeScript - Size: 230 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
IronLu233/i18next-translation-dts
Typescript i18next integration. take type check to t(i18nKey) function into your code
Language: TypeScript - Size: 137 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
jacopofar/runtime_typecheck π¦
Checks that a value satisfies a Python 3.6 type
Language: Python - Size: 35.2 KB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
stepanvanzuriak/tau π¦
Ο Experimental static type checker
Language: JavaScript - Size: 1.65 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
alexandrustoica/java.core.typechecker
Typechecker for Java Core
Language: CSS - Size: 239 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
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.
Language: C - Size: 109 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
jin/subtyping
An implementation of structural subtyping of records and functions
Language: Haskell - Size: 23.4 KB - Last synced at: 8 days ago - Pushed at: about 7 years ago - Stars: 13 - Forks: 2
cstml/FMCt
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
Language: Haskell - Size: 239 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
davidmz/ts-json-check
Simple JSON-data typechecker for TypeScript
Language: TypeScript - Size: 607 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
klaby/chork
π¬ Minimalistic JS data type checking and serialization utility..
Language: TypeScript - Size: 654 KB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
Language: Haskell - Size: 29.5 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
lorenzobilli/LPO-project
An interpreter for a (very) simple functional programming language.
Language: Java - Size: 248 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
robrix/surface
Dependently-typed language w/ little to say for itself
Language: Haskell - Size: 407 KB - Last synced at: 3 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0
