check-types.js : MOVED TO GITLAB
author: philbooth
created: 2012-07-07 18:17:25
assert assertions duck-typing predicates type-checking types javascript


DefinitelyTyped : The repository for high quality TypeScript type definitions.
author: DefinitelyTyped
created: 2012-10-05 16:39:45
definition dts types typescript typescript-definitions typings


mypy : Optional static typing for Python 2 and 3 (PEP 484)
author: python
created: 2012-12-07 13:30:23
linter python typechecker types typing


upcast : A JavaScript type checking/casting library
author: OmgImAlexis
created: 2013-01-02 20:32:02
casting-library converts type type-checking types upcast javascript


cosas : necesito esas cosas raras con tipos
author: ohnosequences
created: 2013-11-12 12:30:47
dependent-types scala scala-library type-safe type-safety type-system types


typical : Robust Javascript type-checking
author: 75lb
created: 2014-06-08 13:26:03
javascript nodejs npm-package type-checking types


generics-sop : Generic Programming using True Sums of Products
author: well-typed
created: 2014-06-27 20:58:23
generic-programming haskell types


duck_by_contract : Duck-type driven interface implementation in Ruby
author: mjgpy3
created: 2014-08-23 19:21:31
duck-typing gem ruby types


js-type : :clown_face: Type checking for JavaScript
author: aureooms
created: 2014-10-12 09:13:02
agpl javascript types


typed-racket : Typed Racket
author: racket
created: 2014-12-02 03:00:29
racket types


chkr : chkr brings type system into vanilla js
author: waksana
created: 2014-12-09 10:08:23
field-checker types javascript


typeforce : Another biased type checking solution for Javascript
author: dcousens
created: 2014-12-23 02:08:47
javascript schema type-checking types


pytype : A static analyzer for Python code
author: google
created: 2015-03-18 20:52:08
linter python static-analysis static-code-analysis typechecker types typing


typed-immutable : Immutable and structurally typed data
author: typed-immutable
created: 2015-04-04 01:52:56
data datastructure functional immutable immutablejs persistent record schema structure typed types javascript


sig : Validate Method Arguments & Results in Ruby
author: janlelis
created: 2015-04-14 12:30:53
contracts ruby ruby-methods ruby-types signatures typechecker types


lux : The Lux Programming Language
author: LuxLang
created: 2015-05-04 19:45:19
clojure functional-languages functional-programming haskell language lisp macros programming-language types


blockly-d.ts : Typescript definition file generator for Google's Blockly.
author: trodi
created: 2015-07-16 23:58:18
blockly types typescript typescript-definitions shell


nyce : JavaScript component interface definition and adherence utility
author: recursivefunk
created: 2015-07-31 17:52:08
interface types javascript


blazon : A validating typed-configuration library for use with various configuration sources.
author: revelc
created: 2015-07-31 20:37:11
configuration java library maven types


antidote : Runtime type assertions for Ruby applications.
author: majjoha
created: 2015-09-19 13:08:57
assertions ruby types


dry-types : Flexible type system for Ruby with coercions and constraints
author: dry-rb
created: 2015-09-22 09:01:34
coercion constraints dry-rb ruby types


types : Golang types convertion library
author: night-codes
created: 2015-10-16 03:48:02
go golang types


typings : *DEPRECATED* The TypeScript Definition Manager
author: typings
created: 2015-10-20 16:35:10
definition javascript management types typescript typings


interfacer : A linter that suggests interface types
author: mvdan
created: 2015-12-06 02:27:57
go interface linter types


native-constants.js : Access unpolluted Native Constants (window.* variables) in JavaScript, very helpful for JS libraries that run on 3rd party websites.
author: ApoorvSaxena
created: 2015-12-21 08:57:34
constants global-variables javascript json library native primary types


php-assertion : Library to ease design by contract programming in PHP.
author: Fleshgrinder
created: 2016-01-10 17:21:08
assertions error-handling php types


pass-muster : A simple function emulating an interface so you can validate your argument objects.
author: rebolyte
created: 2016-02-25 05:05:27
design-by-contracts interfaces javascript predicate-functions schema signature types validation


