GitHub topics: type-safe
pointfreeco/swift-structured-queries
Truly type-safe SQL
Language: Swift - Size: 87.9 KB - Last synced at: about 5 hours ago - Pushed at: about 5 hours ago - Stars: 15 - Forks: 0

Khushal-ag/react-template-viteTs
A Minimal βοΈ React Starter Template with Vite, TailwindCSS, and Typescript pre-configured with ESLint and Prettier.
Language: TypeScript - Size: 512 KB - Last synced at: about 16 hours ago - Pushed at: about 17 hours ago - Stars: 2 - Forks: 0

LuupSystems/globetrotter
Polyglot, type-safe internationalization
Language: Rust - Size: 84 KB - Last synced at: about 21 hours ago - Pushed at: about 22 hours ago - Stars: 1 - Forks: 0

arturbac/simple_enum
SimpleEnum: An Fast, Intuitive and Type-Safe C++ Enumeration Support Library
Language: C++ - Size: 356 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 33 - Forks: 2

fabian-hiller/valibot
The modular and type safe schema library for validating structural data π€
Language: TypeScript - Size: 11.2 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 7,466 - Forks: 240

ariebovenberg/whenever
β° Modern datetime library for Python
Language: Python - Size: 1.62 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1,957 - Forks: 25

Snowflyt/kind-adt
πͺ΄ The kind of ADTs you can count on in TypeScript
Language: TypeScript - Size: 103 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

jill64/typed-storage
ποΈ Type-Safe Web Storage API Wrapper
Language: TypeScript - Size: 873 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

jill64/attempt
π Type safe error handling in one-line
Language: TypeScript - Size: 688 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

jill64/ts-serde
πΆ Typed Serialization and Deserialization
Language: TypeScript - Size: 377 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 3 - Forks: 1

softwaremill/tapir
Rapid development of self-documenting APIs
Language: Scala - Size: 19.4 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 1,403 - Forks: 436

Zaid-Ajaj/Fable.Remoting
Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps
Language: F# - Size: 31.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 277 - Forks: 57

go-sqlt/sqlt
A Go Template-Based SQL Builder and Struct Mapper
Language: Go - Size: 367 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 33 - Forks: 0

nobl9/govy
Go validation library with functional API built on top of generics, statically typed and batteries included :fire:
Language: Go - Size: 660 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 35 - Forks: 0

typesafegithub/github-workflows-kt
Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!
Language: Kotlin - Size: 20.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 586 - Forks: 24

kysely-org/kysely
A type-safe typescript SQL query builder
Language: TypeScript - Size: 48.7 MB - Last synced at: 4 days ago - Pushed at: 6 days ago - Stars: 11,780 - Forks: 302

fabian-hiller/modular-forms
The modular and type-safe form library for SolidJS, Qwik and Preact
Language: TypeScript - Size: 2.12 MB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 1,140 - Forks: 57

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: 133 MB - Last synced at: 4 days ago - Pushed at: 11 days ago - Stars: 143 - Forks: 3

lichess-org/lila
β lichess.org: the forever free, adless and open source chess server β
Language: Scala - Size: 528 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 16,490 - Forks: 2,373

LeoVen/C-Macro-Collections
Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C
Language: C - Size: 4.35 MB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 558 - Forks: 40

hypernym-studio/merge
Type-safe deep merge utility.
Language: TypeScript - Size: 96.7 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

stacksjs/stacks
βοΈ Modern full-stack framework. Develop powerful apps, clouds & framework-agnostic librariesβfaster.
Language: TypeScript - Size: 123 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 573 - Forks: 11

jill64/ts-cli
οΌ Solidly-Typed CLI Router
Language: TypeScript - Size: 635 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

jill64/transform
π Extended map functions for some JS objects
Language: TypeScript - Size: 327 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

letstri/permix
π Permix is a lightweight, framework-agnostic, type-safe permissions management library for JavaScript applications on the client and server sides.
Language: TypeScript - Size: 1.12 MB - Last synced at: 6 days ago - Pushed at: 10 days ago - Stars: 31 - Forks: 0

jill64/svelte-storage
ποΈ Type-Safe Web Storage API Wrapper for Svelte
Language: TypeScript - Size: 1.85 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

mikestefanello/hooks
Simple, type-safe hook system to enable easier modularization of your Go code.
Language: Go - Size: 31.3 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 96 - Forks: 3

