Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types type safety
type-safety
x
types
x
38 search results found
Ts Toolbelt
⭐
6,011
👷 TypeScript's largest type utility library
Pgtyped
⭐
2,700
pgTyped - Typesafe SQL in TypeScript
Hegel
⭐
2,087
An advanced static type checker
Purify
⭐
1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
Type_safe
⭐
1,399
Zero overhead utilities for preventing bugs at compile time
Swift Tagged
⭐
1,181
🏷 A wrapper type for safer, expressive code.
Chimney
⭐
1,069
Scala library for boilerplate-free, type-safe data transformations
Gentype
⭐
758
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Swift Nonempty
⭐
758
🎁 A compile-time guarantee that a collection contains a value.
Classes
⭐
575
Smart, pythonic, ad-hoc, typed polymorphism for Python
Typical
⭐
548
Data interchange with algebraic data types.
Cone
⭐
453
Cone Programming Language
Topshell
⭐
444
TopShell - a purely functional, reactive scripting language
Evt
⭐
441
💧EventEmitter's typesafe replacement
Gqtx
⭐
436
Implementation-first Typescript GraphQL Server without codegen or metaprogramming
Tinyformat
⭐
414
Minimal, type safe printf replacement library for C++
Dry Struct
⭐
394
Typed struct and value objects
Jni.hpp
⭐
272
A modern, type-safe, header-only, C++14 wrapper for JNI
Identity
⭐
264
🆔 Type-safe identifiers in Swift
Nominal
⭐
256
🔒 The new way to do types in typescript.
Percentage
⭐
253
A percentage type for Swift
Xstate Codegen
⭐
244
A codegen tool for 100% TS type-safety in XState
Zio Sql
⭐
228
Type-safe, composable SQL for ZIO applications
Java.interop
⭐
178
Java.Interop provides open-source bindings of Java's Java Native Interface (JNI) for use with .NET managed languages such as C#
Laravel Typescript Transformer
⭐
173
Transform PHP types to Typescript
Squid
⭐
171
Squid – type-safe metaprogramming and compilation framework for Scala
Persimmon
⭐
168
A visual dataflow programming language for sklearn
Nest Typed Config
⭐
164
Intuitive, type-safe configuration module for Nest framework ✨
Jilt
⭐
150
Java annotation processor for auto-generating Builder (including Type-Safe Builder) classes
Prop Types Ts
⭐
148
Alternative syntax for prop types providing both static and runtime type safety, powered by io-ts
Vue
⭐
143
Cheatsheets for experienced Vue developers getting started with TypeScript
Pfun
⭐
142
Functional, composable, asynchronous, type-safe Python.
Coulomb
⭐
139
coulomb: unit analysis for Scala
Babel Plugin Runtyper
⭐
117
⚡️ Runtime type-checker for JavaScript
Undictify
⭐
99
Python library providing type-checked function calls at runtime
Vuex Type Helper
⭐
98
Type level helper to ensure type safety in Vuex
Tagging
⭐
87
🏷 Type-safe tags in Swift
Tom
⭐
85
Elmish type-safe state and side effect manager using RxJS
Dilate
⭐
80
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Gotoprom
⭐
80
Type-safe Prometheus metrics builder library for golang
Pinfuture
⭐
77
An Objective-C future implementation that aims to provide maximal type safety
Mamba
⭐
76
🐍 The Mamba programming language, because we care about safety
Angular.haxe
⭐
62
Toolset for integration of angular.js (https://angularjs.org) in haxe applications
Univeq
⭐
60
Safer universal equivalence (==) for Scala.
Vue Typed Mixins
⭐
57
Type safe Vue.js mixins
Vault
⭐
57
A typed, persistent store for values of arbitrary types
Ts Type Checked
⭐
54
Runtime duck type checking utilities for TypeScript.
Magic Type
⭐
51
🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.
Vuex Ts Decorators
⭐
50
Write Vuex stores and modules with type-safety and code completion
Generic Type Guard
⭐
49
Type safe, composable type guards for TypeScript
O Clock
⭐
49
⌛ Type-safe time units in Haskell
Request Parser
⭐
45
Small PHP Library for type-safe input handling
Option
⭐
44
Rust like Option and Result types in Python
Vuex Typescript Fsa
⭐
43
The helper which makes vuex more type-safety
Hashedexpression
⭐
41
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Phpcs Type Sniff
⭐
40
PHP CodeSniffer sniff to enforce PHP7, PHP8 types and documentation of array variables
Zion
⭐
39
A statically-typed strictly-evaluated garbage-collected readable programming language.
Ngx Typesafe Forms
⭐
39
Because FormControl<T> is more awesome than FormControl!
Ts Mockery
⭐
38
Simple type-safe typescript mocking library.
N4js
⭐
38
Type-Safety of Java & Javascript Flexibility
Type Lite
⭐
35
type - Strong types for C++98, C++11 and later in a single-file header-only library
Yants
⭐
33
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Untrusted.py
⭐
31
Safer Python with types for untrusted input
Total Functions
⭐
31
A collection of total functions to replace TypeScript's built-in partial functions.
Typed Collection
⭐
30
Type-safe collections based on Laravel Collections
Rspec Sorbet
⭐
30
A small gem consisting of helpers for using Sorbet & RSpec together.
Eidos
⭐
29
A tiny and principled library for type-safe IDs
Tctypesafety
⭐
26
[ObjC] hack to get type safe collections in ObjC
Records
⭐
25
Dynamic records in OCaml
Typed I18n
⭐
23
[deprecated] type-safe i18n library
Pedantic Python Decorators
⭐
22
Some useful decorators for any situation. Includes runtime type checking.
Apollo Typed Documents
⭐
21
Get type safety for your apollo documents.
Typed_key
⭐
21
A Rust library for strongly-typed string keys for configuration.
Typeart
⭐
20
LLVM-based type and memory allocation tracking sanitizer
B522 Pl Foundations
⭐
20
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Kontroli Rs
⭐
19
Alternative implementation of the logical framework Dedukti in Rust
Sorbet Struct Comparable
⭐
19
Comparable T::Struct's for the equality focused typed Ruby developer.
Ts Pattern Matching
⭐
18
Pattern matching in TS with Record Patterns, Type Patterns, type inference and more
Yuri
⭐
17
👨🚀 A type-safe URI builder in Kotlin
Taggy
⭐
17
Single-line tagged-type helper for better type safety in Scala
Relay Store Types Generator
⭐
16
Generate types for the Relay store from your GraphQL schema.
Typesafe Ipc
⭐
16
A type-only library for adding strict typing to Electron's IPC modules
Correct Behavior Through Type Safety
⭐
15
Talk about using types to prove correctness
Json Bond
⭐
14
Type-safe JSON strings
Future
⭐
13
Coqfj
⭐
13
A mechanized proof of type safety for Featherweight Java using Coq
Kanji
⭐
12
A strongly typed GraphQL API framework
Uom
⭐
12
Extensible unit of measure conversion with type safety for typescript
Attributedstring.swift
⭐
11
Swift library that adds type safety and string interpolation support to NSAttributedString
Httyped
⭐
11
⛓️ Type-safe HTTP client/server communications with awesome autocompletion
Wicket Lambdamodel
⭐
11
Wicket components and utilities that uses functional features from Java 8
Ts Json Decode
⭐
11
A library ensuring type safety when decoding JSON data inspired by Elm
Idm Ts Types
⭐
11
ForgeRock IDM TypeScript Types
Type Doc
⭐
10
Static type checking for pure JavaScript
Symbol Enum
⭐
10
Javascript enumeration type based on symbols
Action Typed
⭐
9
Better type safety from less typing - making Redux work more like Elm
Omnimock
⭐
9
Delicious mocks for TypeScript
Primalize Jsonapi
⭐
9
Cosas
⭐
9
necesito esas cosas raras con tipos
Make.go.mock
⭐
9
Command make.go.mock generates type-safe mocks for Go interfaces and functions.
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-38 of 38 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.