typechecking

There are 68 repositories under typechecking topic.

  • google/closure-compiler

    A JavaScript checker and optimizer.

    Language:Java7.3k2352.9k1.1k

  • rustedpy/result

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

    Language:Python1.4k106677

  • msz/hammox

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

    Language:Elixir55243225

  • Stewori/pytypes

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

    Language:Python19598619

  • RobertCraigie/pyright-python

    Python command line wrapper for pyright, a static type checker

    Language:Python14448423
  • coulomb

    erikerlandson/coulomb

    coulomb: unit analysis for Scala

    Language:Scala1409619

  • brendanzab/language-garden

    A garden of small programming language implementations 🪴

    Language:OCaml130514

  • FelixTheC/strongtyping

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

    Language:Python1046273

  • davidfstr/trycast

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

    Language:Python727205

  • SebastianMestre/Jasper

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

    Language:C++576394

  • happylynx/flow-webpack-plugin

    A webpack plugin allowing to call Flow type checker.

    Language:JavaScript36296

  • 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 :).

    Language:Python364412

  • spotify/ts-interface-loader

    Webpack support for validating TypeScript definitions at runtime.

    Language:TypeScript231115

  • joelburget/lvca

    language verification, construction, and analysis

    Language:OCaml202230

  • SeanCannon/prettycats

    Common predicates for validating objects

    Language:JavaScript14222

  • avanov/typeit

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

    Language:Python132241

  • michallepicki/tibe

    Ahnfelt's Type Inference by Example but implemented in Gleam

    Language:Gleam12200

  • Drag13/IsNumberStrict

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

    Language:JavaScript11314

  • aradarbel10/Styff

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

    Language:OCaml8100

  • alexewerlof/jty

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

    Language:TypeScript7101

  • Shambles-Dev/AutoHotkey-Type_Checking

    Type Checking for AutoHotkey

    Language:AutoHotkey7201

  • wjrforcyber/SystemT

    👨‍💻 Implementing System T in Haskell 👨‍💻

    Language:Haskell7100

  • EzyGang/py-cachify

    Distributed locks and cached based utils

    Language:Python6120

  • Codevendor/inferjs

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

    Language:JavaScript4100

  • jkalish14/UserInputParser

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

    Language:Python3100

  • NicoPennec/tscheck-demo

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

    Language:JavaScript3300

  • OpenINF/openinf-util-types

    Fundamental JavaScript type-related utilities

    Language:TypeScript33112

  • vitalishapovalov/Typecheck

    Super-simple type checkers

    Language:TypeScript3210

  • awseward/gh-actions-dhall

    A GitHub Action which typechecks and lints all Dhall files in a repository.

    Language:Dhall220

  • 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

    Language:TypeScript2311

  • Cizr/Yacc-Parser-Addition-Rules-and-Type-Checking

    An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.

    Language:Python210

  • Codevendor/inferjs-compiler

    A compiler that processes JSDoc comments into an InferObject File for utilizing with the InferJS Library.

    Language:JavaScript2150

  • haskric/map_schema

    Simple, agile, map schema in elixir with type checking, custom types with casting and validation and with json encoding

    Language:Elixir2100

  • michaelsippel/ltsh

    tiny utility program for type-analysis of shell pipelines based on ladder-typing

    Language:Rust2200

  • quangis/transforge

    Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

    Language:Python231140

  • Toobo/TypeChecker

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

    Language:PHP2100