Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: type-safety

Repositories

arturbac/conceptstl

conceptstl: Enhancing STL with C++ Concepts for Better Type Safety and Error Messages

Language: CMake - Size: 27.3 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

brunotot/tsvdec

🚀 TypeScript model validation with stage 3 decorators 🚀

Language: TypeScript - Size: 3.34 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

pointfreeco/swift-tagged

🏷 A wrapper type for safer, expressive code.

Language: Swift - Size: 145 KB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 1,288 - Forks: 61

keithasaurus/koda

Type-safe functional tools for Python.

Language: Python - Size: 270 KB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 97 - Forks: 6

purescript-spec/purescript-spec

Testing framework for Purescript

Language: PureScript - Size: 1.77 MB - Last synced: 21 days ago - Pushed: about 2 months ago - Stars: 135 - Forks: 47

olshevski/compose-navigation-reimagined

🌈 Type-safe navigation library for Jetpack Compose

Language: Kotlin - Size: 1.28 MB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 514 - Forks: 17

suned/pfun

Functional, composable, asynchronous, type-safe Python.

Language: Python - Size: 1.58 MB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 146 - Forks: 12

arturbac/small_vectors

Optimized C++20/23 vectors, strings with in class buffer storage, and utility algorithms

Language: C++ - Size: 483 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 7 - Forks: 1

SpencerOfwiti/X-AE-A-12

Command line application for displaying random facts from wikipedia on the console. Available on Python Package Index (PyPI). `pip install x-ae-a-12`

Language: Python - Size: 165 KB - Last synced: 3 months ago - Pushed: about 4 years ago - Stars: 5 - Forks: 0

neil-edelman/boxes

Independent data structure headers.

Language: C - Size: 17.8 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 2 - Forks: 0

skarab42/tson

Type Safe Object Notation & Validation

Language: TypeScript - Size: 435 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 10 - Forks: 1

paul-go/Truth

A Domain Representation Language

Language: TypeScript - Size: 18.1 MB - Last synced: about 18 hours ago - Pushed: almost 4 years ago - Stars: 25 - Forks: 4

vitalets/babel-plugin-runtyper

⚡️ Runtime type-checker for JavaScript

Language: JavaScript - Size: 1.32 MB - Last synced: 3 days ago - Pushed: over 1 year ago - Stars: 117 - Forks: 4

gillchristian/io-ts-reporters

Error reporters for io-ts

Language: TypeScript - Size: 691 KB - Last synced: 30 days ago - Pushed: about 1 year ago - Stars: 89 - Forks: 16

ciriousjoker/ts-localstorage

npm package for typed localstorage

Language: TypeScript - Size: 416 KB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

bespoyasov/explicit-design

Source code for the “Explicit Design” post series.

Language: TypeScript - Size: 911 KB - Last synced: 2 months ago - Pushed: 11 months ago - Stars: 82 - Forks: 4

krzkaczor/TypeStrict

ESLint config focused on maximizing type safety 💪

Language: JavaScript - Size: 76.2 KB - Last synced: 11 days ago - Pushed: about 2 years ago - Stars: 221 - Forks: 8

gaku-sei/ts-json-decode

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

Language: TypeScript - Size: 978 KB - Last synced: 13 days ago - Pushed: over 1 year ago - Stars: 14 - Forks: 4

tazjin/yants 📦

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

Size: 304 KB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 38 - Forks: 2

demurgos/kryo

Runtime types

Language: TypeScript - Size: 7.8 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 1

Conaclos/safe-any 📦

Use TypeScript `unknown` type instead.

Size: 51.8 KB - Last synced: 4 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1

dmayo3/mocksafe

Type-safe mocking for Python.

Language: Python - Size: 103 KB - Last synced: 29 days ago - Pushed: 12 months ago - Stars: 3 - Forks: 0

typeguard-ts is a utility library for creating and using type guards efficiently in TypeScript. It simplifies the process of defining and applying type guards, making it more convenient and readable in your codebase.