Snowflyt/megamatch
Painless pattern matching in TypeScript with type safety and minimalistic syntax
Language: TypeScript - Size: 170 KB - Last synced at: 8 days ago - Pushed at: 11 days ago - Stars: 22 - Forks: 0

jill64/svelte-baked-cookie
πͺ Universal accessible hard-baked cookies for SvelteKit
Language: TypeScript - Size: 2.68 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0

felipebarcelospro/igniter-js
Igniter is a modern, type-safe HTTP framework designed to streamline the development of scalable TypeScript applications.
Language: TypeScript - Size: 155 KB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 53 - Forks: 0

mateenagy/vue-formify
Build powerful, type-safe forms in Vue.
Language: TypeScript - Size: 676 KB - Last synced at: about 5 hours ago - Pushed at: 20 days ago - Stars: 51 - Forks: 1

imhonglu/new-wheels
A strongly-typed typescript library
Language: TypeScript - Size: 3.52 MB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 12 - Forks: 0

leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
Language: OCaml - Size: 14.3 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 1,075 - Forks: 25

kakasoo/proto-typescript
Utility types and implementations based on JavaScript prototypes.
Language: TypeScript - Size: 314 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 16 - Forks: 0

cermakjiri/idb-stores
Strongly typed IndexedDB stores with Zod. Store can present an arbitrary object schema.
Language: TypeScript - Size: 1.1 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

Sikessem/Core
The core of @Sikessem.
Language: PHP - Size: 250 KB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

daltonmenezes/interprocess
π¬βA scalable and type-safe Electron IPC management tool with enhanced DX
Language: TypeScript - Size: 836 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 105 - Forks: 2

a2lix/schemql
A lightweight TypeScript library that enhances your SQL workflow by combining raw SQL with targeted type safety and schema validation
Language: TypeScript - Size: 109 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 24 - Forks: 0

TypedRest/TypedRest-TypeScript
Build type-safe fluent-style JSON REST API clients with TypeScript
Language: TypeScript - Size: 642 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 4 - Forks: 3

sahandnayebaziz/Hypertext π¦
Any-way-you-want-it, type-safe HTML in Swift.
Language: Swift - Size: 2.03 MB - Last synced at: 15 days ago - Pushed at: over 7 years ago - Stars: 233 - Forks: 12

busy-hour-studio/blaze
Event Driven Framework for @honojs/hono
Language: TypeScript - Size: 4.23 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 8 - Forks: 0

Zaid-Ajaj/Feliz
A fresh retake of the React API in Fable and a collection of high-quality components to build React applications in F#, optimized for happiness
Language: F# - Size: 11.5 MB - Last synced at: 8 days ago - Pushed at: 6 months ago - Stars: 563 - Forks: 86

otavia-projects/otavia
Your shiny new IO & Actor programming model!
Language: Scala - Size: 40.6 MB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 39 - Forks: 3

fenok/react-router-typesafe-routes
Enhanced type safety via validation for all route params in React Router v7.
Language: TypeScript - Size: 137 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 159 - Forks: 3

jstachio/jstachio
Java type safe statically compiled mustache
Language: Java - Size: 2.61 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 289 - Forks: 11

01Joseph-Hwang10/cafe24.js
Cafe24μμ μ 곡νλ APIλ₯Ό JS/TS νλ‘μ νΈμμ type-safeνκ² νμ©ν μ μλλ‘ νκΈ° μν΄ κ°λ°ν λΌμ΄λΈλ¬λ¦¬μ λͺ¨μμ λλ€.
Language: TypeScript - Size: 1.16 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

apioo/psx-sql
Generate type-safe PHP classes from your database
Language: PHP - Size: 394 KB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 1

dtanglr/Primitively
Primitively is a powerful C# source generator that transforms primitive identifiers and value objects into highly performant, customisable, read-only struct values that support ASP.NET model binding and validation (including FluentValidation), Open API standards, JSON and MongoDB BSON serialization, with zero or minimal configuration.
Language: C# - Size: 1.28 MB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0

sondr3/radiant
Blaze your way through HTML using the type-safety of TypeScript
Language: TypeScript - Size: 312 KB - Last synced at: 13 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1

loderunner/typelit
A type-safe string templating library for TypeScript
Language: TypeScript - Size: 330 KB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 1

igalklebanov/kysely-surrealdb
Kysely dialects, plugins and other goodies for SurrealDB
Language: TypeScript - Size: 359 KB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 72 - Forks: 2

