typesafety

There are 1 repository under typesafety topic.

go-jet / jet
Type safe SQL builder with code generation and automatic query result data mapping
cockroachdb code-completion code-generator codegenerator database datamapper golang mariadb mysql postgres postgresql sql sql-builder sql-queries sql-query sql-query-builder sqlbuilder sqlite typesafe typesafety
Language:Go 2337
nutype
greyblake / nutype
Rust newtype with guarantees 🇺🇦 🦀
data data-structures macro macros newtype rust rust-lang rust-library sanitization sanitizer typesafety validation validator web invariant invariants invariance
Language:Rust 1339
dry-python / classes
Smart, pythonic, ad-hoc, typed polymorphism for Python
python python3 mypy mypy-stubs mypy-plugins pep561 fp typesafety typeclasses
Language:Python 652
malcommac / FlowKit
A declarative type-safe framework for building fast and flexible list with Tables & Collection
declarative uitableview uicollectionview typesafe autolayout typesafety datasource delegate
Language:Swift 211
jitar
MaskingTechnology / jitar
Distributed runtime for JavaScript and TypeScript
full-stack microservices typesafety typescript api-automation backend framework-agnostic intellisense platform-agnostic rpc javascript nodejs end-to-end intellisense-support deserializer load-balancing multi-version orchestration segmentation serializer
Language:TypeScript 121
ktsn / vue-typed-mixins
Type safe Vue.js mixins
vue typescript typesafety mixins
Language:JavaScript 107
mamba
JSAbrahams / mamba
🐍 The Mamba programming language, because we care about safety
language python rust compiler typesafety typechecker
Language:Rust 85
mooxl / astroad
A pre-configured setup for easy website development with Astro and Payload CMS using Docker.
astro docker mongodb nodejs payload-template self-hosted typesafety typescript
Language:TypeScript 84
WimJongeneel / ts-pattern-matching
Pattern matching in TS with Record Patterns, Type Patterns, type inference and more
typescript pattern-matching typesafety functional-programming
Language:TypeScript 67
vaslabs / sbt-kubeyml
Sbt plugin to help deploy Scala applications to Kubernetes
kubernetes kubernetes-deployment scala sbt sbt-plugin typesafety docker sbt-kubeyml kubernetes-ingress kubernetes-service ingress gitlab-ci akka-cluster kubernetes-manifests
Language:Scala 38
deeplook / ipyrest
An emerging widget for exploring RESTful APIs in Jupyter notebooks.
rest restful api postman jupyter ipywidget widget notebook mime-types python3 typesafety http binder-ready
Language:Python 29
Kotlang / gospars
Minimalistic Single Page Application Framework for GOPHERJS
single-page-applications typesafety gopherjs
Language:Go 29
cesarsalesgomes / dna
Start a new webapp with fullstack typesafety, with Directus providing the database sdk to Nest & React/Svelte
nestjs graphql typescript directus react typesafe typesafety nest svelte
Language:TypeScript 28
liamwh / surreal-id
Create custom ID types that are guaranteed to be valid RecordIDs in SurrealDB
rust surrealdb typesafety
Language:Rust 16
afsalthaj / safe-string-interpolation
A type driven approach to string interpolation, aiming at consistent, secure, and only-human-readable logs and console outputs !
automatic derviation fp functional-programming interpolation logging macros scala string string-manipulation typeclass typesafety
Language:Scala 14
davidnemeti / Sarcasm
Sarcasm is an SDK for creating typesafe, domain-bound grammars. It also has a grammar driven general unparser.
ast compile-time-safety grammar parser typesafety unparser domain-binding
Language:C# 8
elchemy / elchemy-live
Elchemy live - web Elchemy editor and compilator
elchemy elixir-lang elm-lang typesafety web-ide
Language:Elm 7
JoseLion / ts-routeways
A type-safe solution to define and consume routes
codecs querystring router routes typesafe typesafety typescript react type-safe hacktoberfest hacktoberfest2022 routing routeways query-params
Language:TypeScript 6
filipkastovsky / typelink
Type-safe autocomplete for all your paths!
paths router typesafety typescript
Language:TypeScript 5
gonzula / Awesome-swift-types
A list of awesome value types in Swift, for a more type safe code
awesome awesome-list awesome-swift typesafety ios macos swift swift-extensions
Language:Swift 5
YannBirba / vps-panda-css
Panda CSS integration with vite-plugin-ssr example
chakra chakra-ui react reactjs ssg ssr vite vite-plugin-ssr vite-ssg vite-ssr panda-css pandacss css prerender styling typesafe typesafety
Language:TypeScript 5
anasmohammed361 / sveltekit-rest
A Simple wrapper for Sveltekit Api Routes , With Typesafe client .
api restful-api sveltekit typesafety typescript zod
Language:TypeScript 4
danielchappell / maybe-not
Typescript Maybe<Library<Greatness>>
typescript maybe typesafety type option-type monad
Language:TypeScript 4
borislavvp / electron-tipc
Typesafe extension for Electron's IPC API.
electron icp typesafety typescript
Language:TypeScript 3
loicknuchel / SafeQL
A Scala DSL to build typesafe SQL queries on top of Doobie
database scala sql typesafety
Language:Scala 3
nickffox / IdentifierKit
Strongly typed identifiers for Swift projects
swift swift4 ios swift-framework typesafety
Language:Swift 3
nlfmt / stormdb
Simple but feature rich JSON database for NodeJS. Supports custom class serialization and deserialization, advanced querying, and more.
database electron json node typesafety typescript javascript nodejs orm
Language:TypeScript 3
noam-isaac / make-typesafe-middleware
Easy TypeSafety for your Express middlewares, using Zod!
express typesafety validation zod
Language:TypeScript 3
poppa / safe-result
Value that is either a success or failure
typescript nodejs js javascript-library typesafety
Language:TypeScript 3
zehanort / rvg
A random values generator for any data type in Python 3
python python3 python-3 types typesafety typesafe random-number-generators random randomizer random-generation numpy numpy-arrays
Language:Python 3
2coo / graphql-code-first-approach
Boost - GraphQL Talk by Experts: Code-first approach
code-first-approach graphql graphql-codegen graphql-fragment pothos-graphql typesafety
Language:TypeScript 2
arstnei0 / zenum
A better enum for simplicity and typesafety.
enum ts typesafety typescript
Language:TypeScript 2
duck-types-php
attitude / duck-types-php
If it walks like a duck and talks like a duck, treat it like a duck, even if it’s not a duck — a dynamic typing for PHP inspired by Flow types
dynamic-type dynamic-types dynamic-typing experimental php php-library php7 type-safety typesafety
Language:PHP 2
py-codeforces
halfstackpgr / py-codeforces
💻 Py-Codeforces is a super-fast and type-safe focused library to interact with Codeforces with two clients, asynchronous and synchronous. The fields are used as it is.
code codeforces codeforces-api coding-standards codingcommunity python typesafety
Language:Python 2
JakesMD / typesafe-supabase
A dart package that enables type-safe queries to a Supabase database.
dart postgres supabase typesafety
Language:Dart 2
hypotenuse
propensive / hypotenuse
A rigorous and consistent foundation for numerical and arithmetic programming
arithmetic bitwise-operations scala typesafety unsigned-integers
Language:Scala 2

typesafety

go-jet / jet

greyblake / nutype

dry-python / classes

malcommac / FlowKit

MaskingTechnology / jitar

ktsn / vue-typed-mixins

JSAbrahams / mamba

mooxl / astroad

WimJongeneel / ts-pattern-matching

vaslabs / sbt-kubeyml

deeplook / ipyrest

Kotlang / gospars

cesarsalesgomes / dna

liamwh / surreal-id

afsalthaj / safe-string-interpolation

davidnemeti / Sarcasm

elchemy / elchemy-live

JoseLion / ts-routeways

filipkastovsky / typelink

gonzula / Awesome-swift-types

YannBirba / vps-panda-css

anasmohammed361 / sveltekit-rest

danielchappell / maybe-not

borislavvp / electron-tipc

loicknuchel / SafeQL

nickffox / IdentifierKit

nlfmt / stormdb

noam-isaac / make-typesafe-middleware

poppa / safe-result

zehanort / rvg

2coo / graphql-code-first-approach

arstnei0 / zenum

attitude / duck-types-php

halfstackpgr / py-codeforces

JakesMD / typesafe-supabase

propensive / hypotenuse