Language: TypeScript - Size: 5.86 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

elephox-dev/framework

A type-safe PHP framework.

Language: PHP - Size: 3.84 MB - Last synced: 2 days ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

JohnSundell/Identity

🆔 Type-safe identifiers in Swift

Language: Swift - Size: 16.6 KB - Last synced: 18 days ago - Pushed: over 3 years ago - Stars: 299 - Forks: 14

dylex/postgresql-typed Fork of jekor/templatepg

Haskell PostgreSQL library with compile-time type inference

Language: Haskell - Size: 488 KB - Last synced: 16 days ago - Pushed: 3 months ago - Stars: 83 - Forks: 12

AlpsMonaco/jsonserializer

a library aims to convert json string to C++ data struct in modern,fluent and fast way. Runtime safety and No C++ Exception.

Language: C++ - Size: 204 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 5 - Forks: 0

martinmoene/type-lite

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

Language: C++ - Size: 124 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 35 - Forks: 4

chrilves/raffiot.py

Robust And Fast Functional IO Toolkit

Language: Python - Size: 1.84 MB - Last synced: 23 days ago - Pushed: about 2 years ago - Stars: 15 - Forks: 1

tawesoft/untrusted.py 📦

Safer Python with types for untrusted input

Language: Python - Size: 69.3 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 32 - Forks: 1

topshell-language/topshell

TopShell - a purely functional, reactive scripting language

Language: Scala - Size: 1.63 MB - Last synced: 4 months ago - Pushed: almost 3 years ago - Stars: 474 - Forks: 9

RobinBuschmann/type-config

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

Language: TypeScript - Size: 151 KB - Last synced: 29 days ago - Pushed: almost 6 years ago - Stars: 12 - Forks: 0

chipjarred/NIX

Swift overlay for POSIX API

Language: Swift - Size: 283 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

japgolly/scalacss

Super type-safe CSS for Scala and Scala.JS.

Language: Scala - Size: 12.3 MB - Last synced: 5 months ago - Pushed: 7 months ago - Stars: 333 - Forks: 51

codechecks/typecov

Track missing type coverage to ensure type safety

Language: TypeScript - Size: 573 KB - Last synced: 21 days ago - Pushed: over 2 years ago - Stars: 143 - Forks: 7

SmolSoftBoi/php-type

Type handling.

Language: PHP - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

altitudenetworks/dynamoquery

Python AWS DynamoDB ORM

Language: Python - Size: 775 KB - Last synced: 26 days ago - Pushed: 7 months ago - Stars: 26 - Forks: 5

ryan953/Enumjs 📦

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

Language: JavaScript - Size: 1.08 MB - Last synced: 3 days ago - Pushed: almost 4 years ago - Stars: 5 - Forks: 1

git-zodyac/env

Parse environment variables with zod.

Language: TypeScript - Size: 47.9 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

ghadeeras/essence

Model-Driven Development Framework for Java

Language: Java - Size: 203 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

VitorLuizC/maybe

🌯 The prettiest TypeScript implementation of Maybe monad.

Language: TypeScript - Size: 242 KB - Last synced: 12 days ago - Pushed: over 2 years ago - Stars: 19 - Forks: 0

mondrian-framework/mondrian-framework

Framework for building modular / type-safe / documented backends.

Language: TypeScript - Size: 7.52 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 7 - Forks: 1

AChristoff/i18n-type-safe

Ultra lightweight package (15kB) aimed at ensuring 100% type-safe internationalization. Providing a minimal footprint, yet powerful protection and great DevEx. Perfectly suited for projects utilizing Vite or Expo

Language: TypeScript - Size: 69.3 KB - Last synced: 10 days ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

felipefava/request_params_validation

Request parameters validations, type coercion and filtering for Rails params