typesys : A type expression language for R.
author: nick-ulle
created: 2016-03-03 22:53:58
algebraic-data-types metadata r type-system types


funk4j : Funk(c)tional programming for Java >= 8
author: soundvibe
created: 2016-03-14 11:03:05
adt functional java monads pattern-matching types


mintype : :tea: minimal composable type abstraction
author: ahdinosaur
created: 2016-04-21 08:16:22
runtime schema types validation javascript


Validator : Custom validation for Javascript
author: aleclarson
created: 2016-05-13 06:17:20
javascript types validation coffeescript


khyron : Run-time type checking for JavaScript
author: philgs
created: 2016-05-14 23:37:12
javascript type-checker type-checking types


runtypes : Runtime validation for static types
author: pelotom
created: 2016-05-20 01:24:26
runtime types typescript validation


tyre : Typed Regular Expressions
author: Drup
created: 2016-05-21 03:24:14
gadt ocaml regex types


FluentAssemblyScanner : Fluent assembly and type scanner :mag: for .Net
author: osoykan
created: 2016-05-31 07:39:36
assembly assembly-scan assemblys scanner type-scan types c#


unseemly : Macros have types!
author: paulstansifer
created: 2016-06-07 19:59:18
language macros types rust


generic : flexible data type for Go
author: usk81
created: 2016-06-15 14:00:36
flexible-data generic go golang marshaller types


dry-struct : Typed struct and value objects
author: dry-rb
created: 2016-06-30 21:37:36
constraints data data-modeling dry-rb ruby struct type-safety types value-object


not-my-type : Some useful types for JavaScript
author: mjgpy3
created: 2016-07-07 01:31:13
adt algebraic-data-types haskell javascript javascript-library types


mutable : State containers with dirty checking and more
author: wix
created: 2016-07-20 12:53:43
class data data-flow flux frp functional-reactive-programming javascript mobx model mutable nested observable properties react state state-management types typescript


typed-jweixin : TypeScript declaration file for Wexin JSSDK jweixin.d.ts
author: Emeryao
created: 2016-08-02 08:05:44
declaration jweixin types typescript wechat wechat-sdk javascript


reflec-ts : TypeScript compiler with Reflection capabilities
author: pcan
created: 2016-08-15 09:14:24
metadata reflection types typescript


rusty-types : [Experimental] Python classes that mimic a couple useful Rust types. With typing and typehint support.
author: TheDan64
created: 2016-08-30 23:43:13
python rust type-annotations types


type-doc : Static type checking for pure JavaScript
author: trezm
created: 2016-09-10 13:37:22
cli generic-types javascript type-safe type-safety types vanillajs


tjson-ruby : Ruby implementation of TJSON
author: tjson
created: 2016-10-02 06:12:36
security serialization tjson types ruby


react-redux-typescript-webpack-starter : TypeScript 2, @types, React, React Router, React Hot Loader 3, Redux, Webpack 3, Karma, Mocha, Enzyme 3, Chai, Sinon, Coverage, SASS, CSS Modules, Bootstrap
author: reanimatter
created: 2016-10-02 08:19:43
bootstrap chai coverage css-modules enzyme karma mocha react react-hot-loader-3 react-router-4 redux sass sinon types typescript2 webpack3 javascript


vscode-flow-ide : Visual Studio Code extension for javascript Flowtype static type checker
author: jstwister
created: 2016-10-19 21:23:18
flowtype javascript static types typescript


url-toolkit : Build an absolute URL from a base URL and a relative URL (RFC 1808).
author: tjenkinson
created: 2016-11-14 20:33:00
absolute-url jsdelivr normalize relative-url rfc-1808 types typescript url url-parsing urls javascript


concrete-types : Immutable data types for TypeScript and JavaScript.
author: patrimart
created: 2016-12-12 04:03:46
freeze immutable types typescript


haskell-secure-types : Final Computer & Network Security course project
author: mdipirro
created: 2016-12-21 09:17:20
haskell haskell-library security types typesafe tex


sessions : Library to provide session types to allow for static verification of protocols between concurrent computations.
author: essdotteedot
created: 2017-01-01 01:06:12
ocaml protocols session-types types


