Projects in Awesome Lists tagged with type-safe
A curated list of projects in awesome lists tagged with type-safe .
https://github.com/lichess-org/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
chess free-software functional-programming game lichess non-profit play-framework scala type-safe typescript
Last synced: 13 May 2025
https://github.com/kysely-org/kysely
A type-safe TypeScript SQL query builder
browser bun database deno microsoft-sql-server mssql mysql nodejs postgresql query-builder sql sqlite type-safe typescript
Last synced: 12 May 2025
https://koskimas.github.io/kysely
A type-safe typescript SQL query builder
browser bun database deno microsoft-sql-server mssql mysql nodejs postgresql query-builder sql sqlite type-safe typescript
Last synced: 12 Dec 2024
https://github.com/fabian-hiller/valibot
The modular and type safe schema library for validating structural data 🤖
bundle-size modular parsing runtime schema type-safe typescript validation
Last synced: 12 May 2025
https://github.com/softwaremill/tapir
Rapid development of self-documenting APIs
akka akka-http declarative documentation functional-programming http http-client http-requests http-server http4s observability openapi play-framework scala sttp type-safe zio
Last synced: 13 May 2025
https://github.com/fabian-hiller/modular-forms
The modular and type-safe form library for SolidJS, Qwik and Preact
bundle-size form form-validation forms performance preact qwik signals solid type-safe typescript validation
Last synced: 10 Apr 2025
https://github.com/leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
caramel compiler elixir erlang functional-language ocaml type-safe
Last synced: 16 May 2025
https://github.com/ariebovenberg/whenever
⏰ Modern datetime library for Python, available in Rust or pure Python
cpython datetime mypy pure-python pypy python rfc3339 rust timezones type-safe utc utc-offsets
Last synced: 13 May 2025
https://github.com/stacksjs/stacks
⚛️ Modern full-stack framework. Develop powerful apps, clouds & framework-agnostic libraries—faster.
apps cloud desktop framework library mobile progressive stacks type-safe typescript web
Last synced: 12 Apr 2025
https://github.com/fable-hub/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
dsl elmish-applications fable feliz fsharp html react type-safe
Last synced: 01 May 2025
https://github.com/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
dsl elmish-applications fable feliz fsharp html react type-safe
Last synced: 13 Apr 2025
https://github.com/LeoVen/C-Macro-Collections
Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C
c containers data-structure data-structures datastructure datastructures deque hashmap heap library linkedlist list multimap multiset queue stack type-safe
Last synced: 17 Apr 2025
https://github.com/typesafegithub/github-workflows-kt
Authoring GitHub Actions workflows in Kotlin. You won't go back to YAML!
dsl github github-actions kotlin kotlin-script library type-safe workflows
Last synced: 16 Apr 2025
https://github.com/p-ranav/structopt
Parse command line arguments by defining a struct
argparse argument-parser arguments clap command-line cpp17 cross-platform header-library header-only library lightweight magic-enum mit-license modern-cpp reflection single-header-lib structopt type-safe type-safety visit-struct-library
Last synced: 08 Apr 2025
https://github.com/mpollmeier/gremlin-scala
[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL
graph graph-database graphdb gremlin scala type-safe
Last synced: 13 Apr 2025
https://github.com/japgolly/scalacss
Super type-safe CSS for Scala and Scala.JS.
css scala scalajs scalajs-react scalatags type-safe type-safety
Last synced: 13 Apr 2025
https://github.com/vmanot/SwiftDB
A modern database abstraction layer + runtime, batteries included [WIP].
attribute codable core-data coredata database dsl property-wrapper relationship runtime sql swift swiftui type-safe wrapper
Last synced: 02 Apr 2025
https://github.com/vmanot/swiftdb
A modern database abstraction layer + runtime, batteries included [WIP].
attribute codable core-data coredata database dsl property-wrapper relationship runtime sql swift swiftui type-safe wrapper
Last synced: 16 May 2025
https://github.com/simerplaha/swaydb
Persistent and in-memory key-value storage engine for JVM that scales on a single machine.
database embeddable in-memory java jvm key-value-store kotlin multiple-disks persistent scala storage-engine type-safe
Last synced: 04 Apr 2025
https://github.com/simerplaha/SwayDB
Persistent and in-memory key-value storage engine for JVM that scales on a single machine.
database embeddable in-memory java jvm key-value-store kotlin multiple-disks persistent scala storage-engine type-safe
Last synced: 18 Apr 2025
https://github.com/jstachio/jstachio
Java type safe statically compiled mustache
annotation-processor dropwizard java jooby mustache spring template-engine type-safe
Last synced: 16 May 2025
https://github.com/zaid-ajaj/fable.remoting
Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps
ajax client-server fable giraffe rpc saturn suave type-safe webpart
Last synced: 15 May 2025
https://github.com/sahandnayebaziz/Hypertext
Any-way-you-want-it, type-safe HTML in Swift.
dsl html markup server server-side-swift swift type-safe
Last synced: 11 May 2025
https://github.com/hydux/hydux
A light-weight type-safe Elm-like alternative for Redux ecosystem, inspired by hyperapp and Elmish
2kb elm-architecture framework hydux hyperapp preact react router ssr state-management type-safe typescript virtual-dom
Last synced: 09 Apr 2025
https://github.com/hecrj/composable-form
Build type-safe composable forms in Elm
composable elm form form-validation forms type-safe
Last synced: 07 May 2025
https://github.com/bokwoon95/go-structured-query
Type safe SQL query builder and struct mapper for Go
data-mapper go mysql postgres query-builder sql type-safe
Last synced: 14 Mar 2025
https://github.com/lukaskalbertodt/confique
Type-safe, layered, light-weight, `serde`-based configuration library
config configuration json5 rust toml type-safe yaml
Last synced: 15 May 2025
https://github.com/LukasKalbertodt/confique
Type-safe, layered, light-weight, `serde`-based configuration library
config configuration json5 rust toml type-safe yaml
Last synced: 27 Apr 2025
https://github.com/marty-suzuki/noticeobservekit
NoticeObserveKit is type-safe NotificationCenter wrapper.
ios macos notificationcenter swift tvos type-safe watchos
Last synced: 12 Apr 2025
https://github.com/marty-suzuki/NoticeObserveKit
NoticeObserveKit is type-safe NotificationCenter wrapper.
ios macos notificationcenter swift tvos type-safe watchos
Last synced: 09 Dec 2024
https://github.com/nerdsupremacist/graphzahl
A Framework to implement Declarative, Type-Safe GraphQL Server APIs using Runtime Magic 🎩
declarative graphql graphql-server reflection swift type-safe
Last synced: 12 Feb 2025
https://github.com/nerdsupremacist/GraphZahl
A Framework to implement Declarative, Type-Safe GraphQL Server APIs using Runtime Magic 🎩
declarative graphql graphql-server reflection swift type-safe
Last synced: 23 Nov 2024
https://github.com/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
excel excel-export export js-to-xlsx js-xlsx json-as-xlsx json-export json-to-xlsx json-xlsx sheetjs ts-xlsx type-safe type-safety typescript typescript-xlsx xls xlsx
Last synced: 12 Dec 2024
https://github.com/skarab42/zoxy
A small type-safe object proxy around Zod to help you stay safe after your data is loaded while continuing to edit them.
object proxy type-safe typescript validation zod
Last synced: 24 Mar 2025
https://github.com/doseofted/prim-rpc
Easy-to-understand, type-safe, transport-agnostic RPC/IPC for JavaScript, supporting callbacks, batching, file handling, custom serialization, and more.
api ipc javascript json rpc type-safe typescript
Last synced: 05 Apr 2025
https://github.com/daltonmenezes/interprocess
💬 A scalable and type-safe Electron IPC management tool with enhanced DX
dx electron interprocess-communication ipc scalable type-safe typescript
Last synced: 09 May 2025
https://github.com/oyvindberg/typo
Typed Postgresql integration for Scala. Hopes to avoid typos
codegen postgresql scala sql type-safe
Last synced: 05 Apr 2025
https://github.com/juancarlospaco/faster-than-csv
Faster CSV for Python
csv csv-data csv-parser csv-parsing csv-to-html csv-to-json cython faster-than-csv process-csv python python3 speed speedup static-memory-allocation static-typing tabular-data tsv tsv-parser type-safe
Last synced: 17 Mar 2025
https://github.com/Zaid-Ajaj/SAFE.Simplified
A lightweight alternative template of SAFE for happy cross-IDE full-stack F# development
elmish fable feliz fsharp full-stack safe type-safe
Last synced: 23 Apr 2025
https://github.com/mikestefanello/hooks
Simple, type-safe hook system to enable easier modularization of your Go code.
decoupling generics go golang hook hooks lifecycle-hooks module type-safe typesafe
Last synced: 14 Apr 2025
https://github.com/sgr-ksmt/lobster
🦐 Type-safe Firebase-RemoteConfig helper library 🦐
ab-testing cocoapods firebase ios remote-config swift type-safe
Last synced: 17 Mar 2025
https://github.com/igalklebanov/kysely-surrealdb
Kysely dialects, plugins and other goodies for SurrealDB
kysely kysely-dialect query-builder sql surrealdb surrealdb-driver type-safe typescript
Last synced: 13 Apr 2025
https://github.com/p-ranav/envy
envy: Deserialize environment variables into type-safe structs
command-line cpp11 deserialize environment-variables envvars envy header-only interface json library lightweight mit-license modern-cpp reflection single-header single-header-lib struct type-safe visitor
Last synced: 05 May 2025
https://github.com/japgolly/univeq
Safer universal equivalence (==) for Scala.
equality equals scala scalajs type-safe type-safety
Last synced: 14 Feb 2025
https://github.com/sgr-ksmt/firesnapshot
A useful Firebase-Cloud-Firestore Wrapper with Codable.
cloudfirestore codable decode encode firebase firestore ios model modelframework oss propertywr simple snapshot swift swift5 type-safe
Last synced: 17 Mar 2025
https://github.com/shmew/feliz.plotly
Fable bindings written in the Feliz-style for plotly.js.
dsl elmish-applications fable feliz fsharp graphing plotly plotlyjs react type-safe visualization
Last synced: 13 Apr 2025
https://github.com/juancarlospaco/thatlib
Faster pathlib for Python
cython memory-safe null-safe path python speed speedup-python static-memory-allocation statically-typed type-safe
Last synced: 10 Apr 2025
https://github.com/justasmasiulis/remote_memory
A simple library which provides a way to read and write the memory of other processes
cpp cpp-library cpp11 cross-platform linux modern-cpp osx type-safe windows
Last synced: 26 Mar 2025
https://github.com/fpg1503/caterpillar
🐛 Caterpillar: Type-safe date formats in Swift, no more "yyyy-MM-dd'T'HH:mm:ssZ"
cocoapods date date-format date-formatting swift swift-package-manager type-safe
Last synced: 27 Nov 2024
https://github.com/yukihiko-shinoda/yaml-dataclass-config
This project helps you to import config file writen by YAML to Python dataclass.
configuration-file dataclass dataclasses python type-safe yaml
Last synced: 14 Apr 2025
https://github.com/otavia-projects/otavia
Your shiny new IO & Actor programming model!
actor-model aio async-await concurrent-programming database high-performance http ioc json kafka mysql netty postgresql reactive reactive-programming scala3 sql state-machine type-safe vertx
Last synced: 08 Feb 2025
https://github.com/nobl9/govy
Go validation library with functional API built on top of generics, statically typed and batteries included :fire:
error-handling generics go type-safe validation
Last synced: 17 Mar 2025
https://github.com/arturbac/simple_enum
SimpleEnum: An Fast, Intuitive and Type-Safe C++ Enumeration Support Library
code-safety cpp cpp-development-tools cpp-enumerations cpp-utilities cpp20 cpp23 enum enum-iteration enum-to-string enumeration-library header-only modern-cpp open-source programming-utilities serialization simple-enum type-safe
Last synced: 07 Apr 2025
https://github.com/alickbass/swiftyjsonmodel
Better way to use SwiftyJSON with custom models
json json-model-mapping protocol-oriented swiftyjson type-safe
Last synced: 14 Apr 2025
https://github.com/sviperll/static-mustache
Template engine for java with statically checked and compiled templates. Compilation is performed alone with java sources.
java mustache template-engine type-safe
Last synced: 21 Mar 2025
https://github.com/nwtgck/ts-json-validator
JSON Validator for TypeScript - Safer JSON.parse() validating by TypeScript types
json scheme structure type type-safe typescript validator
Last synced: 01 May 2025
https://github.com/biggyspender/ts-functional-pipe
Heavily overloaded functions (pipe/compose) for type-safe function composition in TypeScript
compose composed-functions function-composition javascript pipe point-free type-safe typescript
Last synced: 27 Feb 2025
https://github.com/letstri/permix
🔒 Permix is a lightweight, framework-agnostic, type-safe permissions management library for JavaScript applications on the client and server sides.
permissions security type-safe typescript
Last synced: 15 Apr 2025
https://github.com/paxcode-it/zod-to-fields
Turn your Zod schemas into configurable field arrays for easy integration with HTML, React, Vue, and more.
dynamic-fields field-generator react schema svelte type-safe validation vue zod
Last synced: 12 May 2025
https://github.com/snowflyt/megamatch
Painless pattern matching in TypeScript with type safety and minimalistic syntax
adt match matching pattern pattern-matching switch type-safe type-safety typescript
Last synced: 13 Apr 2025
https://github.com/kakasoo/regexp-manager
type-safe regexp pattern builder
builder design-pattern regexp type-safe typescript
Last synced: 22 Apr 2025
https://github.com/vitorluizc/maybe
🌯 The prettiest TypeScript implementation of Maybe monad.
ava bili fp functional functional-programming maybe maybe-monad maybe-type optional optional-type optional-typing type-safe type-safety typescript
Last synced: 13 Apr 2025
https://github.com/fogfish/dynamo
Generic Golang Key/Value trait for AWS storage services
aws-dynamodb aws-s3 dynamodb golang key-value orm orm-library type-safe
Last synced: 19 Mar 2025
https://github.com/kakasoo/proto-typescript
Utility types and implementations based on JavaScript prototypes.
es6 iterable iterator javascript prototype type-safe typescript utility-types
Last synced: 22 Apr 2025
https://github.com/dn-m/Music
Structures for the creation, analysis, and performance of music in Swift
music music-analysis music-composition music-theory type-safe
Last synced: 30 Nov 2024
https://github.com/alanrsoares/re-reduced
Productivity toolbelt for React/Redux/Redux-Saga apps. 1.7kb minzipped
higher-order-reducers redux sagas type-safe typescript
Last synced: 13 Apr 2025
https://github.com/creativecuriositystudio/modelsafe
A type-safe data modelling library for TypeScript
browser model node orm schema type-safe typescript validation
Last synced: 05 May 2025
https://github.com/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.
application-state cli-tools desktop-apps event-system global-state macros multithreading performance reactive rust rust-library state-management tauri thread-safe type-safe web-servers
Last synced: 12 Apr 2025
https://github.com/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.
Last synced: 23 Apr 2025
https://github.com/lthms/chain
Extensible, Type Safe Error Handling in Haskell
Last synced: 22 Mar 2025
https://github.com/klardotsh/gale
Strongly-typed, minimal-ish, stack-based development at storm-force speed.
minimal programming-language stack-based type-safe
Last synced: 22 Mar 2025
https://github.com/inqwell/typeops
Alternative value type combination in Clojure arithmetic
Last synced: 02 Dec 2024
https://github.com/fcracker79/pycomb
Tcomb port for Python 3
combinators tcomb type type-safe validation
Last synced: 06 May 2025
https://github.com/miguelteixeiraa/crinkle
Crinkle is a framework for organizing the execution of complex processing flows by implementing the “Chain of Responsability” pattern in Python
apache-commons async asyncio chain-of-responsibility-pattern framework function-composition opinionated pydantic python python-types python3 simple type-safe typehints types
Last synced: 15 Apr 2025
https://github.com/skarab42/tson
Type Safe Object Notation & Validation
javascript json schema serialization type-safe type-safety typescript validation
Last synced: 24 Mar 2025
https://github.com/trezm/type-doc
Static type checking for pure JavaScript
cli generic-types javascript type-safe type-safety types vanillajs
Last synced: 14 Apr 2025
https://github.com/oved-php/typed-collections
A simple library to create type hinted collections in PHP- build on Laravals Collection class
collections laravel laravel-collections php-library php7 type-hints type-safe
Last synced: 20 Mar 2025
https://github.com/fizruk/free-foil
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
abstract-syntax haskell scala type-safe
Last synced: 09 Apr 2025
https://github.com/katrix/typenbt
A Scala NBT library that let's you focus on the data
hacktoberfest minecraft nbt scala scalajs type-safe
Last synced: 10 Apr 2025
https://github.com/papierkorb/toka
A type-safe, object-oriented option parser
cli crystal mapping options options-parsing type-safe
Last synced: 11 May 2025
https://github.com/zaaack/immuter
**DEPRECATED** for https://github.com/hydux/hydux-mutator
deep-properties dotpath flow immutable redux-state type-safe typescript
Last synced: 23 Apr 2025
https://github.com/snowflyt/troza
Intuitive state management for React and Vanilla, easier than ever.
react state state-management store type-safe typesafe typescript typescript-react vanilla-javascript vanilla-js
Last synced: 17 Apr 2025
https://github.com/busy-hour-studio/blaze
Event Driven Framework for @honojs/hono
bun event-driven hono nodejs type-safe typescript
Last synced: 13 May 2025
https://github.com/dechristopher/lio
♚ lioctad.org: the forever free, adless and open source octad server
chess free-software game go gofiber non-profit octad rating react redux server type-safe typescript websocket
Last synced: 13 Apr 2025
https://github.com/shenqingchuan/coral-lang
[ Programming language ] - built in Golang and run in CVM. (WIP)
coral golang programming-language type-safe vm
Last synced: 07 May 2025
https://github.com/reactwaylabs/typed-i18next
Type-safe translations generator for i18next.
cli i18next strict-types translations type-safe typescript
Last synced: 13 Apr 2025
https://github.com/pjechris/cohesionkit
Single source of truth library
combine-framework coredataless data-stream domain-driven-design identifiable identity-map identity-mapper ios live-data live-updates reactive-programming relationship single-source-of-truth source-of-truth storage swift swift-combine swift-package-manager synchronization type-safe
Last synced: 15 Apr 2025
https://github.com/kysely-org/kysely-singlestore
Kysely dialects, plugins and other goodies for Singlestore (formerly MemSQL)
analytics browser columnstore data-api deno dialect in-memory-database kysely mysql query-builder serverless singlestore sql type-safe typescript
Last synced: 24 Apr 2025
https://github.com/drenther/use-custom-event
Type safe, validated at runtime (by Zod) event emitter and listener hooks for React
event-emitter react type-safe typescript zod
Last synced: 06 May 2025
https://github.com/marioiannotta/nomosi
Declarative plug and play network services for your iOS and MacOS apps
declarative mock network type-safe
Last synced: 13 Apr 2025
https://github.com/joselion/ts-routeways
A type-safe solution to define and consume routes
codecs hacktoberfest hacktoberfest2022 query-params querystring react router routes routeways routing type-safe typesafe typesafety typescript
Last synced: 20 Mar 2025
https://github.com/thihathit/rutter
Type-safe framework-agnostic Router, built with URLPattern & History API.
framework-agnostic history-api react router solid svelte type-safe typescript urlpattern vue
Last synced: 08 May 2025
https://github.com/raiondesu/eventhoven
Event manager that composes events effortlessly 🎵
compose-events event event-handlers event-management event-manager event-signature functional functional-programming manager meta-events solid solid-principles tree-shakeable type-safe typescript
Last synced: 07 May 2025
https://github.com/robusgauli/typemyjs
A 🎉🎉Type Definition Wrapper 🎉 🎉 for Javascript that enforces types during runtime.
javascript type-safe type-safety types
Last synced: 30 Apr 2025
https://github.com/duart38/interpolate
Very simple (and small) text interpolator
deno interpolation interpolator minimal observable regex replace-text type-safe typesafe
Last synced: 31 Mar 2025
https://github.com/amarshall/boiga
Type-safe functional programming for Python
functional-programming mypy python type-safe
Last synced: 11 Apr 2025