Language: Ruby - Size: 106 KB - Last synced: 29 days ago - Pushed: about 2 years ago - Stars: 21 - Forks: 1

nvzqz/Threadly

Type-safe thread-local storage in Swift

Language: Swift - Size: 716 KB - Last synced: 3 days ago - Pushed: over 5 years ago - Stars: 72 - Forks: 10

RougeWare/Swift-Safe-Pointer

Lets you pass anything using reference semantics without the danger of unsafe pointers

Language: Swift - Size: 58.6 KB - Last synced: 30 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

Ayub-Begimkulov/transducing

Simple helper to optimize iterations over arrays.

Language: TypeScript - Size: 1.31 MB - Last synced: 26 days ago - Pushed: 11 months ago - Stars: 4 - Forks: 0

0fatihyildiz/fast-ts-utilities

TypeScript utilities designed for fast and secure development.

Language: TypeScript - Size: 13.7 KB - Last synced: 18 days ago - Pushed: 6 months ago - Stars: 8 - Forks: 0

paysure/orinoco

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

Language: Python - Size: 2.09 MB - Last synced: 2 months ago - Pushed: about 1 year ago - Stars: 11 - Forks: 3

fbenkstein/strongint

Type safe integer classes for C++

Language: C++ - Size: 5.86 KB - Last synced: 6 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

Brian3647/minifunc

An extremely simple, small & type-safe functional programming library for TypeScript/JavaScript.

Language: TypeScript - Size: 26.4 KB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

tensorush/zig-typeid

🦎 ℹ️ Zig implementation of TypeID, a type-safe extension of UUIDv7, created by the @jetpack-io team.

Language: Zig - Size: 17.6 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 3 - Forks: 0

Guibi1/SvelteKit-TypeSafe-API

Adding type safety to SvelteKit's server endpoints.

Language: TypeScript - Size: 140 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 6 - Forks: 0

lforst/vali-guard

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

Language: TypeScript - Size: 409 KB - Last synced: 26 days ago - Pushed: 7 months ago - Stars: 8 - Forks: 0

jultty/wart-AnyOps

An exploration in custom rule creation for the WartRemover Scala linter

Language: Scala - Size: 13.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

atextor/syntax-annotation

Java compile time syntax check for strings containing other languages

Language: Java - Size: 425 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

kingkero/typesafe-env

Wrapper around Laravel's Env to support type safety.

Language: PHP - Size: 110 KB - Last synced: about 1 month ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

egnha/valaddin

Functional input validation to make R functions more readable and robust

Language: R - Size: 1.04 MB - Last synced: 13 days ago - Pushed: 7 months ago - Stars: 30 - Forks: 1

scalarhq/nominal

🔒 The new way to do types in typescript.

Language: TypeScript - Size: 16.6 KB - Last synced: 7 months ago - Pushed: about 1 year ago - Stars: 257 - Forks: 1

RemiBardon/swift-geo

Generic geographical library for Swift

Language: Swift - Size: 4.94 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

acro5piano/typed-i18n

[deprecated] type-safe i18n library

Language: TypeScript - Size: 1.49 MB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 23 - Forks: 0

CarcajadaArtificial/sass-door

Sass Door 🚪 is a tiny error-handling and type safety SCSS library.

Language: SCSS - Size: 92.8 KB - Last synced: 22 days ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

samuelgiles/rspec-sorbet

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

Language: Ruby - Size: 1.48 MB - Last synced: 13 days ago - Pushed: about 1 year ago - Stars: 36 - Forks: 9

Dobiasd/undictify

Python library providing type-checked function calls at runtime

Language: Python - Size: 357 KB - Last synced: 28 days ago - Pushed: about 2 months ago - Stars: 99 - Forks: 9

cuppachino/colorix 📦

🖌️ Track ANSI sequences using the power of generics and type literals. Color without fear!

Language: TypeScript - Size: 186 KB - Last synced: 9 days ago - Pushed: 9 months ago - Stars: 2 - Forks: 0