my-type : Yet another JS schema assertion library
author: Wizcorp
created: 2017-01-25 11:04:59
assert errors json schema types validation javascript


dowsing : ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
author: Drup
created: 2017-01-25 21:36:26
ocaml types


type_mappers : A utility to map primitive types (int, str, bool, etc) and basic datastructures to the equivalent in various python libraries.
author: christabor-archive
created: 2017-01-27 18:42:59
factoryboy mapping primitive-types python sqlalchemy types wtforms


io-ts : TypeScript compatible runtime type system for IO decoding/encoding
author: gcanti
created: 2017-01-28 16:23:37
inference runtime types typescript validation


php-value : A modern replacement for PHP’s gettype function.
author: Fleshgrinder
created: 2017-01-31 07:54:40
error-messages exception-messages php types


returnof : TypeScript typeof function return helper
author: kube
created: 2017-02-05 02:11:37
functions types typescript javascript


react-flow-types : Flow type definitions for React
author: digiaonline
created: 2017-02-23 16:19:16
definitions flowtype react types javascript


LambdaCalculusInterpreters : Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
author: robinspollak
created: 2017-02-28 07:12:56
evaluation-scheme haskell interpreter lambda lambda-calculus language-learning languages pair parsing programming-language programming-languages type-checking types yield


rd-typing : Ruby typing framework. You can have the power of interfaces and sub-typing in Ruby.
author: ruby-design
created: 2017-03-04 12:34:01
framework interface oop ruby ruty types


inspect-with-kind : `util.inspect` with additional type information
author: shinnn
created: 2017-03-09 06:54:06
clarification error-messages javascript nodejs prettify types utility


argtyper : A JavaScript argument-type-checker, without the need for preprocessing or compiling.
author: zac-garby
created: 2017-03-12 10:54:43
checker functions javascript javascript-library library npm-package package types


php-type-checker : Checks which methods are missing a return type hint
author: marcosh
created: 2017-03-16 18:41:59
php types


gear : 🛠 Experimental tool to bootstrap typed JavaScript code.
author: andywer
created: 2017-03-16 20:04:16
babeljs flowtype javascript static-typing types


monads : 👻 Type safe Option and Result type – for TypeScript and JavaScript
author: litchi-io
created: 2017-03-22 09:22:27
javascript monads nodejs option result rust types typescript


ng2-amp-dash : An Angular2 typing component
author: nisheed2440
created: 2017-03-23 18:48:28
amp-dash angular4 aot-compatible character npm-package types typescript


sasspect : Simple type-check library for minimalistic sass-tests
author: SiNEXiST
created: 2017-03-23 22:08:54
linting sass types typesafety css


pumping : Regular languages in types
author: Drup
created: 2017-03-31 13:23:24
regex types ocaml


abacus : Abacus is a tool to simplify the handling of units
author: xvw
created: 2017-04-05 23:02:10
elixir hex measurements metrics otp types


narrowed-types : Type definitions narrowed with predicates
author: jpcima
created: 2017-04-10 06:25:40
common-lisp types common lisp


types-installer : Installs @types for your dependencies
author: nfour
created: 2017-04-15 07:19:47
installer types typescript


gnt : :cocktail: GraphQL Normalized Types
author: mfix22
created: 2017-05-07 19:51:45
credit-card drivers-license graphql graphql-types normalization normalize phonenumber scalars types us-state zipcode javascript


fluture-sanctuary-types : Fluture type definitions for Sanctuary
author: fluture-js
created: 2017-05-13 14:15:13
fluture sanctuary types javascript


thrift2flow : Converts Thrift specs into Flow JavaScript type definitions
author: uber-web
created: 2017-05-17 23:23:35
flow flowtype javascript javascript-tools thrift type types


utility-pack : A set of small utilities for PHP.
author: skyzyx
created: 2017-05-28 01:09:45
php php71 querystring time types url


scala-supertagged : Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.
author: rudogma
created: 2017-06-01 10:41:26
newtype scala scalajs tagged tagged-types tagging type-tagging types


never-never : Never Never
author: JAForbes
created: 2017-06-12 12:31:59
fp leftpad testing types typesystem javascript


