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: 17 Dec 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: 10 Aug 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: 31 Jan 2026

https://github.com/ariebovenberg/whenever

⏰ Modern datetime library for Python

cpython datetime mypy pure-python pypy python rfc3339 rust timezones type-safe utc utc-offsets

Last synced: 05 Apr 2026

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/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: 19 Jun 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: 14 Jan 2026

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/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/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: 16 May 2025

https://github.com/pointfreeco/swift-structured-queries

Truly type-safe SQL.

database macros query-builder sql swift type-safe

Last synced: 20 Feb 2026

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/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/jstachio/jstachio

Java type safe statically compiled mustache

annotation-processor dropwizard java jooby mustache spring template-engine type-safe

Last synced: 26 Jul 2025

https://github.com/purescript-hyper/hyper

Type-safe, statically checked composition of HTTP servers

functional-programming node purescript type-safe web

Last synced: 11 Jan 2026

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/sivchari/govalid

Up to 45x faster 🚀 Auto generate type-safe validation code for structs based on markers.

abstract-syntax-tree autogenerated error-handling go golang translation type-safe validation

Last synced: 19 Sep 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/fenok/react-router-typesafe-routes

Enhanced type safety via validation for all route params in React Router v7.

react react-router type-safe typescript validation

Last synced: 17 Jun 2025

https://github.com/zap-studio/monorepo

Making the web better.

composable dev-tools library modular monorepo package-ecosystem tooling type-safe typescript

Last synced: 24 Apr 2026

https://github.com/marty-suzuki/noticeobservekit

NoticeObserveKit is type-safe NotificationCenter wrapper.

ios macos notificationcenter swift tvos type-safe watchos

Last synced: 07 Apr 2026

https://github.com/marty-suzuki/NoticeObserveKit

NoticeObserveKit is type-safe NotificationCenter wrapper.

ios macos notificationcenter swift tvos type-safe watchos

Last synced: 06 Aug 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: 16 Jul 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: 21 Sep 2025

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: 09 Aug 2025

https://github.com/withceleste/celeste-python

Open source, type-safe primitives for multi-modal AI. All capabilities, all providers, one interface 🌟

ai async developer-tools multimodal python sdk streaming type-safe

Last synced: 24 Feb 2026

https://github.com/tidwall/bgen

B-tree generator for C

b-tree generator generics index key-value spatial type-safe

Last synced: 06 Apr 2025

https://github.com/stackus/goht

A Haml, Slim, and EGO template engine for Go

golang haml html language-server language-server-protocol lsp slim templates type-safe

Last synced: 27 Jan 2026

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/productdevbook/sumak

Type-safe SQL query builder. Zero dependencies, AST-first, hookable, tree-shakeable. Pure TypeScript.

ast database esm mysql orm postgresql query-builder sql sqlite tree-shaking type-safe typescript zero-dependency

Last synced: 09 Apr 2026

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: 30 Jul 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: 18 Jul 2025

https://github.com/Mirkoddd/Sift

A Fluent Regex Builder for Java

android-library builder-pattern fluent-api hibernate-validator jakarta-validation java java-library regex regex-builder regex-dsl regular-expressions thread-safe type-safe validation

Last synced: 02 May 2026

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: 29 Oct 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: 08 Oct 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/neothxt/snowdrop

Networking made easy

asyncawait certificate-pinning networking snowdrop ssl-pinning swift swift-concurrency swift-macros type-safe xcode

Last synced: 11 Dec 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: 25 Feb 2026

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 Jun 2025

https://github.com/mobiletoly/sqlitenow-kmp

SQLiteNow - Build type-safe Kotlin APIs from SQLite

code-generator kmp kotlin multiplatform sql sqlitenow type-safe

Last synced: 27 Jan 2026

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: 21 Jul 2025

https://github.com/nyaomaru/is-kit

Lightweight, zero-dependency toolkit for building `isFoo` style type guards in TypeScript. Runtime-safe 🛡️, composable 🧩, and ergonomic ✨. npm -> https://www.npmjs.com/package/is-kit

is is-kit open-source runtime-type-checking type-guard type-guards type-safe typescript utility validation

Last synced: 09 May 2026

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: 23 Oct 2025

https://github.com/nadlejs/nadle

A type-safe, modern, Gradle-inspired task runner.

build-tool cli developer-tools gradle-inspired grunt lightweight make nodejs task-orchestration task-runner type-safe typescript

Last synced: 20 Feb 2026

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: 27 Feb 2026

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/coenttb/swift-html

The Swift HTML library built on swift-standards.

css dark-mode domain-specific-languages dsl html result-builders server-side-swift swift type-safe web-development

Last synced: 21 Feb 2026

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/nam-hle/nadle

A modern, type-safe task runner for Node.js inspired by the awesome Gradle build tool

build-tool cli developer-tools gradle-inspired lightweight nodejs task-orchestration task-runner type-safe typescript

Last synced: 13 Jun 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: 10 Jul 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/kakasoo/regexp-manager

type-safe regexp pattern builder

builder design-pattern regexp type-safe typescript

Last synced: 22 Apr 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/hedystia/hedystia

end to end type safe framework

api backend bun framework hedystia server type-safe typescript web

Last synced: 10 May 2026

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: 05 Jul 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: 22 Jun 2025

https://github.com/apioo/psx-sql

Generate type-safe PHP classes from your database

database generator php sql table type-safe

Last synced: 11 Aug 2025

https://github.com/go-kruda/kruda

High-performance, type-safe Go web framework with custom async I/O transport — 847K RPS plaintext

epoll generics go golang high-performance http microservice rest-api type-safe web-framework

Last synced: 02 Apr 2026

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: 24 Jul 2025

https://github.com/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.

bun canvas chainable computer-vision contours edge-detection image-processing image-processor modular open-cv opencv-js perspective-transformation pipeline threshold type-safe

Last synced: 04 Mar 2026

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: 07 Mar 2026

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: 14 Jul 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.

dart events package type-safe

Last synced: 23 Apr 2025