skarab42/ts-pojo-error

🔥 Type safe pojo error will help you to easily create typed and serializable error.

Language: TypeScript - Size: 1.36 MB - Last synced: 10 days ago - Pushed: 8 months ago - Stars: 14 - Forks: 0

Jomik/cerberus

Language: TypeScript - Size: 2.08 MB - Last synced: 26 days ago - Pushed: almost 4 years ago - Stars: 14 - Forks: 0

damncabbage/flow-classy-type-wrapper

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

Language: JavaScript - Size: 8.79 KB - Last synced: 29 days ago - Pushed: over 7 years ago - Stars: 8 - Forks: 0

serokell/o-clock

:hourglass: Type-safe time units in Haskell

Language: Haskell - Size: 286 KB - Last synced: 23 days ago - Pushed: 5 months ago - Stars: 49 - Forks: 6

BOT-Man-JL/ORM-Lite

Header-Only, Strong-Typed, Compile-time Object Relation Mapping (ORM) in Modern C++ :-)

Language: C++ - Size: 4.69 MB - Last synced: 7 months ago - Pushed: over 6 years ago - Stars: 216 - Forks: 64

moosch/type-safe-container

A simple container that provides type safety

Language: JavaScript - Size: 1.95 KB - Last synced: 9 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

Akii/commercetools-sdk-java-v2-custom-types 📦

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

Language: Kotlin - Size: 423 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 7 - Forks: 1

levels3d/type-template

Safe template string interpolation for TypeScript

Language: TypeScript - Size: 1000 Bytes - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

kasonyang/tempera

A high-performance and type-safe template engine.

Language: Java - Size: 199 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0

deno911/dis

Typechecking with ease.

Language: TypeScript - Size: 140 KB - Last synced: 10 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

danielnixon/scalajswarts 📦

WartRemover warts for Scala.js.

Language: Scala - Size: 18.6 KB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

danielnixon/slickwarts 📦

WartRemover warts for Slick.

Language: Scala - Size: 18.6 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

danielnixon/playwarts 📦

WartRemover warts for Play Framework.

Language: Scala - Size: 202 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 23 - Forks: 4

danielnixon/play-messagescompiler Fork of tegonal/play-messagescompiler 📦

Messages compiler for Play 2 Scala

Language: Scala - Size: 42 KB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

Related Keywords

type-safety 306 typescript 88 functional-programming 23 javascript 22 type-safe 20 types 20 swift 19 python 19 validation 18 scala 15 type-checking 14 type-system 12 php 11 json 11 haskell 10 nodejs 10 python3 10 ruby 10 rust 9 testing 9 programming-language 8 compiler 7 strongly-typed 7 error-handling 7 mypy 7 library 7 flowtype 7 kotlin 7 java 7 type 6 utility 6 postgresql 6 serialization 6 deno 6 concurrency 6 typesafe 6 template 6 fp 6 type-hints 6 safety 5 wartremover 5 schema 5 data-validation 5 hacktoberfest 5 typescript-library 5 linux 5 graphql 5 functional 5 configuration 5 ios 5 generator 5 language 5 sql 5 c-plus-plus 5 header-only 5 static-analysis 4 type-guards 4 static-typing 4 sbt-plugin 4 zod 4 llvm 4 data-structures 4 cpp17 4 code-generation 4 metaprogramming 4 vue 4 swift-package-manager 4 polymorphism 4 railway-oriented-programming 4 api 4 flow 4 query-builder 4 php7 4 elm 4 golang-library 4 i18n 4 config 4 navigation 4 golang 4 command-line 3 documentation 3 dimensional-analysis 3 conversion 3 npm 3 utilities 3 optimization 3 cpp 3 templates 3 ts 3 typeclass 3 generics 3 static-code-analysis 3 struct 3 react 3 env 3 macos 3 dependency-injection 3 orm 3 iterator 3 tvos 3