All Projects → PolyCast → Similar Projects or Alternatives

69 Open source projects that are alternatives of or similar to PolyCast

Zion
A statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-36.54%)
Mutual labels:  type-safety
Topshell
TopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (+711.54%)
Mutual labels:  type-safety
Purescript Spec
Testing framework for Purescript
Stars: ✭ 108 (+107.69%)
Mutual labels:  type-safety
Univeq
Safer universal equivalence (==) for Scala.
Stars: ✭ 55 (+5.77%)
Mutual labels:  type-safety
Dry Struct
Typed struct and value objects
Stars: ✭ 263 (+405.77%)
Mutual labels:  type-safety
Returns
Make your functions return something meaningful, typed, and safe!
Stars: ✭ 2,015 (+3775%)
Mutual labels:  type-safety
Swift Tagged
🏷 A wrapper type for safer, expressive code.
Stars: ✭ 801 (+1440.38%)
Mutual labels:  type-safety
Ts Toolbelt
ts-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 (+5859.62%)
Mutual labels:  type-safety
Vuex Smart Module
Type safe Vuex module with powerful module features
Stars: ✭ 306 (+488.46%)
Mutual labels:  type-safety
Generic Json Swift
A simple Swift library for working with generic JSON structures
Stars: ✭ 95 (+82.69%)
Mutual labels:  type-safety
Threadly
Type-safe thread-local storage in Swift
Stars: ✭ 58 (+11.54%)
Mutual labels:  type-safety
typed
Typed variables for PHP 7.4+ ( don't use this please )
Stars: ✭ 66 (+26.92%)
Mutual labels:  type-safety
Domino Ui
Domino-ui
Stars: ✭ 138 (+165.38%)
Mutual labels:  type-safety
Typewiz
Automatically discover and add missing types in your TypeScript code
Stars: ✭ 1,026 (+1873.08%)
Mutual labels:  type-safety
Dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
Stars: ✭ 235 (+351.92%)
Mutual labels:  type-safety
Pcf Nominal
A formalisation of PCF in Agda using naive nominal binding
Stars: ✭ 5 (-90.38%)
Mutual labels:  type-safety
Babel Plugin Runtyper
⚡️ Runtime type-checker for JavaScript
Stars: ✭ 117 (+125%)
Mutual labels:  type-safety
Gentype
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Stars: ✭ 683 (+1213.46%)
Mutual labels:  type-safety
Unchained
A fully type safe, compile time only units library.
Stars: ✭ 70 (+34.62%)
Mutual labels:  type-safety
Structopt
Parse command line arguments by defining a struct
Stars: ✭ 323 (+521.15%)
Mutual labels:  type-safety
Vuex Type Helper
Type level helper to ensure type safety in Vuex
Stars: ✭ 99 (+90.38%)
Mutual labels:  type-safety
Scalacss
Super type-safe CSS for Scala and Scala.JS.
Stars: ✭ 293 (+463.46%)
Mutual labels:  type-safety
Squid
Squid – type-safe metaprogramming and compilation framework for Scala
Stars: ✭ 172 (+230.77%)
Mutual labels:  type-safety
nest-typed-config
Intuitive, type-safe configuration module for Nest framework ✨
Stars: ✭ 47 (-9.62%)
Mutual labels:  type-safety
Strict Variant
A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (+55.77%)
Mutual labels:  type-safety
Io Ts Reporters
Error reporters for io-ts
Stars: ✭ 58 (+11.54%)
Mutual labels:  type-safety
llvm-hs-typed
Type Safe LLVM IR ( Experimental )
Stars: ✭ 47 (-9.62%)
Mutual labels:  type-safety
Quantities
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Stars: ✭ 146 (+180.77%)
Mutual labels:  type-safety
Dry Validation
Validation library with type-safe schemas and rules
Stars: ✭ 1,087 (+1990.38%)
Mutual labels:  type-safety
Dry Schema
Coercion and validation for data structures
Stars: ✭ 249 (+378.85%)
Mutual labels:  type-safety
Magic Type
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Stars: ✭ 53 (+1.92%)
Mutual labels:  type-safety
Hegel
An advanced static type checker
Stars: ✭ 1,804 (+3369.23%)
Mutual labels:  type-safety
Phpcs Type Sniff
PHP CodeSniffer sniff to enforce PHP 7 types and documentation of array variables
Stars: ✭ 35 (-32.69%)
Mutual labels:  type-safety
kanji
A strongly typed GraphQL API framework
Stars: ✭ 12 (-76.92%)
Mutual labels:  type-safety
Type safe
Zero overhead utilities for preventing bugs at compile time
Stars: ✭ 866 (+1565.38%)
Mutual labels:  type-safety
Typecov
Track missing type coverage to ensure type safety
Stars: ✭ 128 (+146.15%)
Mutual labels:  type-safety
Flow Runtime
A runtime type system for JavaScript with full Flow compatibility.
Stars: ✭ 813 (+1463.46%)
Mutual labels:  type-safety
Percentage
A percentage type for Swift
Stars: ✭ 225 (+332.69%)
Mutual labels:  type-safety
Nexus Plugin Prisma
A plugin for Nexus that integrates Prisma
Stars: ✭ 728 (+1300%)
Mutual labels:  type-safety
Typical
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Stars: ✭ 111 (+113.46%)
Mutual labels:  type-safety
Swift Nonempty
🎁 A compile-time guarantee that a collection contains a value.
Stars: ✭ 585 (+1025%)
Mutual labels:  type-safety
vault
A typed, persistent store for values of arbitrary types
Stars: ✭ 55 (+5.77%)
Mutual labels:  type-safety
Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Stars: ✭ 355 (+582.69%)
Mutual labels:  type-safety
Coulomb
coulomb: unit analysis for Scala
Stars: ✭ 109 (+109.62%)
Mutual labels:  type-safety
Jni.hpp
A modern, type-safe, header-only, C++14 wrapper for JNI
Stars: ✭ 313 (+501.92%)
Mutual labels:  type-safety
Typestrict
ESLint config focused on maximizing type safety 💪
Stars: ✭ 182 (+250%)
Mutual labels:  type-safety
Mammoth
A type-safe Postgres query builder for TypeScript.
Stars: ✭ 305 (+486.54%)
Mutual labels:  type-safety
Undictify
Python library providing type-checked function calls at runtime
Stars: ✭ 97 (+86.54%)
Mutual labels:  type-safety
Identity
🆔 Type-safe identifiers in Swift
Stars: ✭ 282 (+442.31%)
Mutual labels:  type-safety
request-parser
Small PHP Library for type-safe input handling
Stars: ✭ 53 (+1.92%)
Mutual labels:  type-safety
Cone
Cone Programming Language
Stars: ✭ 257 (+394.23%)
Mutual labels:  type-safety
Tagging
🏷 Type-safe tags in Swift
Stars: ✭ 89 (+71.15%)
Mutual labels:  type-safety
postgresql-typed
Haskell PostgreSQL library with compile-time type inference
Stars: ✭ 72 (+38.46%)
Mutual labels:  type-safety
Orm Lite
Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
Stars: ✭ 164 (+215.38%)
Mutual labels:  type-safety
Dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Stars: ✭ 80 (+53.85%)
Mutual labels:  type-safety
tsafe
🔩 The missing TypeScript utils
Stars: ✭ 285 (+448.08%)
Mutual labels:  type-safety
regbits
C++ templates for type-safe bit manipulation
Stars: ✭ 53 (+1.92%)
Mutual labels:  type-safety
Truth
A Domain Representation Language
Stars: ✭ 23 (-55.77%)
Mutual labels:  type-safety
Vue Literal Compiler
A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Stars: ✭ 158 (+203.85%)
Mutual labels:  type-safety
Pfun
Functional, composable, asynchronous, type-safe Python.
Stars: ✭ 75 (+44.23%)
Mutual labels:  type-safety
1-60 of 69 similar projects