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: 16 Dec 2024

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: 16 Dec 2024

https://github.com/koskimas/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: 11 Dec 2024

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 hacktoberfest modular parsing runtime schema type-safe typescript validation

Last synced: 16 Dec 2024

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: 17 Dec 2024

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: 17 Dec 2024

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: 18 Dec 2024

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: 19 Dec 2024

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: 21 Dec 2024

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: 12 Nov 2024

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: 08 Nov 2024

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: 08 Nov 2024

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: 18 Dec 2024

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: 22 Dec 2024

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: 20 Dec 2024

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 Dec 2024

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 Nov 2024

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: 22 Dec 2024

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: 09 Nov 2024

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: 21 Dec 2024

https://github.com/jstachio/jstachio

Java type safe statically compiled mustache

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

Last synced: 18 Dec 2024

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: 17 Nov 2024

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: 16 Dec 2024

https://github.com/hecrj/composable-form

Build type-safe composable forms in Elm

composable elm form form-validation forms type-safe

Last synced: 18 Dec 2024

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: 26 Oct 2024

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 Dec 2024

https://github.com/LukasKalbertodt/confique

Type-safe, layered, light-weight, `serde`-based configuration library

config configuration json5 rust toml type-safe yaml

Last synced: 11 Nov 2024

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/marty-suzuki/noticeobservekit

NoticeObserveKit is type-safe NotificationCenter wrapper.

ios macos notificationcenter swift tvos type-safe watchos

Last synced: 21 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: 11 Oct 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: 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: 28 Oct 2024

https://github.com/tidwall/bgen

B-tree generator for C

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

Last synced: 16 Dec 2024

https://github.com/oyvindberg/typo

Typed Postgresql integration for Scala. Hopes to avoid typos

codegen postgresql scala sql type-safe

Last synced: 16 Dec 2024

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: 15 Dec 2024

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: 27 Oct 2024

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: 17 Nov 2024

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: 10 Nov 2024

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: 16 Nov 2024

https://github.com/sgr-ksmt/lobster

🦐 Type-safe Firebase-RemoteConfig helper library 🦐

ab-testing cocoapods firebase ios remote-config swift type-safe

Last synced: 27 Oct 2024

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: 13 Nov 2024

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: 31 Oct 2024

https://github.com/japgolly/univeq

Safer universal equivalence (==) for Scala.

equality equals scala scalajs type-safe type-safety

Last synced: 17 Dec 2024

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: 27 Oct 2024

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: 30 Nov 2024

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: 27 Oct 2024

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/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: 29 Oct 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: 11 Dec 2024

https://github.com/otavia-projects/otavia

Your shiny new IO & Actor programming model! ❤️❤️❤️ Star Me Please 👆👆👆

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: 09 Oct 2024

https://github.com/alickbass/swiftyjsonmodel

Better way to use SwiftyJSON with custom models

json json-model-mapping protocol-oriented swiftyjson type-safe

Last synced: 16 Nov 2024

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: 28 Oct 2024

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: 22 Oct 2024

https://github.com/kakasoo/regexp-manager

type-safe regexp pattern builder

builder design-pattern regexp type-safe typescript

Last synced: 19 Oct 2024

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: 08 Nov 2024

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: 27 Oct 2024

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: 14 Oct 2024

https://github.com/creativecuriositystudio/modelsafe

A type-safe data modelling library for TypeScript

browser model node orm schema type-safe typescript validation

Last synced: 13 Nov 2024

https://github.com/lthms/chain

Extensible, Type Safe Error Handling in Haskell

error-handling type-safe

Last synced: 28 Oct 2024

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: 19 Oct 2024

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: 08 Nov 2024

https://github.com/inqwell/typeops

Alternative value type combination in Clojure arithmetic

arithmetic clojure type-safe

Last synced: 02 Dec 2024

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: 28 Oct 2024

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: 28 Nov 2024

https://github.com/fcracker79/pycomb

Tcomb port for Python 3

combinators tcomb type type-safe validation

Last synced: 13 Nov 2024

https://github.com/trezm/type-doc

Static type checking for pure JavaScript

cli generic-types javascript type-safe type-safety types vanillajs

Last synced: 16 Nov 2024

https://github.com/skarab42/tson

Type Safe Object Notation & Validation

javascript json schema serialization type-safe type-safety typescript validation

Last synced: 28 Oct 2024

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: 12 Oct 2024

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: 17 Nov 2024

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: 14 Oct 2024

https://github.com/papierkorb/toka

A type-safe, object-oriented option parser

cli crystal mapping options options-parsing type-safe

Last synced: 17 Nov 2024

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: 13 Nov 2024

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: 17 Oct 2024

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

https://github.com/marioiannotta/nomosi

Declarative plug and play network services for your iOS and MacOS apps

declarative mock network type-safe

Last synced: 14 Oct 2024

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: 10 Nov 2024

https://github.com/busy-hour-studio/blaze

Event Driven Framework for @honojs/hono

bun event-driven hono nodejs type-safe typescript

Last synced: 09 Nov 2024

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: 18 Nov 2024

https://github.com/hunghg255/next-i18next-typesafe

next-i18next typesafe

i18n npm type-safe

Last synced: 22 Nov 2024

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: 31 Oct 2024

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: 28 Oct 2024

https://github.com/fizruk/free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

abstract-syntax haskell scala type-safe

Last synced: 12 Oct 2024

https://github.com/robusgauli/typemyjs

A 🎉🎉Type Definition Wrapper 🎉 🎉 for Javascript that enforces types during runtime.

javascript type-safe type-safety types

Last synced: 09 Nov 2024

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: 02 Nov 2024

https://github.com/duart38/interpolate

Very simple (and small) text interpolator

deno interpolation interpolator minimal observable regex replace-text type-safe typesafe

Last synced: 13 Dec 2024

https://github.com/helpermethod/gscope

Kotlin's scoping functions for Groovy.

extension-module groovy type-safe

Last synced: 30 Nov 2024

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

asp-net-core aspnet-mvc aspnetcore bson csharp dotnet fluentvalidation mongodb obsession open-api primitive primitive-obsession primitives source-code-generator strongly-typed-id swagger type-safe value-object