Topic: type-safety Goto Github
Some thing interesting about type-safety
Some thing interesting about type-safety
type-safety,pgTyped - Typesafe SQL in TypeScript
User: adelsz
Home Page: https://pgtyped.dev
type-safety,Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)
User: bot-man-jl
Home Page: https://bot-man-jl.github.io/articles/?post=2016/How-to-Design-a-Better-Cpp-ORM
type-safety,Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Organization: coalton-lang
Home Page: https://coalton-lang.github.io/
type-safety,Track missing type coverage to ensure type safety
Organization: codechecks
type-safety,Domino-ui
Organization: dominokit
type-safety,Make your functions return something meaningful, typed, and safe!
Organization: dry-python
Home Page: https://returns.rtfd.io
type-safety,Coercion and validation for data structures
Organization: dry-rb
Home Page: https://dry-rb.org/gems/dry-schema
type-safety,Typed struct and value objects
Organization: dry-rb
Home Page: https://dry-rb.org/gems/dry-struct
type-safety,Validation library with type-safe schemas and rules
Organization: dry-rb
Home Page: https://dry-rb.org/gems/dry-validation
type-safety,Squid – type-safe metaprogramming and compilation framework for Scala
Organization: epfldata
Home Page: http://epfldata.github.io/squid/
type-safety,coulomb: unit analysis for Scala
User: erikerlandson
Home Page: https://erikerlandson.github.io/coulomb/
type-safety,A type-safe Postgres query builder for TypeScript.
Organization: ff00ff
Home Page: https://mammoth.tools
type-safety,Zero overhead utilities for preventing bugs at compile time
User: foonathan
Home Page: https://type_safe.foonathan.net
type-safety,A runtime type system for JavaScript with full Flow compatibility.
User: gajus
type-safety,🔩 The missing TypeScript utils
User: garronej
Home Page: https://docs.tsafe.dev
type-safety,Deprecated
Organization: graphql-nexus
type-safety,A simple Swift library for working with generic JSON structures
User: iwill
Home Page: https://stackoverflow.com/questions/43843604
type-safety,Super type-safe CSS for Scala and Scala.JS.
User: japgolly
Home Page: https://japgolly.github.io/scalacss/book
type-safety,🆔 Type-safe identifiers in Swift
User: johnsundell
type-safety,Cone Programming Language
User: jondgoodwin
type-safety,An advanced static type checker
User: jsmonk
Home Page: https://hegel.js.org
type-safety,ESLint config focused on maximizing type safety 💪
User: krzkaczor
type-safety,Type safe Vuex module with powerful module features
User: ktsn
type-safety,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
type-safety,🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android
User: massivemadness
type-safety,A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
User: michaelolof
type-safety,👷 TypeScript's largest type utility library
User: millsp
Home Page: https://millsp.github.io/ts-toolbelt/
type-safety,Automatically discover and add missing types in your TypeScript code
User: mockdeep
Home Page: https://medium.com/@urish/manual-typing-is-no-fun-introducing-typewiz-58e3e8813f4c
type-safety,A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
User: nerdsupremacist
Home Page: https://graphaello.dev
type-safety,Intuitive, type-safe configuration module for Nest framework ✨
User: nikaple
type-safety,🌈 Type-safe navigation library for Jetpack Compose
User: olshevski
Home Page: https://olshevski.github.io/compose-navigation-reimagined/
type-safety,Parse command line arguments by defining a struct
User: p-ranav
type-safety,Compile-time dimensional analysis for various unit systems using Rust's type system.
User: paholg
Home Page: https://crates.io/crates/dimensioned
type-safety,🎁 A compile-time guarantee that a collection contains a value.
Organization: pointfreeco
Home Page: https://www.pointfree.co/episodes/ep20-nonempty
type-safety,🏷 A wrapper type for safer, expressive code.
Organization: pointfreeco
Home Page: https://www.pointfree.co/episodes/ep12-tagged
type-safety,Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Organization: rescript-association
Home Page: https://rescript-lang.org/docs/gentype/latest/introduction
type-safety,Navigation Component for Jetpack Compose with support for screens, dialogs, bottomsheets, transitions and multi module projects
User: roudikk
type-safety,A simple Rust like Result type for Python 3. Fully type annotated.
Organization: rustedpy
type-safety,🔒 The new way to do types in typescript.
Organization: scalarhq
Home Page: https://zackoverflow.dev/writing/nominal-and-refinement-types-typescript
type-safety,Typical: Fast, simple, & correct data-validation using Python 3 typing.
User: seandstewart
Home Page: https://python-typical.org
type-safety,The full-stack form library for Remix and React Router
Organization: seasonedcc
Home Page: https://remix-forms.seasoned.cc
type-safety,A percentage type for Swift
User: sindresorhus
type-safety,Java annotation processor for auto-generating Builder (including Staged Builder) pattern classes
User: skinny85
type-safety,🛡 Comprehensive collection of type guards for JavaScript and TypeScript; Inspired by Elixir
Organization: sniptt-official
type-safety,Data interchange with algebraic data types.
User: stepchowfun
type-safety,Functional, composable, asynchronous, type-safe Python.
User: suned
Home Page: https://pfun.dev/
type-safety,Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
User: timjb
Home Page: http://timbaumann.info/quantities/docs
type-safety,Declarative concurrency and stream processing library for Scala
User: tomasmikula
type-safety,TopShell - a purely functional, reactive scripting language
Organization: topshell-language
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.