Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: type-safety
adelsz/pgtyped
pgTyped - Typesafe SQL in TypeScript
Language: TypeScript - Size: 9.53 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 2,816 - Forks: 87
stepchowfun/typical
Data interchange with algebraic data types.
Language: Rust - Size: 1.52 MB - Last synced: about 19 hours ago - Pushed: 2 days ago - Stars: 551 - Forks: 9
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Language: Common Lisp - Size: 1.95 MB - Last synced: about 2 hours ago - Pushed: about 8 hours ago - Stars: 1,017 - Forks: 59
io7m-com/jcoronado
Type-safe Vulkan frontend
Language: Java - Size: 2.87 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 4 - Forks: 1
Lexxn0x3/sw_sec_presentation
🔐 Dive into Rust's security features with example codes from a university presentation at Technische Hochschule Georg Simon Ohm, covering topics like safe concurrency, error handling, and zero-cost abstractions.
Language: Rust - Size: 21.5 KB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 0 - Forks: 0
eoin-obrien/prisma-extension-kysely
Drop down to raw SQL in Prisma without sacrificing type safety!
Language: TypeScript - Size: 409 KB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 127 - Forks: 3
mscharley/generic-type-guard
Type safe, composable type guards for TypeScript
Language: TypeScript - Size: 3.32 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 50 - Forks: 3
kysely-org/awesome-kysely
A curated list of Kysely resources, tools, utilities and applications.
Size: 478 KB - Last synced: 1 day ago - Pushed: about 1 month ago - Stars: 112 - Forks: 7
p-ranav/structopt
Parse command line arguments by defining a struct
Language: C++ - Size: 558 KB - Last synced: about 15 hours ago - Pushed: 6 months ago - Stars: 449 - Forks: 24
rescript-association/genType 📦
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
Language: OCaml - Size: 42.6 MB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 760 - Forks: 44
Nerdware-LLC/ts-type-safety-utils
TypeScript type-guards and other type-safety utils for any environment 🎉
Language: TypeScript - Size: 643 KB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 0 - Forks: 0
erikerlandson/coulomb
coulomb: unit analysis for Scala
Language: Scala - Size: 4.22 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 140 - Forks: 9
coplanetary/bna-uno
Everything and the kitchen sink
Language: TypeScript - Size: 53.3 MB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 1 - Forks: 0
Nikaple/nest-typed-config
Intuitive, type-safe configuration module for Nest framework ✨
Language: TypeScript - Size: 1.87 MB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 182 - Forks: 24
vojtechgadurek/LittleSharp
Wrapper around Expression Trees to provide statically typed experience and easier, less error prone enviroment for writing runtime compiled code
Language: C# - Size: 75.2 KB - Last synced: 5 days ago - Pushed: 6 days ago - Stars: 1 - Forks: 0
mbdevpl/static-typing
Add static type information into Python abstract syntax trees.
Language: Python - Size: 153 KB - Last synced: 1 day ago - Pushed: almost 5 years ago - Stars: 9 - Forks: 2
seasonedcc/remix-forms
The full-stack form library for Remix and React Router
Language: TypeScript - Size: 7.1 MB - Last synced: 6 days ago - Pushed: 7 days ago - Stars: 473 - Forks: 24
mapbox/jni.hpp
A modern, type-safe, header-only, C++14 wrapper for JNI
Language: C++ - Size: 218 KB - Last synced: about 10 hours ago - Pushed: 26 days ago - Stars: 398 - Forks: 88
kensho-technologies/pytest-annotate
Generate PyAnnotate annotations from your pytest tests.
Language: Python - Size: 32.2 KB - Last synced: 1 day ago - Pushed: almost 2 years ago - Stars: 109 - Forks: 10
strict-types/strict-encoding
Protobufs for functional programming
Language: Rust - Size: 465 KB - Last synced: 14 days ago - Pushed: 19 days ago - Stars: 7 - Forks: 9
garronej/tsafe
🔩 The missing TypeScript utils
Language: TypeScript - Size: 31.3 MB - Last synced: 5 days ago - Pushed: 12 days ago - Stars: 387 - Forks: 6
code-cb/ts-utils
🛠 A modern and practical TypeScript type utility library
Language: TypeScript - Size: 980 KB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 1 - Forks: 0
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
Language: Scala - Size: 14.6 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 190 - Forks: 6
sniptt-official/guards
🛡 Comprehensive collection of type guards for JavaScript and TypeScript; Inspired by Elixir
Language: TypeScript - Size: 805 KB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 165 - Forks: 5
seandstewart/typical
Typical: Fast, simple, & correct data-validation using Python 3 typing.
Language: Python - Size: 2.51 MB - Last synced: about 23 hours ago - Pushed: 3 months ago - Stars: 182 - Forks: 9
dry-rb/dry-validation
Validation library with type-safe schemas and rules
Language: Ruby - Size: 2.24 MB - Last synced: 11 days ago - Pushed: 8 months ago - Stars: 1,315 - Forks: 185
LostInDarkMath/pedantic-python-decorators
Some useful decorators for any situation. Includes runtime type checking.
Language: Python - Size: 926 KB - Last synced: 11 days ago - Pushed: 11 days ago - Stars: 23 - Forks: 2
vseplet/careful
Safe containerization of values for TypeScript
Language: TypeScript - Size: 35.2 KB - Last synced: 12 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
8ightfold/slimfmt
A small, simple formatting library for C++17
Language: C++ - Size: 157 KB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 3 - Forks: 1
TheLartians/TypeScript2Python
🚃 Transpile TypeScript types to Python! A TypeScript to Python type transpiler.
Language: TypeScript - Size: 113 KB - Last synced: 12 days ago - Pushed: about 2 months ago - Stars: 9 - Forks: 1
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Language: Coq - Size: 38.5 MB - Last synced: 13 days ago - Pushed: about 1 month ago - Stars: 804 - Forks: 14
iamgabrieloliveira/ts-rustyness
TS Rustyness is a TypeScript library designed to enhance type safety in your projects, drawing inspiration from Rust's robust type system.
Language: TypeScript - Size: 32.2 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 1 - Forks: 0
dry-rb/dry-schema
Coercion and validation for data structures
Language: Ruby - Size: 2.09 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 408 - Forks: 105
JSMonk/hegel 📦
An advanced static type checker
Language: JavaScript - Size: 121 MB - Last synced: 4 days ago - Pushed: 4 months ago - Stars: 2,100 - Forks: 59
jeromegamez/typed-collection
Type-safe collections based on Laravel Collections
Language: PHP - Size: 103 KB - Last synced: 13 days ago - Pushed: 20 days ago - Stars: 37 - Forks: 5
nerdsupremacist/Graphaello
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Language: Swift - Size: 23.1 MB - Last synced: 8 days ago - Pushed: almost 2 years ago - Stars: 494 - Forks: 18
dry-rb/dry-struct
Typed struct and value objects
Language: Ruby - Size: 729 KB - Last synced: 4 days ago - Pushed: 4 months ago - Stars: 402 - Forks: 62
GervinFung/gen-env-type-def
Generate type definitions for environment variables from different environment files with support for both import.meta.env and process.env
Language: TypeScript - Size: 355 KB - Last synced: 20 days ago - Pushed: 21 days ago - Stars: 6 - Forks: 0
kysely-org/kysely-postgres-js
Kysely dialect for PostgreSQL using the Postgres.js client.
Language: TypeScript - Size: 382 KB - Last synced: 28 days ago - Pushed: 28 days ago - Stars: 47 - Forks: 3
ChronicStone/typed-xlsx
A simple yet powerful library to effortlessly export any data into XLSX sheets, with the full power of type-safety and awesome DX
Language: TypeScript - Size: 962 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 26 - Forks: 0
pointfreeco/swift-nonempty
🎁 A compile-time guarantee that a collection contains a value.
Language: Swift - Size: 93.8 KB - Last synced: 6 days ago - Pushed: about 2 months ago - Stars: 833 - Forks: 39
molszanski/iti
~1kB Dependency Injection Library for Typescript and React with a unique support of async flow
Language: TypeScript - Size: 1.98 MB - Last synced: 12 days ago - Pushed: 7 months ago - Stars: 120 - Forks: 7
tompee26/Bunch
Code-generated Android Bundle wrapper
Language: Kotlin - Size: 279 KB - Last synced: 22 days ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
alexruperez/Tagging
🏷 Type-safe tags in Swift
Language: Swift - Size: 16.6 KB - Last synced: 12 days ago - Pushed: almost 5 years ago - Stars: 92 - Forks: 4
Gnarus-G/ntro
Introspect configuration files and output typescript type declarations.
Language: Rust - Size: 182 KB - Last synced: 20 days ago - Pushed: 7 months ago - Stars: 1 - Forks: 0
lukemorales/next-safe-navigation
Static type and runtime validation for navigating routes in NextJS App Router with Zod schemas
Language: TypeScript - Size: 240 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 137 - Forks: 3
foonathan/type_safe
Zero overhead utilities for preventing bugs at compile time
Language: C++ - Size: 829 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 1,448 - Forks: 123
webNeat/wari
A type-safe way to create and handle errors.
Language: TypeScript - Size: 109 KB - Last synced: 22 days ago - Pushed: 6 months ago - Stars: 10 - Forks: 0
IsaacWoods/Roo
Little toy programming language with an x86_64 code generator
Language: C++ - Size: 2.42 MB - Last synced: 13 days ago - Pushed: over 6 years ago - Stars: 16 - Forks: 1
grid/firemodel
Cross-platform declarative models for GCP Firestore
Language: Go - Size: 7.9 MB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 12 - Forks: 3
orourkek/typesafe-ipc
A type-only library for adding strict typing to Electron's IPC modules
Language: TypeScript - Size: 380 KB - Last synced: 5 days ago - Pushed: over 1 year ago - Stars: 23 - Forks: 8
michaelolof/vue-literal-compiler
A Vue Compiler that allows you compile your string literals to render functions at build time and write components in SFC paradigm
Language: TypeScript - Size: 1.05 MB - Last synced: 12 days ago - Pushed: over 1 year ago - Stars: 149 - Forks: 4
jayrbolton/tipo
A Javascript type checking system with inference
Language: JavaScript - Size: 59.6 KB - Last synced: 27 days ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0
rustedpy/result
A simple Rust like Result type for Python 3. Fully type annotated.
Language: Python - Size: 189 KB - Last synced: 28 days ago - Pushed: about 2 months ago - Stars: 1,336 - Forks: 75
VoidLang/void
An open-source general-purpose programming language using the LLVM framework
Language: C++ - Size: 394 KB - Last synced: 7 days ago - Pushed: 5 months ago - Stars: 18 - Forks: 1
lewis-wow/ptsq
Public type-safe query
Language: TypeScript - Size: 44 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0
wemake-services/safe-assert
Safe and composable assert for Python that can be used together with optimised mode
Language: Python - Size: 361 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 16 - Forks: 1
danielnixon/eslint-plugin-total-functions
An ESLint plugin to enforce the use of total functions (and prevent the use of partial functions) in TypeScript.
Language: TypeScript - Size: 3.02 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 86 - Forks: 5
NotBobTheBuilder/miller
Miller
Language: Scala - Size: 62.5 KB - Last synced: about 1 month ago - Pushed: about 8 years ago - Stars: 2 - Forks: 0
Ponyboy47/Pathman
Swift type-safe path, file, and directory library using POSIX C APIs
Language: Swift - Size: 620 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 10 - Forks: 3
millsp/ts-toolbelt
👷 TypeScript's largest type utility library
Language: TypeScript - Size: 38.2 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 6,428 - Forks: 147
dry-python/returns
Make your functions return something meaningful, typed, and safe!
Language: Python - Size: 4.63 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3,255 - Forks: 106
paholg/dimensioned
Compile-time dimensional analysis for various unit systems using Rust's type system.
Language: Rust - Size: 456 KB - Last synced: 6 days ago - Pushed: over 1 year ago - Stars: 296 - Forks: 23
HeinrichApfelmus/vault
A typed, persistent store for values of arbitrary types
Language: C - Size: 92.8 KB - Last synced: 15 days ago - Pushed: 3 months ago - Stars: 60 - Forks: 19
CrafterSvK/cheetah
Small, modulable microframework.
Language: PHP - Size: 140 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
DominoKit/domino-ui
Domino-ui
Language: Java - Size: 37.1 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 210 - Forks: 42
Lindeneg/cl-fill-link 📦
Fill dynamic links in a type-safe way
Language: TypeScript - Size: 85 KB - Last synced: 16 days ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 0
iwill/generic-json-swift
A simple Swift library for working with generic JSON structures
Language: Swift - Size: 85 KB - Last synced: 1 day ago - Pushed: over 1 year ago - Stars: 174 - Forks: 28
epfldata/squid
Squid – type-safe metaprogramming and compilation framework for Scala
Language: Scala - Size: 4.33 MB - Last synced: 22 days ago - Pushed: 3 months ago - Stars: 196 - Forks: 14
janjakubnanista/ts-type-checked
Runtime duck type checking utilities for TypeScript.
Language: TypeScript - Size: 3.74 MB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 84 - Forks: 5
maxim2266/stout
Package stout (STream OUTput): writing byte streams in a type-safe and extensible way.
Language: Go - Size: 34.2 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 6 - Forks: 0
broo2s/typedmap
Type-safe heterogeneous map in Kotlin
Language: Kotlin - Size: 80.1 KB - Last synced: 27 days ago - Pushed: almost 3 years ago - Stars: 38 - Forks: 2
chinloyal/lavuet
Laravel, Vue, TypeScript Start Template for full stack development
Language: PHP - Size: 3.72 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0
MehrajLatifli/KotlinLesson1
Example for Kotlin Lesson
Language: Kotlin - Size: 10.7 KB - Last synced: 21 days ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
stackbuilders/assertive-ts
A type-safe fluent assertion library written in TypeScript and inspired by Jest assertions and the popular AssertJ
Language: TypeScript - Size: 8.09 MB - Last synced: 5 days ago - Pushed: about 2 months ago - Stars: 31 - Forks: 1
Ff00ff/mammoth
A type-safe Postgres query builder for TypeScript.
Language: TypeScript - Size: 2.25 MB - Last synced: 12 days ago - Pushed: 7 months ago - Stars: 492 - Forks: 25
sindresorhus/Percentage
A percentage type for Swift
Language: Swift - Size: 25.4 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 269 - Forks: 24
skinny85/jilt
Java annotation processor for auto-generating Builder (including Staged Builder) pattern classes
Language: Java - Size: 430 KB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 177 - Forks: 13
roudikk/guia
Navigation Component for Jetpack Compose with support for screens, dialogs, bottomsheets, transitions and multi module projects
Language: Kotlin - Size: 126 MB - Last synced: 27 days ago - Pushed: 4 months ago - Stars: 163 - Forks: 6
nuxed/json
The Nuxed Json component provides functions that help you encode, and decode json structures safely.
Language: Hack - Size: 21.5 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
gajus/flow-runtime
A runtime type system for JavaScript with full Flow compatibility.
Language: JavaScript - Size: 17.7 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 802 - Forks: 57
blue-rpc/bluerpc
Golang library for end-to-end Go-Typescript type safety.
Language: Go - Size: 195 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 66 - Forks: 3
johnthagen/sealed-typing-pep
A PEP to add a `@sealed` typing decorator to Python
Size: 79.1 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 20 - Forks: 0
jondgoodwin/cone
Cone Programming Language
Language: C - Size: 23.4 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 503 - Forks: 17
bnomei/kirby-blueprints
Kirby Ink - PHP Class based Blueprints for Kirby CMS
Language: PHP - Size: 320 KB - Last synced: 13 days ago - Pushed: about 2 months ago - Stars: 15 - Forks: 0
graphql-nexus/nexus-plugin-prisma
Deprecated
Language: TypeScript - Size: 5.07 MB - Last synced: about 14 hours ago - Pushed: about 15 hours ago - Stars: 833 - Forks: 119
massivemadness/Fragula
🧛 Fragula is a swipe-to-dismiss extension for navigation component library for Android
Language: Kotlin - Size: 53.1 MB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 320 - Forks: 18
vitorsvieira/dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Language: Scala - Size: 186 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 81 - Forks: 5
samuelgiles/sorbet-struct-comparable
Comparable T::Struct's for the equality focused typed Ruby developer.
Language: Ruby - Size: 359 KB - Last synced: 28 days ago - Pushed: about 1 year ago - Stars: 28 - Forks: 5
ktsn/vuex-smart-module
Type safe Vuex module with powerful module features
Language: TypeScript - Size: 2.05 MB - Last synced: 27 days ago - Pushed: over 1 year ago - Stars: 382 - Forks: 19
mockdeep/typewiz 📦
Automatically discover and add missing types in your TypeScript code
Language: TypeScript - Size: 1.73 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 1,100 - Forks: 45
arturbac/conceptstl
conceptstl: Enhancing STL with C++ Concepts for Better Type Safety and Error Messages
Language: CMake - Size: 27.3 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0
brunotot/tsvdec
🚀 TypeScript model validation with stage 3 decorators 🚀
Language: TypeScript - Size: 3.34 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
pointfreeco/swift-tagged
🏷 A wrapper type for safer, expressive code.
Language: Swift - Size: 145 KB - Last synced: 2 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: 2 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: 4 days ago - Pushed: about 1 month ago - Stars: 135 - Forks: 47
olshevski/compose-navigation-reimagined
🌈 Type-safe navigation library for Jetpack Compose
Language: Kotlin - Size: 1.28 MB - Last synced: 2 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: 13 days ago - Pushed: 6 months ago - Stars: 146 - Forks: 12
SciNim/Unchained
A fully type safe, compile time only units library.
Language: Nim - Size: 453 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 101 - Forks: 0
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 1 month ago - Pushed: about 1 month ago - Stars: 7 - Forks: 1