hm-def
Type checker
Enables runtime type checking for JavaScript functions using Hindley-Milner signatures
Runtime type checking for JS with Hindley Milner signatures
198 stars
8 watching
11 forks
Language: JavaScript
last commit: over 2 years ago
Linked from 3 awesome lists
functional-programminghindley-milnerinvariantjavascripttype-checking
sorrycc/awesome-javascript
jobbole/awesome-javascript-cn
stoeffel/awesome-fp-jsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 gajus/flow-runtime | Provides a runtime type system for JavaScript that enables full Flow compatibility and supports API input validation | 802 |
 woutervh-/typescript-is | Automates writing type predicate functions to check unknown or untyped data at runtime | 959 |
 joshpurvis/stifle | A decorator that enables pseudo-static typing of Python functions | 1 |
 azu/babel-plugin-jsdoc-to-assert | Transforms JSDoc annotations to enable runtime type checking | 55 |
 jscs-dev/gulp-jscs | Automates JavaScript code style checking and reporting with automatic fixing options | 312 |
 emludei/checktype | A decorator that checks function arguments and return types at runtime. | 0 |
 hyperupcall/ensure | Ensures compatibility with specific versions of Deno, TypeScript, and V8. | 3 |
 microsoft/typescript | A language extension that adds optional types to JavaScript for large-scale applications | 101,442 |
 yarax/eslint-plugin-typelint | An ESLint plugin for static type checking in JavaScript based on JSDoc and data structures common in software development. | 175 |
 omgimalexis/upcast | A low-level JavaScript type checking and casting library | 74 |
 vitalets/babel-plugin-runtyper | An add-on to JavaScript code analysis that detects and prevents type-coercion bugs during runtime. | 116 |
 xhyrom/benchmarks | An experimental tool comparing performance of programming languages and JavaScript runtimes | 12 |
 felixthec/strongtyping | A decorator that checks function parameters at runtime for correct type compatibility. | 111 |
 lexi-lambda/higher-rank | A Haskell implementation of type checking and evaluation for higher-rank polymorphism | 101 |