typechecking

There are 1 repository under typechecking topic.

• google / closure-compiler

  A JavaScript checker and optimizer.

  closure-compilerjavascriptoptimizationtypechecking
  Language:JavaScript 7586

• rustedpy / result

  NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

  functional-programmingmypypythonpython3railway-oriented-programmingruststrongly-typedtype-safetytypechecking
  Language:Python 1680

• msz / hammox

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

  elixirtestingmockmoxcontract-testingtypecheckertypecheckingtypespecdialyzercontractsbehaviourscontractbehaviourbehaviour-typespecunit-testingtypespecsmocksexplicit-contractstype-checkingtype-checker
  Language:Elixir 586

• brendanzab / language-garden

  A garden of small programming language implementations 🪴

  compilationcompilersdependent-typeselaborationinterpreterinterpretersl-systemslanguage-gardennormalization-by-evaluationprogramming-languagessemantic-typecheckingtype-checkingtype-systemstype-theorytypechecking
  Language:OCaml 290

• RobertCraigie / pyright-python

  Python command line wrapper for pyright, a static type checker

  clipippythontypechecking
  Language:Python 245

• Stewori / pytypes

  Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

  pythontypecheckingoverridepep484type-hintsruntime-typechecking
  Language:Python 201
• coulomb

  erikerlandson / coulomb

  coulomb: unit analysis for Scala

  unit-analysisunit-conversionscalastatic-typesdimensional-analysisunitstype-safetytypelevelunit-quantitytypeclasstypecheckingpureconfigrefinedconfigurations
  Language:Scala 148

• FelixTheC / strongtyping

  Decorator which checks whether the function is called with the correct type of parameters.

  pythontype-checkingruntime-checkingtypecheckingdecoratordocstring-checkerpropertysetter-gettertyping-decorator
  Language:Python 116
• py-cachify

  EzyGang / py-cachify

  Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.

  asynccachecachifycachingdecoratorslocklockinglocking-librarylockspicklepythonpython3redissynctypechecking
  Language:Python 112

• davidfstr / trycast

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

  parsingpythontypecheckingruntime-typecheckingtypecheckertypingvalidation
  Language:Python 86

• SebastianMestre / Jasper

  A programming language. Static types. Full type inference. Garbage collection. --- not stable

  jasperprogramming-languageparsingtypecheckingcpp14
  Language:C++ 61

• smarie / python-autoclass

  A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

  code-generatorconstructorautoargsautopropscontractsenforceboilerplatepep484type-hintsruntime-typecheckingtypecheckingautofieldsattrattributeclassgettersetterpropertyproperties
  Language:Python 38

• happylynx / flow-webpack-plugin

  A webpack plugin allowing to call Flow type checker.

  flowflowtypetypecheckingwebpack-plugin
  Language:JavaScript 36

• spotify / ts-interface-loader

  Webpack support for validating TypeScript definitions at runtime.

  typescriptwebpacktypecheckingwebpack-loader
  Language:TypeScript 23

• joelburget / lvca

  language verification, construction, and analysis

  denotational-semanticslanguagelanguage-workbenchparsingpretty-printingprogramming-languagetypechecking
  Language:OCaml 20

• elucent / clover

  Lovable memory-safe systems language with a pretty fast compiler

  compiler-optimizationcompilersdata-oriented-designmemory-safetyprogramming-languageruntimesyntactic-sugartype-inferencetypechecking
  Language:C++ 15

• SeanCannon / prettycats

  Common predicates for validating objects

  curriedpredicatestypecheckingvalidation
  Language:JavaScript 15

• avanov / typeit

  Infer Python types from JSON data, use them for auto serialisation and parsing

  pythontypingmypyserializationstructured-datapython3colanderpyrsistentdeserializationjsontypecheckingparsingparser
  Language:Python 13

• Drag13 / IsNumberStrict

  Checks if JavaScript variable is a number. Strings are not allowed.

  isnumberjavascriptlibrarynpm-packagenumbernumberstypechecktypechecking
  Language:JavaScript 12

• michallepicki / tibe

  Ahnfelt's Type Inference by Example but implemented in Gleam

  gleamtype-inferencetypecheckingtypes
  Language:Gleam 12

• msanlop / uza

  A simple statically typed programming language

  ccompilersprogramming-languagepythontypecheckingvirtual-machinevm
  Language:Python 11

• aradarbel10 / Styff

  A functional programming language based on system F (omega) ft. NbE and higher order unification

  compilergadtspattern-matchingsystem-f-omegatype-inferencetypecheckingfunctional-languageprogramming-languagesystem-focaml
  Language:OCaml 9

• Shambles-Dev / AutoHotkey-Type_Checking

  Type Checking for AutoHotkey

  ahkautohotkeytype-checkingtypechecking
  Language:AutoHotkey 8

• wjrforcyber / SystemT

  👨‍💻 Implementing System T in Haskell 👨‍💻

  systemhaskellsemanticstypetypecheckingprogramming-languagelambda-calculuslanguagetestbenchmark
  Language:Haskell 7

• alexewerlof / jty

  A minimal type checking library that I need in various projects for safer programming

  defensive-programmingjavascript-librarytypecheckingvalidation
  Language:TypeScript 6

• PRL-PRG / contractr

  An R :package: to insert function argument and return type contracts

  contractsrtypecheckingtypes
  Language:C++ 5

• alloc / is

  Runtime type checking for TypeScript

  isomorphictypescripttypechecking
  Language:TypeScript 4

• capaj / ts-inquisition

  A simple CLI util to mark all your current TS errors as expected. Useful when you wan to fail your builds on a new type error while expecting the old ones

  clijs-to-tstypecheckingtypescript
  Language:TypeScript 4

• Codevendor / inferjs

  A package of InferJS tools, designed for runtime checking of JavaScript types and narrowing through expectations.

  javascriptnodenodejsinferjstypescompileres6jsdoclibrarytypecheckinginferjsesmodulebrowsercommonjs
  Language:JavaScript 4

• lolpack / type_coverage_py

  Calculate the type coverage of popular Python libraries

  pandaspythontypechecking
  Language:HTML 4

• jkalish14 / UserInputParser

  Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.

  typecheckinginterface-definitionsuser-experience
  Language:Python 3

• NicoPennec / tscheck-demo

  Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS

  vanilla-jstypescriptts-checkprecommittypechecking
  Language:JavaScript 3

• OpenINF / openinf-util-types

  Fundamental JavaScript type-related utilities

  commonjscommonjs-modulecommonjs-packagefunctionalhelpershelpers-libraryjavascriptjavascript-librarylibrarynodejsnpmnpm-packagepredicatetypecheckingtypestypescripttypescript-librarytypescript-packageutilities
  Language:TypeScript 3

• Toobo / TypeChecker

  Library to check values against PHP types, is_a() on steroids.

  checkertypetypechecktypecheckertypecheckingtypes
  Language:PHP 3

• vitalishapovalov / Typecheck

  Super-simple type checkers

  utilities-jstypescripttypecheckingtype-predicatesutilities-library
  Language:TypeScript 3

• Rax-x / SimpleLang

  Simple frontend developed to learn how to create type checkers

  compilerlexerlexer-parserparsingtypecheckertypechecking
  Language:C 2