Pcf NominalA formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-97.25%)
Vuex Type HelperType level helper to ensure type safety in Vuex
Stars: ✭ 99 (-45.6%)
ThreadlyType-safe thread-local storage in Swift
Stars: ✭ 58 (-68.13%)
Tslint To Eslint ConfigConverts your TSLint configuration to the closest possible ESLint equivalent. 🚀
Stars: ✭ 680 (+273.63%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-81.87%)
Tslint React📙 Lint rules related to React & JSX for TSLint.
Stars: ✭ 751 (+312.64%)
Tslint XoTSLint shareable config for XO
Stars: ✭ 64 (-64.84%)
Lynt✨ A zero config JavaScript linter with support for Typescript, Flow, and React.
Stars: ✭ 390 (+114.29%)
UniveqSafer universal equivalence (==) for Scala.
Stars: ✭ 55 (-69.78%)
Workflow一个工作流平台
Stars: ✭ 1,888 (+937.36%)
Coc Tslint Plugincoc.nvim extension that provides TSLint support using the typescript-tslint-plugin
Stars: ✭ 42 (-76.92%)
Typescript Eslint✨ Monorepo for all the tooling which enables ESLint to support TypeScript
Stars: ✭ 10,831 (+5851.1%)
Type safeZero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+375.82%)
Tslint AngularRecommended tslint configuration for Angular applications.
Stars: ✭ 159 (-12.64%)
Swift Tagged🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+340.11%)
UndictifyPython library providing type-checked function calls at runtime
Stars: ✭ 97 (-46.7%)
Tslint🚦 An extensible linter for the TypeScript language
Stars: ✭ 5,922 (+3153.85%)
HegelAn advanced static type checker
Stars: ✭ 1,804 (+891.21%)
TopshellTopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (+131.87%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (-55.49%)
Typescript Library StarterStarter kit with zero-config for building a library in TypeScript, featuring RollupJS, Jest, Prettier, TSLint, Semantic Release, and more!
Stars: ✭ 3,943 (+2066.48%)
Dry ValidationValidation library with type-safe schemas and rules
Stars: ✭ 1,087 (+497.25%)
TypicalTypical: Fast, simple, & correct data-validation using Python 3 typing.
Stars: ✭ 111 (-39.01%)
Magic Type🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (-70.88%)
TypewizAutomatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+463.74%)
Coulombcoulomb: unit analysis for Scala
Stars: ✭ 109 (-40.11%)
Phpcs Type SniffPHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-80.77%)
QuantitiesType-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Stars: ✭ 146 (-19.78%)
Aurora📦 A set of configs and rules for Typescript projects.
Stars: ✭ 30 (-83.52%)
Typescript Node StarterA reference example for TypeScript and Node with a detailed README describing how to use the two together.
Stars: ✭ 10,111 (+5455.49%)
ExpressExpress + Sequelize + Winston + Jasmine + TypeScript + Webpack MVC Boilerplate
Stars: ✭ 9 (-95.05%)
SquidSquid – type-safe metaprogramming and compilation framework for Scala
Stars: ✭ 172 (-5.49%)
Flow RuntimeA runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+346.7%)
Typescript Restful StarterNode.js + ExpressJS + Joi + Typeorm + Typescript + JWT + ES2015 + Clustering + Tslint + Mocha + Chai
Stars: ✭ 97 (-46.7%)
SonartsStatic code analyzer for TypeScript
Stars: ✭ 776 (+326.37%)
Generic Json SwiftA simple Swift library for working with generic JSON structures
Stars: ✭ 95 (-47.8%)
GentypeAuto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+275.27%)
Vue Literal CompilerA Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Stars: ✭ 158 (-13.19%)
Swift Nonempty🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+221.43%)
Tagging🏷 Type-safe tags in Swift
Stars: ✭ 89 (-51.1%)
Vscode TslintA tslint integration for vscode
Stars: ✭ 394 (+116.48%)
ReturnsMake your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+1007.14%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-56.04%)
Angular Tslint RulesShared TSLint & codelyzer rules to enforce a consistent code style for Angular development
Stars: ✭ 181 (-0.55%)
Orm LiteHeader-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Stars: ✭ 164 (-9.89%)
TypecovTrack missing type coverage to ensure type safety
Stars: ✭ 128 (-29.67%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-58.79%)