Awesome Open Source

Programming Languages

Search results for type checking

type-checking x

204 search results found

Closure Compiler ⭐ 7,175

A JavaScript checker and optimizer.

Ts Toolbelt ⭐ 6,503

👷 TypeScript's largest type utility library

Function argument validation for humans

Thinc ⭐ 2,774

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Agda is a dependently typed programming language / interactive theorem prover.

The compiler for Teal, a typed dialect of Lua

Tcomb ⭐ 1,883

Type checking and DDD for JavaScript

Type Signature for Ruby

Result ⭐ 1,198

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

Super-fast alternative for babel-jest or ts-jest without type checking. Please use main repository for issues

High-performance Vision library in Python. Scale your research, not boilerplate.

SystemVerilog compiler and language services

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

Elixir Type_check ⭐ 500

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Python Blueprint ⭐ 492

🐍 Example Python project using best practices 🥇

Airgram ⭐ 470

Strict typed library to create Telegram apps with Typescript/JavaScript (based on TDLib 1.8)

Objectmodel ⭐ 467

Strong Dynamically Typed Object Modeling for JavaScript

Stronger_parameters ⭐ 298

Type checking and type casting of parameters for Action Pack

Mypy Pycharm Plugin ⭐ 252

A simple plugin that allows running mypy from PyCharm and navigate between errors

React Redux Typescript Jspm Starter ⭐ 237

Futuristic, bundle-free, development environment for building Component-Driven SPA with React, Redux and TypeScript - powered by JSPM (SystemJS & Rollup with tree-shaking)

Check Types.js ⭐ 233

MOVED TO GITLAB

Ats Xanadu ⭐ 176

Bootstrapping ATS3

Babel 7 Typescript Example ⭐ 167

Example TypeScript project built on top of new Babel 7 features. Includes Jest and Enzyme.

Lerna Webpack Example ⭐ 167

An example monorepo implementing lerna, webpack, codesplitting, and eslint

Pytypes ⭐ 165

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

Tapl Scala ⭐ 161

Code from the book "Types and Programming Languages" in Scala

Runtime type checking for JS with Hindley Milner signatures

Arguejs ⭐ 140

optional parameters, default values and type-checking for your JavaScript method signatures

Intellij Luanalysis ⭐ 140

Type-safe Lua IDE Plugin for IntelliJ IDEA

Coulomb ⭐ 139

coulomb: unit analysis for Scala

Re-apply type annotations from .pyi stubs to your codebase.

Type Analyzer for JavaScript

Pyright Python ⭐ 126

Python command line wrapper for pyright, a static type checker

Datagraph ⭐ 121

Is Type Of ⭐ 120

complete type checking for node

Language Garden ⭐ 117

A garden of small programming language implementations 🪴

Babel Plugin Runtyper ⭐ 117

⚡️ Runtime type-checker for JavaScript

Flowcheck ⭐ 117

[DEPRECATED, use babel-plugin-tcomb instead] Runtime type checking for Flow

Strongtyping ⭐ 102

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

Micropython Stubs ⭐ 99

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

Bazel Mypy Integration ⭐ 99

🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds

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

Typeis. it's the smart and simple javaScript type checker

Basilisp ⭐ 98

A Clojure-compatible(-ish) Lisp dialect targeting Python 3.8+

A proof assistant that is also a programming language.

Effectivesan ⭐ 94

Runtime type and bounds-error checking for C/C++

CC500: a tiny self-hosting C compiler

Shapeshift ⭐ 88

Blazing fast input validation and transformation ⚡

Predicates ⭐ 86

Predicates for type checking, assertions, filtering etc

Python Collab Template ⭐ 85

🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.

A JavaScript SDK built ontop of PolkadotJS for interaction with Dock's Substrate node and compatible chains

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Mypy Vscode ⭐ 80

VS Code extension that provides type checking and analysis for Python code using mypy.

Typed Json Dataclass ⭐ 79

A python3.7 dataclass supplemental library. Enhances dataclasses to perform basic type checking and makes the dataclass JSON serializable.

Strong type checking (assertion) for Ruby

A JavaScript type checking/casting library

Flake8 Pyi ⭐ 70

A plugin for Flake8 that provides specializations for type hinting stub files

Pyls Mypy ⭐ 69

Mypy plugin for the Python Language Server

Typology ⭐ 68

Swift type checking and semantic analysis for developer tools

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

Go Crate ⭐ 63

Golang Sql Driver for Crate Data Storage. (https://crate.io/)

Typed Function ⭐ 61

Runtime type-checking for JavaScript functions

Lua Fish ⭐ 58

Parses Lua to abstract syntax tree (AST) using LPeg.

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

Infer Types ⭐ 56

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

Ember Arg Types ⭐ 52

Runtime type checking & defaulting for glimmer component arguments powered by prop-types & decorators

Typecheck ⭐ 45

Php Struct ⭐ 44

Simple structs for PHP7

Experimenting With Babel 7 Typescript And Eslint ⭐ 43

I want to use Babel features but with TypeScript for type checking. This seems to be an issue.

Grunt Tslint ⭐ 43

A Grunt plugin for tslint.

Infrared ⭐ 42

✨🚀 Blazing fast, inferred static type checker for JavaScript.

Datatyping ⭐ 38

Pythonic type checking

A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.

LLVM-based pascal compiler

Flow Webpack Plugin ⭐ 35

A webpack plugin allowing to call Flow type checker.

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

A Django project template with automation

Thedoctor ⭐ 32

python function input validation

Mps Coderules ⭐ 32

Type checking and logical inference for JetBrains MPS

React Rollup Boilerplate ⭐ 30

A boilerplate for building React libraries

The library FDR3 uses for parsing, type checking and evaluating machine CSP.

Typechecker in Vanilla JS

Tinyfunk ⭐ 26

The tiniest of functional libraries

Maplisttypechecking ⭐ 26

Conveniences for type-checking and reporting errors in plists, JSON, and other similar structures

A PEG Parsing Tool

Python project manager inspired in Cargo.

Simplestruct ⭐ 26

A Python library for defining struct-like classes

Svelte2tsx ⭐ 25

Convert svelte components to TSX for type checking

Python Autoclass ⭐ 24

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

Semantic parser induction using a generative model of grammar.

Awesome Europython2015 ⭐ 24

Materials from europython2015

Progge.rs ⭐ 24

Program analysis playground for a simple, imperative language

Grails Gwt ⭐ 24

New Grails GWT Plugin

Typist Json ⭐ 23

A simple runtime JSON type checker.

A strong type system for R

Implements the wildcard file matching in Go used by golint, go test etc.

Pedantic Python Decorators ⭐ 22

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

Validate an object against a schema. This is the schema validation library you actually wanted.

Typeforce ⭐ 22

Another biased type checking solution for Javascript

1-100 of 204 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.