Topic: "type-safe"
Zaid-Ajaj/Cable 📦
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
Language: C# - Size: 16.7 MB - Last synced at: 4 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1

spewspews/avl
A fully generic type safe data structure
Language: Go - Size: 31.3 KB - Last synced at: 11 months ago - Pushed at: about 8 years ago - Stars: 10 - Forks: 0

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

kysely-org/kysely-singlestore
Kysely dialects, plugins and other goodies for Singlestore (formerly MemSQL)
Language: TypeScript - Size: 412 KB - Last synced at: 19 days ago - Pushed at: 10 months ago - Stars: 9 - Forks: 1

mechsym/FSharp.Data.NpgsqlGenerator
Lightweight F# ORM solution for Postgres. A .NET SDK tool that emits testable F# code with type safety.
Language: F# - Size: 90.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0

Papierkorb/toka
A type-safe, object-oriented option parser
Language: Crystal - Size: 40 KB - Last synced at: 17 days ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 3

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: 43 minutes ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 0

Katrix/TypeNBT
A Scala NBT library that let's you focus on the data
Language: Scala - Size: 249 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 2

zaaack/immuter
**DEPRECATED** for https://github.com/hydux/hydux-mutator
Language: JavaScript - Size: 713 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 1

ohnosequences/cosas
necesito esas cosas raras con tipos
Language: Scala - Size: 3.07 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 1

TypedRest/TypedRest-DotNet
Build type-safe fluent-style JSON REST API clients with .NET
Language: C# - Size: 7.14 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 8 - Forks: 4

PT-Perkasa-Pilar-Utama/ppu-ocv
A type-safe, modular, chainable image processing library built on top of OpenCV.js with a fluent API leveraging pipeline processing.
Language: TypeScript - Size: 2.73 MB - Last synced at: 15 days ago - Pushed at: 20 days ago - Stars: 8 - Forks: 1

almondtools/xrayinterface
Convenient access to private members of Java classes (Java 8)
Language: Java - Size: 210 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 8 - Forks: 0

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

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

hunghg255/next-i18next-typesafe
next-i18next typesafe
Language: TypeScript - Size: 70.3 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 1

egemengol/spread
An in-process and in-memory PubSub, Broadcast, EventBus or Fanout implementation with type-safe topics implemented with generics. Respects context.
Language: Go - Size: 20.5 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

dotlas/cookiecutter-pypackage
👷🏾♀️ A cookiecutter template for modern python projects. Supports pnpm, conventional commits, git hooks, linters and more.
Language: Python - Size: 122 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0

conilas/grammar-experimentation
An experimental programming language containing a higher-order type system
Language: Raku - Size: 654 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 0

dn-m/NotationModel
Structures for describing music notational elements
Language: Swift - Size: 1.95 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 8 - Forks: 4

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

thaitype/terrakit
Single Codebase for all IAC condition – Terraform (CDKTF) Framework for TypeScript
Language: TypeScript - Size: 462 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 7 - Forks: 1

oviva-ag/spicegen
SpiceDB Client Generator for Java
Language: Java - Size: 7.07 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 1

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

MarioIannotta/Nomosi
Declarative plug and play network services for your iOS and MacOS apps
Language: Swift - Size: 5.51 MB - Last synced at: 14 days ago - Pushed at: 9 months ago - Stars: 7 - Forks: 1

drenther/use-custom-event
Type safe, validated at runtime (by Zod) event emitter and listener hooks for React
Language: TypeScript - Size: 70.3 KB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 7 - Forks: 1

brielov/publer
A tiny, type-safe pubsub library
Language: TypeScript - Size: 200 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

reactwaylabs/typed-i18next
Type-safe translations generator for i18next.
Language: TypeScript - Size: 1.05 MB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 3

SwiftsNamesake/proper-keyboard
No one should ever have to memorise or look up key codes. Seriously.
Language: Elm - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 3

alkamauss/mauss
lightweight, modular, type-safe utilities — zero dependencies
Language: TypeScript - Size: 511 KB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 6 - Forks: 0

a-rustacean/rusty-razorpay
unofficial Rust SDK for Razorpay, currently a work in progress.
Language: Rust - Size: 599 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 6 - Forks: 0

thihathit/rutter
Type-safe framework-agnostic Router, built with URLPattern & History API.
Language: TypeScript - Size: 284 KB - Last synced at: 19 days ago - Pushed at: 21 days ago - Stars: 6 - Forks: 1

ligomoku/gomoku
Gomoku Online Platform
Language: TypeScript - Size: 98 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 6 - Forks: 0

JoseLion/ts-routeways
A type-safe solution to define and consume routes
Language: TypeScript - Size: 7.21 MB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 6 - Forks: 0

