Finding bugs in TypeScript type definitions.
☆44Nov 23, 2017Updated 8 years ago
Alternatives and similar repositories for tscheck
Users that are interested in tscheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Aug 24, 2015Updated 10 years ago
- ECMAScript code generator on steroids☆39Dec 24, 2014Updated 11 years ago
- Nodejs cp -R☆82May 26, 2021Updated 5 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆12May 14, 2023Updated 3 years ago
- Adds support for special query string params used for filtering data☆12Jan 12, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- LinearAlloc sample code☆17Nov 28, 2019Updated 6 years ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Mar 26, 2026Updated 3 months ago
- < 3Kb. autocomplete component of pure javascript. 纯Javascript实现的轻量简洁的提示组件。☆11May 30, 2016Updated 10 years ago
- ☆31Apr 28, 2026Updated 2 months ago
- Ukrainian stopwords collection☆10Mar 5, 2020Updated 6 years ago
- Factories over fixtures. Chai Assertion Library.☆23Nov 1, 2016Updated 9 years ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated 11 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Transpiler that converts mongodb-like object queries into JavaScript filtering functions☆12May 21, 2026Updated last month
- Cross-platform mobile chat built with Ionic 1 and Realtime Messaging (including mobile push notifications)☆10Apr 3, 2017Updated 9 years ago
- NodeJS Dev-Server with Hot-Reload for JSPM / SystemJS Loader☆14Apr 9, 2017Updated 9 years ago
- A tool to help adapting code bases to NullAway type system.☆18Apr 9, 2026Updated 2 months ago
- React form validation using the browser's built-in HTML5 Constraint Validation API. No extra validation library needed.☆14Jun 11, 2026Updated 2 weeks ago
- Synthesizer for JavaScript API models☆17Apr 7, 2023Updated 3 years ago
- GitHub Action to run dotenv-linter ⚡️☆24Jun 18, 2026Updated last week
- Library Helper is a cordova plugin to help insert videos or images into the native gallery. Supports IOS and Android☆14Dec 7, 2017Updated 8 years ago
- Easy nested instance reviving for JSON☆12Feb 14, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PostgreSQL LSP☆26Jul 15, 2019Updated 6 years ago
- A PostCSS port of https://github.com/reworkcss/rework-inherit☆16May 19, 2018Updated 8 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Jun 10, 2014Updated 12 years ago
- Manage videos in RefineryCMS using Video.js player for playback☆41Jan 19, 2023Updated 3 years ago
- JaTyC: a typestate checker for Java☆19Sep 3, 2025Updated 9 months ago
- ESLint sharable config for strict linting☆26May 24, 2020Updated 6 years ago
- Модуль Новая Почта / Нова Пошта (API 2.0) на Magento 1.x☆16Jan 6, 2017Updated 9 years ago
- semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.☆18Nov 1, 2024Updated last year
- Default npm-package-json-lint shareable config☆11Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A dependency free tabs component for your Aurelia applications. Allows you to toggle between sections of content, with supports for dynam…☆13Aug 23, 2016Updated 9 years ago
- Static Program Analysis for Reliable Trusted Apps☆23Nov 29, 2018Updated 7 years ago
- A react-like context component api for Vue.js☆23May 22, 2018Updated 8 years ago
- ☆16Feb 6, 2016Updated 10 years ago
- Get the imports and exports from your ES6 modules☆29Feb 8, 2019Updated 7 years ago
- Migration framework for MongoDB ⛺☆26Jan 8, 2019Updated 7 years ago
- Converts ES6 classes into classes with memoized getters☆13May 17, 2018Updated 8 years ago