Awesome Open Source

Programming Languages

Search results for type safety

313 search results found

Safe String Interpolation ⭐ 14

A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !

Easier bindings to Jest for ReasonML

Type-safe REST-focused HTTP client for Rust - via the OpenAPI Specification

Json Bond ⭐ 14

Type-safe JSON strings

Typesafe Firestore ⭐ 13

A library of typescript interfaces that extend existing firebase classes, adding type safety and a better autocomplete experience.

Scala Js Vue ⭐ 13

ScalaJS Facade for Vue.js

Typematch ⭐ 13

A small TypeScript library to do pattern matching

Cerberus ⭐ 13

A mechanized proof of type safety for Featherweight Java using Coq

Go Wasm Rpc ⭐ 13

Use gRPC service definitions to communicate between WASM and JS

Decode Ts ⭐ 12

TypeScript compatible value decoding.

A strongly typed GraphQL API framework

Simplejson ⭐ 12

An improved version of json-simple for Java 11+

Extensible unit of measure conversion with type safety for typescript

Atom Msp430 ⭐ 12

Definitions for using Atom with the MSP430 microcontroller family.

Formik Blueprint ⭐ 12

Safe Assert ⭐ 12

Safe and composable assert for Python that can be used together with optimised mode

Simple generic iterator interface for Go projects

Ocaml Fdb ⭐ 11

OCaml client bindings for FoundationDB

Attributedstring.swift ⭐ 11

Swift library that adds type safety and string interpolation support to NSAttributedString

⛓️ Type-safe HTTP client/server communications with awesome autocompletion

Wicket Lambdamodel ⭐ 11

Wicket components and utilities that uses functional features from Java 8

Safecast ⭐ 11

Safe casting for Objective-C

Interface manager

Ts Json Decode ⭐ 11

A library ensuring type safety when decoding JSON data inspired by Elm

A simple Java pipeline library.

Idm Ts Types ⭐ 11

ForgeRock IDM TypeScript Types

Arduinocore Cpp17 ⭐ 11

Infrastructure to port ArduinoCore to C++17 (no C) - an attempt

Symbol Enum ⭐ 10

Javascript enumeration type based on symbols

Type Doc ⭐ 10

Static type checking for pure JavaScript

Abstraction over the mutable properties of an object hierarchy

A type-safe way to create and handle errors.

Vue Flow Typed ⭐ 9

Flow type definitions for Vue and family

Delicious mocks for TypeScript

A collection of general purpose Sum Types and Monads built on top of hojberg/sums-up

necesito esas cosas raras con tipos

Sourceryplayground ⭐ 9

A playground containing the Sourcery runtime to help you write Sourcery Swift Templates.

Type Config ⭐ 9

Type safe way defining configurations fed by environment variables, process arguments or json config files (including deserialization and validation)

Action Typed ⭐ 9

Better type safety from less typing - making Redux work more like Elm

Firemodel ⭐ 9

Cross-platform declarative models for GCP Firestore

Make.go.mock ⭐ 9

Command make.go.mock generates type-safe mocks for Go interfaces and functions.

A C++-Java communication framework, which aim to simplify usage of Java code in C++ code.

Primalize Jsonapi ⭐ 9

Simple Env ⭐ 9

An intuitive, strongly typed, and scalable way to retrieve environment variables.

React Ts I18n ⭐ 8

Tiny (1kb) type-safety focused solution for i18n in react

Typed Collections

Runtime validator that doesn't leave you in the desert 🏜️

Request_params_validation ⭐ 8

Request parameters validations, type coercion and filtering for Rails params

Graphql Tag Ts ⭐ 8

type safety for graphql-tag and more Closing in favor of https://github.com/dotansimha/graphql-typed-docume and included TypedQueryDocumentNode in graphql-js

Wholevalue ⭐ 8

Whole value idiom made easy in C++

Sarcasm is an SDK for creating typesafe, domain-bound grammars. It also has a grammar driven general unparser.

Directionless ⭐ 8