rpeszek/typed-encoding
Type safe string restrictions and transformations
Language: Haskell - Size: 454 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

mattfletcher94/twrpc
twRPC is a library for creating type-safe, strongly-typed, and easy-to-use RPCs in TypeScript. It is designed to be used in web workers.
Language: TypeScript - Size: 102 KB - Last synced at: 29 days ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

uinz/lid
https://uinz.github.io/lid Type-Safe NodeJS HTTP Framework
Language: TypeScript - Size: 424 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 0

styfle/typed-tmpl 📦
🛡A typed, template module using ES6 Tagged Template Strings with TypeScript
Language: JavaScript - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: about 9 years ago - Stars: 6 - Forks: 0

dshe/StringEnums
A simple and flexible alternative to System.Enum based on strings.
Language: C# - Size: 124 KB - Last synced at: 21 days ago - Pushed at: 7 months ago - Stars: 5 - Forks: 0

edumarques/typed-collections
Typed collections are an implementation of typed lists. Collections allow us to have traversable lists of a predetermined type and its subtypes. Its behavior prevents the looseness of arrays in PHP.
Language: PHP - Size: 77.1 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

Raiondesu/eventhoven
Event manager that composes events effortlessly 🎵
Language: TypeScript - Size: 2.29 MB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1

RobusGauli/typemyjs
A 🎉🎉Type Definition Wrapper 🎉 🎉 for Javascript that enforces types during runtime.
Language: TypeScript - Size: 189 KB - Last synced at: 28 days ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

TypedRest/TypedRest-TypeScript
Build type-safe fluent-style JSON REST API clients with TypeScript
Language: TypeScript - Size: 600 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 4 - Forks: 3

type-hub/re-action
🛠️ Your toolbox for working with React's useReducer hook 🪝
Language: TypeScript - Size: 159 KB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

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

Bethel-nz/tea
a type safe data fetching client that utilizes zod for parsing api endpoints and responses
Language: TypeScript - Size: 43.9 KB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 0

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: 1 day ago - Pushed at: 6 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: 7 months ago - Stars: 4 - Forks: 1

kamiazya/connectable-io
POC Stage
Language: TypeScript - Size: 555 KB - Last synced at: 10 days ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

Lindeneg/cl-fill-link 📦
Fill dynamic links in a type-safe way
Language: TypeScript - Size: 85 KB - Last synced at: 4 days ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

pedrolcn/time-safe
type-safe interval API
Language: TypeScript - Size: 16.6 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

duart38/Interpolate
Very simple (and small) text interpolator
Language: TypeScript - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

amarshall/boiga
Type-safe functional programming for Python
Language: Python - Size: 28.3 KB - Last synced at: 14 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0

kevinpollet/option.ts
Option monad for TypeScript
Language: TypeScript - Size: 314 KB - Last synced at: 16 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0

helpermethod/gscope
Kotlin's scoping functions for Groovy.
Language: Groovy - Size: 72.3 KB - Last synced at: 2 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0

edumarques/dynamophp
DynamoPHP is a lightweight, strongly-typed Object Data Mapper designed to simplify development with Amazon DynamoDB.
Language: PHP - Size: 80.1 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 3 - Forks: 0

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

greynewell/schema-driven-astro-starter
Generated Astro site from graph schema defined in Decap CMS.
Language: Astro - Size: 306 KB - Last synced at: 3 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 0

ysden123/poc
POC projects
Language: Java - Size: 15.9 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

jfjlaros/textparser
Line based text parser.
Language: C++ - Size: 59.6 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

HassanAlgoz/cgapis
Generates client-side & server-side code from API specification files
Language: JavaScript - Size: 176 KB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

BurraAbhishek/pgn_printable_scoresheet
Generate printable PDFs of PGN scoresheets of chess games
Language: TypeScript - Size: 1.44 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

binaryscraping/swift-cache
A type-safe swifty wrapper around NSCache.
Language: Swift - Size: 11.7 KB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

CaringDev/FsUnit.xUnit.Typed
Painless, strongly-typed xUnit testing in F#
Language: F# - Size: 227 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 2

betafcc/red
Type-safe, composable, boilerplateless reducers
Language: TypeScript - Size: 3.95 MB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

honnix/rkt-launcher 📦
Fork rkt process from JVM in a type-safe way
Language: Java - Size: 177 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 1

Khushal-ag/react-template-viteTs
A Minimal ⚛️ React Starter Template with Vite, TailwindCSS, and Typescript pre-configured with ESLint and Prettier.
Language: TypeScript - Size: 532 KB - Last synced at: about 8 hours ago - Pushed at: about 9 hours ago - Stars: 2 - Forks: 1