izz-ts : An easy-to-use TypeScript type guard utility library.
author: elbow-jason
created: 2017-06-16 04:13:47
io typeguard types typescript validation


nodejs-build : purejs flow babel nodejs es6/7
author: Svehla
created: 2017-06-19 11:14:16
babel build commandline-apps develop eslint flow nodejs pm2 production server testable tests types javascript


metaschema : Metadata Schema and Interface Definition Language (IDL)
author: metarhia
created: 2017-06-22 11:32:52
category check database dsl globalstorage impress javascript js json jstp metadata metaprogramming metarhia node nodejs schema taxonomy type types validate


awesome-csv : Awesome Comma-Separated Values (CSV) - What's Next? - Frequently Asked Questions (F.A.Q.s) - Libraries & Tools
author: csvspecs
created: 2017-07-01 07:13:06
comma csv csv11 csvlint csvpack csvtosql csvutils data datafile fields frictionlessdata opendata records schema space tab tabular txt types values


Upconvert : Conveniently perform safe type conversions in Swift 4.
author: brentdax
created: 2017-07-09 04:41:22
conversion integer-conversion keypath swift types


elm-data : A library for powerful abstractions in elm with the elegance of a brick.
author: sjorn3
created: 2017-07-15 01:08:08
elm functional-programming monad types


typea : 功能强大的JS数据模型验证、转换器
author: xiangle
created: 2017-07-17 02:29:28
model schema types validation javascript


diamondback-ruby : ⛑ Fork of diamondback-ruby
author: stereobooster
created: 2017-07-22 07:09:48
gradual-typing ruby types


typed-routes : Routes with TypeScript support
author: fongandrew
created: 2017-08-02 05:46:02
routing types typescript


tck : Data Type Checker
author: warlock
created: 2017-08-03 12:45:48
ajax browser data javascript nodejs type-checking types validation


fbp-types : A universal static type checking solution for use in flow-based-programming systems
author: Malpaux
created: 2017-08-10 12:06:21
cross-platform flow-based-programming language nodejs types typescript


typeable-array : A common TypeScript interface for Array and typed arrays
author: Conaclos
created: 2017-08-12 15:35:35
array generic-programming polymorphism typedarray types typescript


OverloadedFunction :
author: ThoroughPHP
created: 2017-08-12 20:05:05
overloading php types


typis : Detects object type.
author: fabioricali
created: 2017-08-22 09:50:13
checks javascript object types


purescript-ohyes : A library for generating Typescript types that can be used transparently from Purescript.
author: justinwoo
created: 2017-08-26 22:25:08
codegen purescript types typescript


all-types : All DefinitelyTyped typedefs, installed globally, for WebStorm & other JetBrains IDEs
author: boneskull
created: 2017-09-06 23:55:42
definitelytyped ide inference jetbrains nodejs ts types typescript typings webstorm javascript


scalp : Some Scala useful classes ported to PHP.
author: pawaclawczyk
created: 2017-09-07 19:33:57
immutable maybe option pattern-matching php7 try try-catch types php


preact-cli-typescript-sample : An example of how to use typescript with preact-cli and all its goodies
author: mike-engel
created: 2017-09-08 21:43:27
bundle-splitting code-splitting example example-app example-code example-project preact preact-app preact-cli types typescript webpack webpack3


typecase : A type checker for dynamically typed JavaScript
author: julienetie
created: 2017-09-10 19:36:12
checker dynamic-types type type-check type-checker type-error typecheck typechecker types javascript


valify : Validates data in JavaScript in a very simple way
author: fabioricali
created: 2017-09-13 09:49:11
struct structured-data types validation validation-library javascript


stringOrArrayToArray : Convert a String or an Array to an Array
author: RichardLitt
created: 2017-09-14 18:27:08
array string type types javascript


csstype : Strict TypeScript and Flow types for style based on MDN data
author: frenic
created: 2017-09-18 23:14:29
css flow mdn style types typescript


subtractiontype.ts : Subtraction types for TypeScript: e.g. Sub<'a' | 'b', 'a'> and Dissoc<{a: number, b: number}, 'a'>
author: NaridaL
created: 2017-09-25 19:34:51
types typescript


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more