Awesome Open Source

Programming Languages

Search results for type safety

313 search results found

Typed variables for PHP 7.4+ ( don't use this please )

Elm I18next ⭐ 65

https://package.elm-lang.org/packages/ChristophP/e

~1kB Dependency Injection Library for Typescript and React with a unique support of async flow

Type safety across REST APIs in TypeScript!

Prisma Extension Kysely ⭐ 64

Prisma Kysely Extension

Angular.haxe ⭐ 62

Toolset for integration of angular.js (https://angularjs.org) in haxe applications

Threadly ⭐ 61

Type-safe thread-local storage in Swift

Safer universal equivalence (==) for Scala.

Postgresql Typed ⭐ 60

Haskell PostgreSQL library with compile-time type inference

A typed, persistent store for values of arbitrary types

Vue Typed Mixins ⭐ 57

Type safe Vue.js mixins

Typehtml ⭐ 55

A transparent reactive framework with type safety and simplicity 🌹

Typescript Error Reporter Action ⭐ 55

GitHub Action to diagnose TypeScript errors and report the result on PR.

Ts Type Checked ⭐ 54

Runtime duck type checking utilities for TypeScript.

Polycast ⭐ 53

Safely cast values to int, float, or string in PHP

Fsharp.text.docker ⭐ 52

Build dockerfiles and run docker commands from F#

Magic Type ⭐ 51

🎩 Use Your TypeScript definitions at runtime. Powered by Manta Style.

A boilerplate-free, composable API framework for React/Redux

Vuex Ts Decorators ⭐ 50

Write Vuex stores and modules with type-safety and code completion

⌛ Type-safe time units in Haskell

Generic Type Guard ⭐ 49

Type safe, composable type guards for TypeScript

A pre-configured setup for easy website development with Astro and Payload CMS using Docker.

Q Builders ⭐ 48

Type safe database agnostic query builders.

Numeris_romanis ⭐ 47

Roman numeral support for C++17

Groovy GraphQL library

Webview2.dom ⭐ 46

C# DOM bindings to be used with WebView2

Llvm Hs Typed ⭐ 46

Type Safe LLVM IR ( Experimental )

Explicit Design ⭐ 46

Source code for the “Explicit Design” post series • 🔌🧩🧱

Request Parser ⭐ 45

Small PHP Library for type-safe input handling

Rust like Option and Result types in Python

Vuex Typescript Fsa ⭐ 43

The helper which makes vuex more type-safety

C Iterators ⭐ 42

📚 A demonstration of implementing a "type-safe" lazy iterator interface in pure C99

Huntingkit ⭐ 41

Wrapper for the ProductHunt API. Written in Swift

A pragmatic, functional systems programming language.

Hashedexpression ⭐ 41

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

Genccont ⭐ 40

Generic containers in C. So far: singly & doubly linked lists, a singly-linked queue, a hash table and a binary search tree. As type-safe as I can make them in C. Simple to use and hack; very embeddable - works in user space and in-kernel; 0 build requirements: not even libc needed; can easily cherry-pick only needed source files. zlib license.

Phpcs Type Sniff ⭐ 40

PHP CodeSniffer sniff to enforce PHP7, PHP8 types and documentation of array variables

Ngx Typesafe Forms ⭐ 39

Because FormControl<T> is more awesome than FormControl!

A statically-typed strictly-evaluated garbage-collected readable programming language.

Type-Safety of Java & Javascript Flexibility

Ts Mockery ⭐ 38

Simple type-safe typescript mocking library.

Twitter Api Ts ⭐ 38

TypeScript compatible Twitter API client

Sbt Kubeyml ⭐ 38

Sbt plugin to help deploy Scala applications to Kubernetes

Vuex Typescript Interface ⭐ 37

Adding magical type safety to Vuex without additional code

Tf Dotty ⭐ 37

Shape-safe TensorFlow in Dotty

C++ templates for type-safe bit manipulation

Type Lite ⭐ 35

type - Strong types for C++98, C++11 and later in a single-file header-only library

Golang library for end-to-end Go-Typescript type safety.

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.

Runtimekit ⭐ 31

🏎 Swift library for accessing the Objective-C runtime

Rspec Sorbet ⭐ 30

A small gem consisting of helpers for using Sorbet & RSpec together.

Typed Collection ⭐ 30

Type-safe collections based on Laravel Collections

Valaddin ⭐ 30

Functional input validation to make R functions more readable and robust

A tiny and principled library for type-safe IDs

Ts Simple Nameof ⭐ 29

Parses a dot-separated property name from a lambda expression and provides some level of type safety using type parameters.

Minimalistic Single Page Application Framework for GOPHERJS

Typed Socket.io ⭐ 29

A library for fully typed client-server communication with socket.io and TypeScript.

Dry Monads Sorbet ⭐ 29

Sorbet type hints for Dry::Monads.

Assertive Ts ⭐ 29

A type-safe fluent assertion library written in TypeScript and inspired by Jest assertions and the popular AssertJ

Typed Web Workers ⭐ 27

Create web workers with type safety

Start a new webapp with fullstack typesafety, with Directus providing the database sdk to Nest & React/Svelte

Tctypesafety ⭐ 26

[ObjC] hack to get type safe collections in ObjC

Dynamic records in OCaml

C Iterplus ⭐ 24

Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators

Play Messagescompiler ⭐ 24

Playwarts ⭐ 24

WartRemover warts for Play Framework.

Kysely Postgres Js ⭐ 23

Kysely dialect for PostgreSQL using the Postgres.js client.

Typed I18n ⭐ 23

[deprecated] type-safe i18n library

Typed_flags ⭐ 23

Type-safe and human-readable set of bool flags

Plistkit ⭐ 22

Swift library for easily reading/writing plist (Property List) files.

Pedantic Python Decorators ⭐ 22

Some useful decorators for any situation. Includes runtime type checking.

Typed_key ⭐ 21

A Rust library for strongly-typed string keys for configuration.

Apollo Typed Documents ⭐ 21

Get type safety for your apollo documents.

Ts Jenum ⭐ 20

TypeScript Enum like java.lang.Enum

LLVM-based type and memory allocation tracking sanitizer

B522 Pl Foundations ⭐ 20

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

An emerging widget for exploring RESTful APIs in Jupyter notebooks.

Fastapi Auth ⭐ 20

Auth for use with FastAPI

A Domain Representation Language

Sorbet Struct Comparable ⭐ 19

Comparable T::Struct's for the equality focused typed Ruby developer.

Kontroli Rs ⭐ 19

Alternative implementation of the logical framework Dedukti in Rust

🌯 The prettiest TypeScript implementation of Maybe monad.

Remote Automation with Groovy and JVM Friends

Ts Pattern Matching ⭐ 18

Pattern matching in TS with Record Patterns, Type Patterns, type inference and more

Dynamoquery ⭐ 17

Python AWS DynamoDB ORM

👨‍🚀 A type-safe URI builder in Kotlin

Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance

heidi : tidy data in Haskell

Single-line tagged-type helper for better type safety in Scala

The official compiler for the Quartz programming language

Typesafe Ipc ⭐ 16

A type-only library for adding strict typing to Electron's IPC modules

Typed Xlsx ⭐ 16

A simple yet powerful library to effortlessly export any data into XLSX sheets, with the full power of type-safety and awesome DX

Relay Store Types Generator ⭐ 16

Generate types for the Relay store from your GraphQL schema.

An open-source general-purpose programming language using the LLVM framework

Keyboard Combo ⭐ 15

Handle keyboard key combinations with type safety in Elm

Remix Starter Firebase ⭐ 15

Correct Behavior Through Type Safety ⭐ 15

Talk about using types to prove correctness

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

101-200 of 313 search results

Privacy | About | Terms | Follow Us On Twitter

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