loom-agents/schema
JSON Schemas, now.
Language: TypeScript - Size: 50.8 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0

japgolly/scalacss
Super type-safe CSS for Scala and Scala.JS.
Language: Scala - Size: 12.3 MB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 339 - Forks: 44

sistracia/rss-bookmarkr
Bookmark your favorite RSS feeds
Language: F# - Size: 719 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0

p-ranav/structopt
Parse command line arguments by defining a struct
Language: C++ - Size: 648 KB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 489 - Forks: 27

nberlette/is
Just another portable platform-agnostic package of high-performance type predicates. π€ͺ
Language: TypeScript - Size: 0 Bytes - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0

alickbass/SwiftyJSONModel
Better way to use SwiftyJSON with custom models
Language: Swift - Size: 145 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 29 - Forks: 11

type-hub/re-action
π οΈ Your toolbox for working with React's useReducer hook πͺ
Language: TypeScript - Size: 77.1 KB - Last synced at: 13 days ago - Pushed at: 24 days ago - Stars: 4 - Forks: 0

juancarlospaco/faster-than-csv
Faster CSV for Python
Language: Python - Size: 15.5 MB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 102 - Forks: 8

tidwall/bgen
B-tree generator for C
Language: C - Size: 3.97 MB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 130 - Forks: 11

odata2ts/odata2ts
Flexible generator to produce various TypeScript artefacts (from simple model interfaces to complete odata clients) from OData metadata files
Language: TypeScript - Size: 6.77 MB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 110 - Forks: 15

oreshinya/all-ok
Validate anything simply and type-safely.
Language: TypeScript - Size: 481 KB - Last synced at: 16 days ago - Pushed at: 26 days ago - Stars: 2 - Forks: 0

ArthurLumertz/DynArray
DynArray is a lightweight, type-flexible dynamic array implementation for C that automatically handles memory management and resizing while providing efficient random access to elements.
Language: C - Size: 6.84 KB - Last synced at: 15 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

karmakaze/safeql
Composable / async / functional / type-safe / parallel-pipelined queries and relations without SQL injection or N+1s.
Language: Java - Size: 234 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 14 - Forks: 2

sviperll/static-mustache
Template engine for java with statically checked and compiled templates. Compilation is performed alone with java sources.
Language: Java - Size: 150 KB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 29 - Forks: 5

doseofted/prim-rpc
Easy-to-understand, type-safe, transport-agnostic RPC/IPC for JavaScript, supporting callbacks, batching, file handling, custom serialization, and more.
Language: TypeScript - Size: 13.9 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 106 - Forks: 1

