microsoft / TypeScript

Star

Open

Description of `tsBuildInfoFile` is misleading in generated tsconfig.json

2

uhyo commented Feb 27, 2022

Bug Report

🔎 Search Terms

tsconfig tsBuildInfoFile Specify the folder

🕗 Version & Regression Information

4.5.5, 4.7.0-dev.20220227

⏯ Playground Link

N/A

💻 Code

After running tsc --init the generated tsconfig.json includes the following line:

  // "tsBuildInfoFile": "./",                          /* Specify the folder for .tsbuildinfo incremen

Unhelpful "Did you forget to include 'void' in your type argument to 'Promise'" in JS file

10

Open

Unhelpful error message when `interface ... extends number`

4

Find more good first issues

python / mypy

Sponsor

Star

Optional static typing for Python

python typechecker types linter typing

Updated Mar 18, 2022
Python

facebook / pyre-check

Star

Performant type-checking for python.

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

Updated Mar 18, 2022
OCaml

google / pytype

Star

Open

Output errors in machine-friendly format?

9

alok commented Jun 28, 2018

Elm has the option to output errors as JSON (via a flag), and something like that is handy for writing tooling around it. I'm trying to integrate pytype into ALE and this would make it a lot easier.

soutaro / steep

Sponsor

Star

Static type checker for Ruby

ruby typechecker

Updated Mar 18, 2022
Ruby

fsprojects / Rezoom.SQL

Star

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

typechecker sql compiler fsharp sqlite postgresql sqlserver tsql

Updated Jul 13, 2020
F#

pikelet-lang / pikelet

Star

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

🚧

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

Updated May 16, 2021
Rust

RussBaz / enforce

Star

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

python testing typechecker validation runtime decorators typing type-hints

Updated Feb 8, 2022
Python

msz / hammox

Star

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

Updated Feb 28, 2022
Elixir

fabiandev / ts-runtime

Star

Runtime Type Checks for TypeScript

javascript typechecker typescript runtime

Updated Nov 10, 2020
TypeScript

gkossakowski / kentuckymule

Star

Limits of Scala typechecking speed

typechecker scala scala-compiler

Updated Apr 28, 2021
Scala

derive4j / hkt

Star

Higher Kinded Type machinery for Java

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

Updated Feb 28, 2022
Java

JSAbrahams / mamba

Star

🐍 The Mamba programming language, because we care about safety

python language rust typechecker compiler typesafety

Updated Jan 11, 2022
Rust

janlelis / sig

Star

Validate Method Arguments & Results in Ruby

ruby typechecker types signatures contracts ruby-types ruby-methods

Updated Dec 29, 2021
Ruby

mesqueeb / is-what

Sponsor

Star

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

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

Updated Jan 26, 2022
TypeScript

bevry / typechecker

Star

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

nodejs typechecker client-side

Updated Mar 13, 2022
TypeScript

davidfstr / trycast

Star

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

python typechecker validation parsing typing typechecking runtime-typechecking

Updated Mar 18, 2022
Python

Matts966 / alphasql

Sponsor

Star

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

docker graphviz bigquery typechecker dependency-analysis dependency-graph parallelization pipeline-framework elt datawarehouse workflow-automation cycle-detection dot-language datawarehouseautomation workflow-tool zetasql

Updated Jan 26, 2022
C++

gergoerdi / tandoori

Star

Compositional type checking for Haskell

haskell typechecker type-system

Updated Apr 14, 2011
Haskell

ieQu1 / typerefl

Star

Open

Free type variables

k32 commented May 10, 2019

Handle types with free variables, for example:

-type foo :: {_Foo, _Bar}.

Free variables should be replaced with any()

Check function arity

EarlGray / language-incubator

Star

Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.

typechecker interpreter assembler forth compiler-design

Updated May 31, 2021
Rust

h2oai / typesentry

Star

Python 2.7 & 3.5+ runtime type-checker

python typechecker validation types runtime typing pep484

Updated Apr 8, 2020
Python

ziman / ttstar

Star

Dependently typed core calculus with erasure

typechecker dependent-types functional-programming type-system erasure

Updated Aug 31, 2021
Idris

MarkLeone / WeekendCompiler

Star

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

parser typechecker compiler llvm

Updated Aug 14, 2019
C++

LostInDarkMath / pedantic-python-decorators

Sponsor

Star

Some useful decorators for any situation. Includes runtime type checking.

python testing typechecker validation decorators annotations typing type-safety type-checking python-decorators docstring type-hints docstrings pedantic pedantic-decorators

Updated Feb 28, 2022
Python

jin / subtyping

Star

An implementation of structural subtyping of records and functions

haskell typechecker subtyping subtypes

Updated Jul 14, 2018
Haskell

gergoerdi / hm-compo

Star

Compositional type checking for a Hindley-Milner type system

haskell typechecker

Updated Mar 28, 2017
Haskell

robrix / surface

Star

Dependently-typed language w/ little to say for itself

haskell typechecker dependent-types proof-refinement

Updated Mar 29, 2018
Haskell

AliSayyah / django-urlconfchecks

Star

a package for type checking the urls and associated views for django

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

Updated Mar 18, 2022
Python

daelvn / ltypekit7

Star

Advanced type checking for Lua.

typechecker lua moonscript

Updated Aug 5, 2019
MoonScript

typechecker

Here are 70 public repositories matching this topic...

microsoft / TypeScript

Description of `tsBuildInfoFile` is misleading in generated tsconfig.json

Bug Report

🔎 Search Terms

🕗 Version & Regression Information

⏯ Playground Link

💻 Code

Unhelpful "Did you forget to include 'void' in your type argument to 'Promise'" in JS file

Unhelpful error message when `interface ... extends number`

python / mypy

facebook / pyre-check

google / pytype

Output errors in machine-friendly format?

soutaro / steep

fsprojects / Rezoom.SQL

pikelet-lang / pikelet

RussBaz / enforce

msz / hammox

fabiandev / ts-runtime

gkossakowski / kentuckymule

derive4j / hkt

JSAbrahams / mamba

janlelis / sig

mesqueeb / is-what

bevry / typechecker

davidfstr / trycast

Matts966 / alphasql

gergoerdi / tandoori

ieQu1 / typerefl

Free type variables

Check function arity

EarlGray / language-incubator

h2oai / typesentry

ziman / ttstar

MarkLeone / WeekendCompiler

LostInDarkMath / pedantic-python-decorators

jin / subtyping

gergoerdi / hm-compo

robrix / surface

AliSayyah / django-urlconfchecks

daelvn / ltypekit7

Improve this page

Add this topic to your repo