Many languages with static type checking provide a way to bypass the type checker. Its features include an interactive spelling checker, code folding, and syntax highlighting. An experimental optional static type checker named "mypy" supports compile-time type checking. Based on provided text, the session object returns spelling suggestions generated by the spelling checker. The implementation of a grammar checker makes use of natural language processing. JSLint is considered by some to be the first JavaScript syntax checker. Congree offers a Simplified Technical English Checker based on linguistic algorithms. Outlook Express does not have a dedicated spell checker. The System File Checker (SFC) also comes with Windows 2000. The Babylon Health app features a controversial Chatbot Symptom Checker. Support for HTTPS will meet with Greasemonkey's built in update checker. He was also a producer for the Chess subsidiary Checker Records. In June 2019, Stripe launched Sorbet, an open source type checker for Ruby. Boeing developed the Boeing Simplified English Checker (BSEC). SyncStitch is a CSP refinement checker with interactive modeling and analyzing environment.