Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types type checking
type-checking
x
types
x
28 search results found
Ts Toolbelt
⭐
6,011
👷 TypeScript's largest type utility library
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/)
Tcomb
⭐
1,883
Type checking and DDD for JavaScript
Elixir Type_check
⭐
500
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Mypy Pycharm Plugin
⭐
252
A simple plugin that allows running mypy from PyCharm and navigate between errors
Check Types.js
⭐
233
MOVED TO GITLAB
Ats Xanadu
⭐
176
Bootstrapping ATS3
Pytypes
⭐
165
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
Hm Def
⭐
154
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
Retype
⭐
129
Re-apply type annotations from .pyi stubs to your codebase.
Tajs
⭐
126
Type Analyzer for JavaScript
Is Type Of
⭐
120
complete type checking for node
Flowcheck
⭐
117
[DEPRECATED, use babel-plugin-tcomb instead] Runtime type checking for Flow
Babel Plugin Runtyper
⭐
117
⚡️ Runtime type-checker for JavaScript
Typeis
⭐
98
Typeis. it's the smart and simple javaScript type checker
Is What
⭐
98
JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
Effectivesan
⭐
94
Runtime type and bounds-error checking for C/C++
Predicates
⭐
86
Predicates for type checking, assertions, filtering etc
Dilate
⭐
80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Typerb
⭐
79
Strong type checking (assertion) for Ruby
Upcast
⭐
73
A JavaScript type checking/casting library
Typology
⭐
68
Swift type checking and semantic analysis for developer tools
Typed Function
⭐
61
Runtime type-checking for JavaScript functions
Lua Fish
⭐
58
Parses Lua to abstract syntax tree (AST) using LPeg.
Ember Arg Types
⭐
52
Runtime type checking & defaulting for glimmer component arguments powered by prop-types & decorators
Typecheck
⭐
45
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.
Infrared
⭐
42
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Datatyping
⭐
38
Pythonic type checking
Kind
⭐
36
A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
Flow Webpack Plugin
⭐
35
A webpack plugin allowing to call Flow type checker.
Libcspm
⭐
30
The library FDR3 uses for parsing, type checking and evaluating machine CSP.
Is
⭐
27
Typechecker in Vanilla JS
Pyrser
⭐
26
A PEG Parsing Tool
Maplisttypechecking
⭐
26
Conveniences for type-checking and reporting errors in plists, JSON, and other similar structures
Svelte2tsx
⭐
25
Convert svelte components to TSX for type checking
Rtype
⭐
23
A strong type system for R
Invalid
⭐
22
Validate an object against a schema. This is the schema validation library you actually wanted.
Typeforce
⭐
22
Another biased type checking solution for Javascript
Pedantic Python Decorators
⭐
22
Some useful decorators for any situation. Includes runtime type checking.
Babel Typescript Sample
⭐
21
A sample setup using Babel CLI to build TypeScript code, and using TypeScript for type-checking.
Php Generics
⭐
20
Simple generic types and type checking for PHP
Env Smart
⭐
19
Zero-dependency Node library for using .env files with default values and types in TS/JS
Sinatra Accept Params
⭐
19
Parameter whitelisting with defaults and type casting for Sinatra
Kontroli Rs
⭐
19
Alternative implementation of the logical framework Dedukti in Rust
Xanadu
⭐
19
This repository is supposed to hold a released version of Xanadu
Ng Typeview
⭐
19
Enables type-checking of angular1 views
Typed
⭐
18
DEPRECATED - Type checking for JavaScript.
Floweret
⭐
18
Runtime type annotations for CoffeeScript (and JavaScript too!)
Typecats
⭐
17
Structure unstructured data for the purpose of static type checking.
Typepy
⭐
16
A Python library for variable type checker/validator/converter at a run time.
Protostub
⭐
16
A tool for generating Mypy type stubs from a Protocol Buffer definition.
Typical
⭐
16
Isomorphic, functional type-checking for Javascript
Type_validator
⭐
16
Adds type validation for classes with ActiveModel::Validations.
Msgpack Ll
⭐
15
A low level @nogc, nothrow, @safe, pure and betterC compatible msgpack.org[D] library
Generic
⭐
15
A PHP-based implementation of generics (templated classes) to aid with stricter type consistency.
Typesentry
⭐
14
Python 2.7 & 3.5+ runtime type-checker
Kekka
⭐
14
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Tsguard.macro
⭐
11
Babel macro that automatically generates type guards for a given type (WIP)
Typeit
⭐
11
Infer Python types from JSON data, use them for auto serialisation and parsing
Interface Type Check
⭐
11
Type check the empty interface{}
Minijava Cpp
⭐
11
A MiniJava compiler written in C++, focusing on speed of compilation, simplicity and (somewhat) nice error messages.
Nim Stringinterpolation
⭐
11
String interpolation with printf syntax
Retriever
⭐
10
🐕 retrieve nested data safely
Ruby Maybe
⭐
10
A Ruby implementation of the Maybe type
Primalize Jsonapi
⭐
9
Pycomb
⭐
9
Tcomb port for Python 3
Redux Typed Actions
⭐
8
An opinionated approach to type actions and their payload in Redux with statically type checking in Typescript.
Grunt Flow Type Check
⭐
8
Grunt task to run Facebook's Flow type checking
Type Inference
⭐
8
Hindley Milner Type Inference in Rust
Elm Stlc
⭐
7
Bidirectional type checker for the simply typed lambda calculus
Flow Typer
⭐
7
Declarative static and runtime type checking with Flow
Ltypekit7
⭐
7
Advanced type checking for Lua.
Safetify
⭐
7
Value type safing utility
Tinyboo
⭐
7
Utilities library for type checking and other useful things. Already more than 40 functions (TypeScript supported). 👻
Kdb Haskell
⭐
6
kdb+ client library in Haskell
Lambdacalculusinterpreters
⭐
6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Mtt
⭐
6
Simple transformation language for XML with exact type-checking
Go Dhallconfig
⭐
6
Dhall config for go.
Systemt
⭐
6
👨💻 Implementing System T in Haskell 👨💻
Py Types
⭐
6
Prismatic's schema / gradual typing for python 3
Tipe
⭐
5
A strongly typed, compiled data flow graph
Static_checking_python
⭐
5
2014 talk(+code) I gave about type checking and fuzzing in python.
Mopx Contracts
⭐
5
Contracts for mop
Exhaustive Type Checking
⭐
5
Helpers for Exhaustive Type Checking with TypeScript
Typing Js
⭐
5
A type checking and JSON schema validation library for JavaScript
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-28 of 28 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.