92 skills found · Page 2 of 4
zhirzh / Flow Babel Webpack PluginFlow typecheck status in Webpack build reports
lexi-lambda / Higher RankA small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
davidfstr / Trycasttrycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
Gbury / DolmenDolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
EzyGang / Py CachifyCaching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.
summa-tx / Memview SolMemory access with runtime typechecking in Solidity
SebastianMestre / JasperA programming language. Static types. Full type inference. Garbage collection. --- not stable
CRogers / Should Not TypecheckA HUnit/hspec assertion to verify that an expression does not typecheck
smarie / Python AutoclassA 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 :).
happylynx / Flow Webpack PluginA webpack plugin allowing to call Flow type checker.
jcouyang / Dhall Aws CloudformationTypecheck, template and modularize your AWS CloudFormation with Dhall
neel-krishnaswami / Inverse Bidirectional TypecheckingA Toy Inverse Bidirectional Typechecker
jimhester / TypeCheckThe typeCheck package automatically adds type checking code when types are annotated.
takeoutweight / BidirectionalComplete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
spotify / Ts Interface LoaderWebpack support for validating TypeScript definitions at runtime.
soren-n / Bidi Higher Rank PolyDidactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
stevearc / Nvim Typecheck ActionGithub action for typechecking a neovim plugin
typeofweb / Typesafe HapiTypechecking for HapiJS based on Joi schemas!
nickel-lang / Nickel KubernetesTypecheck, template and modularize your Kubernetes definitions with Nickel
joelburget / Lvcalanguage verification, construction, and analysis
