UniveqSafer universal equivalence (==) for Scala.
Stars: ✭ 55 (-75.56%)
TranslatedjsInternationalization and localization for JavaScript and Node.js
Stars: ✭ 17 (-92.44%)
TypicalTypical: Fast, simple, & correct data-validation using Python 3 typing.
Stars: ✭ 111 (-50.67%)
Happy CaptchaHappy Captcha是一款易于使用的Java验证码软件包,旨在花最短的时间,最少的代码量,实现Web站点的验证码功能。Happy Captcha完全遵循Apache 2.0开源许可协议,你可以自由使用该软件,如您在使用Happy Captcha时发现软件的任何缺陷,欢迎随时与我联系。
Stars: ✭ 75 (-66.67%)
ReturnsMake your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+795.56%)
Phpcs Type SniffPHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-84.44%)
Orm LiteHeader-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Stars: ✭ 164 (-27.11%)
Pcf NominalA formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-97.78%)
To Regex RangePass two numbers, get a regex-compatible source string for matching ranges. Fast compiler, optimized regex, and validated against more than 2.78 million test assertions. Useful for creating regular expressions to validate numbers, ranges, years, etc.
Stars: ✭ 97 (-56.89%)
DilateNearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (-64.44%)
Swift Nonempty🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+160%)
ThreadlyType-safe thread-local storage in Swift
Stars: ✭ 58 (-74.22%)
Libphonenumber JsA simpler (and smaller) rewrite of Google Android's libphonenumber library in javascript
Stars: ✭ 2,233 (+892.44%)
Swiftyfitsize📱 Swifty screen adaptation solution (Support Objective-C and Swift)
Stars: ✭ 184 (-18.22%)
Mobile Select手机移动端选择组件 支持是否级联/单选到多选/可异步更新数据等..
Stars: ✭ 829 (+268.44%)
Coulombcoulomb: unit analysis for Scala
Stars: ✭ 109 (-51.56%)
Swift Tagged🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+256%)
React Native Input SpinnerAn extensible input number spinner component for react-native highly customizable. This component enhance a text input for entering numeric values, with increase and decrease buttons.
Stars: ✭ 155 (-31.11%)
GentypeAuto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+203.56%)
Generic Json SwiftA simple Swift library for working with generic JSON structures
Stars: ✭ 95 (-57.78%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (-64%)
RollingtextAndroid TextView with rolling animation
Stars: ✭ 494 (+119.56%)
Ssf📝 Spreadsheet Number Formatter
Stars: ✭ 139 (-38.22%)
PfunFunctional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (-66.67%)
Is NumberJavaScript/Node.js utility. Returns `true` if the value is a number or string number. Useful for checking regex match results, user input, parsed strings, etc.
Stars: ✭ 176 (-21.78%)
HegelAn advanced static type checker
Stars: ✭ 1,804 (+701.78%)
Dry ValidationValidation library with type-safe schemas and rules
Stars: ✭ 1,087 (+383.11%)
Magic Type🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (-76.44%)
TypecovTrack missing type coverage to ensure type safety
Stars: ✭ 128 (-43.11%)
TypewizAutomatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+356%)
SquidSquid – type-safe metaprogramming and compilation framework for Scala
Stars: ✭ 172 (-23.56%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-85.33%)
Type safeZero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+284.89%)
NumericaltextentryAn iOS library for beautiful number entry fields. iPad friendly. Written in Swift.
Stars: ✭ 16 (-92.89%)
NumgenCreates objects that generate number sequences
Stars: ✭ 5 (-97.78%)
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 (-29.78%)
Flow RuntimeA runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+261.33%)
Vuex Type HelperType level helper to ensure type safety in Vuex
Stars: ✭ 99 (-56%)
SudokuCan Neural Networks Crack Sudoku?
Stars: ✭ 742 (+229.78%)
TypestrictESLint config focused on maximizing type safety 💪
Stars: ✭ 182 (-19.11%)
UndictifyPython library providing type-checked function calls at runtime
Stars: ✭ 97 (-56.89%)
NumA collection of numeric types and traits for Rust.
Stars: ✭ 592 (+163.11%)
Tagging🏷 Type-safe tags in Swift
Stars: ✭ 89 (-60.44%)
Ts Toolbeltts-toolbelt is the largest, and most tested type library available right
now, featuring +200 utilities. Our type collection packages some of the most
advanced mapped types, conditional types, and recursive types on the market.
Stars: ✭ 3,099 (+1277.33%)
QuantitiesType-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Stars: ✭ 146 (-35.11%)
Php NumberDeal with numbers the right way in PHP
Stars: ✭ 88 (-60.89%)