mpollmeier/gremlin-scala
[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL
Language: Scala - Size: 2.54 MB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 481 - Forks: 75

eduardoborges/react-typesafe-i18n
π€© A fully type-safe and lightweight React internationalization library for all your TS and JS projects.
Language: TypeScript - Size: 973 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 0

p-ranav/envy
envy: Deserialize environment variables into type-safe structs
Language: C++ - Size: 1.07 MB - Last synced at: 13 days ago - Pushed at: over 4 years ago - Stars: 67 - Forks: 3

nerdsupremacist/GraphZahl
A Framework to implement Declarative, Type-Safe GraphQL Server APIs using Runtime Magic π©
Language: Swift - Size: 3.7 MB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 145 - Forks: 9

s4cha/SQueaL
Type Safe SQL for Swift
Language: Swift - Size: 802 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0

Snowflyt/troza
Intuitive state management for React and Vanilla, easier than ever.
Language: TypeScript - Size: 1.02 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 0

thaitype/terrakit
Single Codebase for all IAC condition β Terraform (CDKTF) Framework for TypeScript
Language: TypeScript - Size: 436 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 1

hydux/hydux
A light-weight type-safe Elm-like alternative for Redux ecosystem, inspired by hyperapp and Elmish
Language: TypeScript - Size: 3.57 MB - Last synced at: 12 days ago - Pushed at: about 6 years ago - Stars: 219 - Forks: 7

AprilNEA/bullmq-zod
Type-safe BullMQ integration with Zod schema validation
Language: TypeScript - Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

pjechris/CohesionKit
Single source of truth library
Language: Swift - Size: 1.34 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 1

juancarlospaco/thatlib
Faster pathlib for Python
Language: Python - Size: 710 KB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 53 - Forks: 4

biggyspender/ts-functional-pipe
Heavily overloaded functions (pipe/compose) for type-safe function composition in TypeScript
Language: TypeScript - Size: 2.63 MB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 27 - Forks: 3

fizruk/free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
Language: Haskell - Size: 12.1 MB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 9 - Forks: 3

hecrj/composable-form
Build type-safe composable forms in Elm
Language: Elm - Size: 849 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 198 - Forks: 20

guangrei/syncio
type safety for synchronous concurrent task
Language: Python - Size: 12.7 KB - Last synced at: 27 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

guangrei/PhantomBrowser
Python wrapper for Phantomjs Cloud API
Language: Python - Size: 47.9 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

yukihiko-shinoda/yaml-dataclass-config
This project helps you to import config file writen by YAML to Python dataclass.
Language: Python - Size: 94.7 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 37 - Forks: 5

fpg1503/Caterpillar
π Caterpillar: Type-safe date formats in Swift, no more "yyyy-MM-dd'T'HH:mm:ssZ"
Language: Swift - Size: 28.3 KB - Last synced at: 7 days ago - Pushed at: about 8 years ago - Stars: 49 - Forks: 0

AidanHibbard/olallie
Simple, type-safe, state management.
Language: TypeScript - Size: 1020 KB - Last synced at: about 16 hours ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0

Ayub-Begimkulov/ts-get-set
100% Type safe get and set functions
Language: TypeScript - Size: 337 KB - Last synced at: 1 day ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 1

lilBunnyRabbit/event-emitter
A lightweight and type-safe EventEmitter implementation for TypeScript.
Language: TypeScript - Size: 40 KB - Last synced at: 22 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

shellkah/goutte
Thread-safe and type-safe cache implemented in Go. It provides fast point queries (Hashmap), precise TTLs (Heap-based) and auto eviction when the cache exceeds its capacity (LRU).
Language: Go - Size: 19.5 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0

slamko/ocadl
Blazingly type safe GPU accelerated Multi-Layer Perceptron
Language: OCaml - Size: 9.11 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

AtsuLeVrai/emitron
A modern, type-safe event emitter for Node.js and browsers. Built with pure ESM and the latest Node.js features. Inspired by EventEmitter3, Emittery, and Mitt, but designed for the modern TypeScript ecosystem.
Language: TypeScript - Size: 38.1 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

BiteCraft/rustato
Rustato: A powerful, thread-safe global state management library for Rust applications, offering type-safe, reactive state handling with an easy-to-use macro-based API.
Language: Rust - Size: 579 KB - Last synced at: about 15 hours ago - Pushed at: 8 months ago - Stars: 14 - Forks: 0

weroro-sk/safe-func
A collection of type-safe utility functions for binding, applying, calling, and executing functions in JavaScript and TypeScript. These functions ensure safe handling of context and arguments, providing fallback mechanisms for error handling and enhancing code reliability.
Language: TypeScript - Size: 78.1 KB - Last synced at: 10 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

LukasKalbertodt/confique
Type-safe, layered, light-weight, `serde`-based configuration library
Language: Rust - Size: 267 KB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 179 - Forks: 11

danielvigaru/check-type-of
Chainable JavaScript type checking
Language: TypeScript - Size: 375 KB - Last synced at: 3 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

DrafaKiller/EventEmitter-dart
A Event-based system, inspired by NodeJS's Event Emitter. Uses generic types to allow for multiple data types, while still being intuitive. Based on JavaScript and suitable for Dart and Flutter.
Language: Dart - Size: 89.8 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 13 - Forks: 4

neothXT/Snowdrop
Networking made easy
Language: Swift - Size: 143 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 54 - Forks: 5

dechristopher/lio
β lioctad.org: the forever free, adless and open source octad server
Language: TypeScript - Size: 222 MB - Last synced at: 1 day ago - Pushed at: 21 days ago - Stars: 7 - Forks: 0

MrBoomDeveloper/SafeArgsNext
Type-safe intents and bundles for activities and fragments.
Language: Kotlin - Size: 139 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

oyvindberg/typo
Typed Postgresql integration for Scala. Hopes to avoid typos
Language: Scala - Size: 26.4 MB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 104 - Forks: 11

rohanbimalraj/FontEnum
FontEnum is an example project showcasing the capabilities of Swift Package Plugins, specifically focusing on Build Tool Plugins. This project demonstrates how to automate the generation of type-safe font enums for custom fonts in iOS and macOS applications during the build process.
Language: Swift - Size: 4.88 KB - Last synced at: 29 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