C#.NET TypeSafeEnum cardinal directions.

Kirby Blueprints ⭐ 8

Kirby Ink - PHP Class based Blueprints for Kirby CMS

Traitorous ⭐ 8

The hack-lang web framework with teeth!

Silencejs ⭐ 8

A simple and robust way to make reusable DiscordJS bots.

Flow Classy Type Wrapper ⭐ 8

Type-wrappers for Flow, quickly defined with ES6 classes.

Typesafe Node Firestore ⭐ 7

A library of typescript interfaces that extend existing google-cloud firestore classes, adding type safety and a better autocomplete experience.

Leaflet Facade ⭐ 7

Scala.js facade for Leaflet.js

Mondrian Framework ⭐ 7

Framework for building modular, type-safe and documented backends.

Typesafe.js ⭐ 7

Type safety for javascript.

Purescript Readts ⭐ 7

Read Typescript source and write Purescript types

Coreimageextensions ⭐ 7

a PHP library enforcing types of local variables.

Instant_client ⭐ 7

Type safe JSON RPC client with automatic (de)serialization. Best paired with instant_api.

Commercetools Sdk Java V2 Custom Types ⭐ 7

Plugin for the commercetools Java SDKv2 providing type-safe product attributes, reference expansion, custom fields and custom objects

Ts Alias Transformer ⭐ 7

TypeScript AST transformer to resolve type aliases into fully formed interfaces

Generate Typescript Definition Files From Javascript ⭐ 7

A CSS & HTML DSL for Scala

A simple custom button inspired by iTunes for iOS 10.

Vali Guard ⭐ 7

A somewhat flexible validation library that guarantees TypeScript type-safety.

Strict Encoding ⭐ 7

Protobufs for functional programming

Metal Tsx Todomvc ⭐ 7

Metal-JSX + Typescript + TodoMVC

Value type safing utility

Small utilities to build Android apps faster with a pinch of type-safety added to it

Nsdictionary Validation ⭐ 6

Add type-safety and validation to objects retrieved from NSDictionary.

Ts Copyable Npm ⭐ 6

Type-safe #copy() for TypeScript inspired by Scala case-class

A Swift wrapper over Microsoft's Z3 Theorem Prover

C++ wrapper library for lua C interface

Programming language focused on expression

Numeric vectors with type-safe access

A collection of tools to enforce duck typing based interfaces in Ruby.

Ensure Type ⭐ 6

Ensure runtime type safety and perform type coercion if needed.

Functional CSS meet TypeScript

Bringing Pattern Matching and other ADT and Functional Programming concepts to TypeScript

Typed Encoding ⭐ 6

Type safe string restrictions and transformations

Typescript2python ⭐ 6

🚃 Transpile TypeScript types to Python! A TypeScript to Python type transpiler.

Collection ⭐ 6

A library that provides strict typed collections in PHP.

Package stout (STream OUTput): writing byte streams in a type-safe and extensible way.

Functional composable pipelines allowing clean separation of the business logic and its implementation

Sveltekit Typesafe Api ⭐ 6

Adding type safety to SvelteKit's server endpoints.

Effectful state mangement for React, designed for simplicity, testability and type-safety

Sum Type Boilerplate ⭐ 5

Haskell library for reducing the boilerplate involved in creating and manipulating sum types

Gen Env Type Def ⭐ 5

Generate type definitions for environment variables from different environment files with support for both import.meta.env and process.env

Velocity Vortex 2856 ⭐ 5

2856 Tesseract (Redshift Robotics Varsity)'s Code For FTC Velocity Vortex (2016-2017)

Sparql Builder ⭐ 5

Type-safe SPARQL query builder written in TypeScript

A simple function for creating enum object in javascript. Won't break your flowtypes.

Redux Actions Ts Reducer ⭐ 5

Util that makes creating Redux reducers easier (using type inference instead of manually adding type annotations) and type-safer (TypeScript compiler can emit errors in case of invalid types)

Purescript Handsontable ⭐ 5

201-300 of 313 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.