senthilvsh/saffron
Saffron is a simple, type-safe, general-purpose programming language.
Language: Java - Size: 149 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 1

baboon-king/nameof
A tiny utility for safely extracting property names from TypeScript objects — inspired by C#'s nameof operator.
Language: TypeScript - Size: 20.5 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 2 - Forks: 0

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

ihamadfuad/DynamicJSON
💡 A smart and resilient JSON decoder for Swift that supports fuzzy key matching, dot-path access, and automatic type casting — perfect for dynamic or inconsistent APIs.
Language: Swift - Size: 36.1 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 2 - Forks: 0

loom-agents/schema
JSON Schemas, now.
Language: TypeScript - Size: 85.9 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

guangrei/syncio
type safety for synchronous concurrent task
Language: Python - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - 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: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

DevilTea/tiny-pipe
A pipe function builder with tiny size and type-safe.
Language: TypeScript - Size: 250 KB - Last synced at: 20 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

MegalithOfficial/meg.db-light
MegDB-light, A lightweight TypeScript database module providing a type-safe API for efficient data storage and retrieval. Easily extendable with custom drivers, including a built-in JSONDriver.
Language: TypeScript - Size: 44.9 KB - Last synced at: 15 days ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

ortense/functors
A collection of dependency-free functors written in TypeScript, created to be type-safe, immutable, and lightweight.
Language: TypeScript - Size: 1.3 MB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

forcir/object-deep-merge
Strongly-typed deep and recursive object merging with support for all value types.
Language: TypeScript - Size: 364 KB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

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

rainerzufalldererste/sformat
An easily-integrable, extendable, typesafe, UTF-8 compliant, non-copyleft string formatter for C++17
Language: C++ - Size: 1.82 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

lue-bird/elm-typesafe-array
`Array` with a typed length range → safe access
Language: HTML - Size: 902 KB - Last synced at: 10 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

DrafaKiller/Thread-dart
A simple Isolated Thread wrapped with a type-safe Event Emitter for easier asynchronous communication. Setup events for the thread to reply to, or compute tasks individually.
Language: Dart - Size: 43 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

fixpoint/vuex-namespace-accessor
Vuex namespaced module accessor with type safety
Language: TypeScript - Size: 5.16 MB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

toreda/strong-types
Automated type checks and guaranteed return types with 1 line of code. Say goodbye to reference errors from unexpected types. Write less validation code and improve quality.
Language: TypeScript - Size: 1.62 MB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

ydcjeff/komando
コマンド – Type safe CLI devtool for Deno and Node
Language: TypeScript - Size: 82 KB - Last synced at: 14 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

matt-usurp/pilgrim 📦
🙇 A complete type-safe implementation of middleware and handlers for serverless functions.
Language: TypeScript - Size: 994 KB - Last synced at: about 16 hours ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

vmagamedov/strictconf
Configuration library with type-checking and composition instead of inheritance
Language: Python - Size: 30.3 KB - Last synced at: 16 days ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

mono0926/typed_asset
[WIP] The Dart code generator for your assets. - Get rid of all String-based APIs!
Language: Dart - Size: 2.93 KB - Last synced at: 28 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

Creepsky/Nexus
The simple yet powerful system programming language
Language: C# - Size: 3.07 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

karandit/terramake
Type-safe Infrastructure-as-Code
Language: JavaScript - Size: 15.6 KB - Last synced at: 21 days ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1

FWEugene/SwiftKeyValueStore
Language: Swift - Size: 365 KB - Last synced at: 25 days ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 2

ghaerdi/rustify
Rust-like error handling for TypeScript with Result, Ok, and Err types.
Language: TypeScript - Size: 58.6 KB - Last synced at: 1 day ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0

edumarques/dynamophp-symfony
DynamoPHP Symfony Bundle integrates DynamoPHP into Symfony applications, providing seamless configuration and service registration.
Language: PHP - Size: 95.7 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1 - Forks: 0

jill64/ts-cli
> Solidly-Typed CLI Router
Language: TypeScript - Size: 654 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0

Snowflyt/kind-adt
🪴 The kind of ADTs you can count on in TypeScript
Language: TypeScript - Size: 292 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

jill64/svelte-storage
🗃️ Type-Safe Web Storage API Wrapper for Svelte
Language: TypeScript - Size: 1.78 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

nberlette/is
Just another portable platform-agnostic package of high-performance type predicates. 🤪
Language: TypeScript - Size: 567 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 0

LuupSystems/globetrotter
Polyglot, type-safe i8n library.
Language: Rust - Size: 264 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

AidanHibbard/olallie
Simple, type-safe, state management.
Language: TypeScript - Size: 1020 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 1 - 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: 19 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
