Topic: "type-safe"
lichess-org/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
Language: Scala - Size: 528 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 16,490 - Forks: 2,373
kysely-org/kysely
A type-safe typescript SQL query builder
Language: TypeScript - Size: 48.7 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 11,780 - Forks: 302
fabian-hiller/valibot
The modular and type safe schema library for validating structural data 🤖
Language: TypeScript - Size: 11.2 MB - Last synced at: 1 day ago - Pushed at: 1 day 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: 2 days ago - Stars: 1,957 - Forks: 25
softwaremill/tapir
Rapid development of self-documenting APIs
Language: Scala - Size: 19.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,403 - Forks: 436
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: 3 days ago - Pushed at: about 2 months ago - Stars: 1,140 - Forks: 57
leostera/caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
Language: OCaml - Size: 14.3 MB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 1,075 - Forks: 25
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
stacksjs/stacks
⚛️ Modern full-stack framework. Develop powerful apps, clouds & framework-agnostic libraries—faster.
Language: TypeScript - Size: 123 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 573 - Forks: 11
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
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
p-ranav/structopt
Parse command line arguments by defining a struct
Language: C++ - Size: 648 KB - Last synced at: 13 days ago - Pushed at: 6 months ago - Stars: 489 - Forks: 27
mpollmeier/gremlin-scala
[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL
Language: Scala - Size: 2.54 MB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 481 - Forks: 75
vmanot/SwiftDB
A modern database abstraction layer + runtime, batteries included [WIP].
Language: Swift - Size: 545 KB - Last synced at: 9 days ago - Pushed at: 5 months ago - Stars: 339 - Forks: 7
japgolly/scalacss
Super type-safe CSS for Scala and Scala.JS.
Language: Scala - Size: 12.3 MB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 339 - Forks: 44
simerplaha/SwayDB
Persistent and in-memory key-value storage engine for JVM that scales on a single machine.
Language: Scala - Size: 19.9 MB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 293 - Forks: 16
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
purescript-hyper/hyper
Type-safe, statically checked composition of HTTP servers
Language: PureScript - Size: 36.3 MB - Last synced at: 11 days ago - Pushed at: about 4 years ago - Stars: 281 - Forks: 28
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: 3 days ago - Pushed at: 4 days ago - Stars: 277 - Forks: 57
DavidLeeds/hashmap
Templated type-safe hashmap implementation in C using open addressing and linear probing for collision resolution.
Language: C - Size: 104 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 265 - Forks: 54
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
nstack/nstack 📦
Type-safe, composable microservices for data analytics
Language: Haskell - Size: 231 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 223 - Forks: 14
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
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
bokwoon95/go-structured-query
Type safe SQL query builder and struct mapper for Go
Language: Go - Size: 449 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 197 - Forks: 11
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
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
marty-suzuki/NoticeObserveKit
NoticeObserveKit is type-safe NotificationCenter wrapper.
Language: Swift - Size: 93.8 KB - Last synced at: 9 days ago - Pushed at: 10 months ago - Stars: 150 - Forks: 7
nerdsupremacist/GraphZahl
A Framework to implement Declarative, Type-Safe GraphQL Server APIs using Runtime Magic 🎩
Language: Swift - Size: 3.7 MB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 145 - Forks: 9
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
NICUP14/MiniLang
A type-safe C successor that compiles directly to various platforms.
Language: Python - Size: 989 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 136 - Forks: 3
tidwall/bgen
B-tree generator for C
Language: C - Size: 3.97 MB - Last synced at: 15 days ago - Pushed at: 2 months ago - Stars: 130 - Forks: 11
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.
Language: TypeScript - Size: 2.35 MB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 117 - Forks: 0
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: about 23 hours ago - Pushed at: 2 months ago - Stars: 110 - Forks: 15
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
daltonmenezes/interprocess
💬 A scalable and type-safe Electron IPC management tool with enhanced DX
Language: TypeScript - Size: 836 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 105 - Forks: 2
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
stackus/goht
A Haml template engine for Go
Language: Go - Size: 2.11 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 102 - Forks: 3
juancarlospaco/faster-than-csv
Faster CSV for Python
Language: Python - Size: 15.5 MB - Last synced at: 19 days ago - Pushed at: over 3 years ago - Stars: 102 - Forks: 8
Zaid-Ajaj/SAFE.Simplified 📦
A lightweight alternative template of SAFE for happy cross-IDE full-stack F# development
Language: F# - Size: 1.53 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 96 - Forks: 16
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
sgr-ksmt/Lobster
🦐 Type-safe Firebase-RemoteConfig helper library 🦐
Language: Swift - Size: 994 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 77 - Forks: 6
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
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
japgolly/univeq
Safer universal equivalence (==) for Scala.
Language: Scala - Size: 279 KB - Last synced at: 17 days ago - Pushed at: 8 months ago - Stars: 59 - Forks: 4
sgr-ksmt/FireSnapshot
A useful Firebase-Cloud-Firestore Wrapper with Codable.
Language: Swift - Size: 224 KB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 56 - Forks: 9
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
Shmew/Feliz.Plotly
Fable bindings written in the Feliz-style for plotly.js.
Language: F# - Size: 129 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 54 - Forks: 12
juancarlospaco/thatlib
Faster pathlib for Python
Language: Python - Size: 710 KB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 53 - Forks: 4
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: 9 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: 7 days ago - Pushed at: 20 days ago - Stars: 51 - Forks: 1
JustasMasiulis/remote_memory
A simple library which provides a way to read and write the memory of other processes
Language: C++ - Size: 70.3 KB - Last synced at: 14 days ago - Pushed at: almost 7 years ago - Stars: 51 - Forks: 18
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
ThetaLang/Theta
θ A statically typed, functional programming language that compiles to WebAssembly
Language: C++ - Size: 54.2 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 40 - Forks: 10
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
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: 7 days ago - Pushed at: over 4 years ago - Stars: 37 - Forks: 5
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: 3 days ago - Pushed at: 4 days ago - Stars: 35 - Forks: 0
szilanor/stream
Typesafe API for processing iterable data in TypeScript and JavaScript.
Language: TypeScript - Size: 2.17 MB - Last synced at: 18 days ago - Pushed at: 9 months ago - Stars: 35 - Forks: 2
arturbac/simple_enum
SimpleEnum: An Fast, Intuitive and Type-Safe C++ Enumeration Support Library
Language: C++ - Size: 356 KB - Last synced at: about 18 hours ago - Pushed at: about 19 hours ago - Stars: 33 - Forks: 2
go-sqlt/sqlt
A Go Template-Based SQL Builder and Struct Mapper
Language: Go - Size: 367 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 33 - 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
SystemFw/eidos 📦
A tiny and principled library for type-safe IDs
Language: Scala - Size: 50.8 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 30 - Forks: 1
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
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
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: 3 days ago - Pushed at: about 2 years ago - Stars: 27 - Forks: 3
nwtgck/ts-json-validator
JSON Validator for TypeScript - Safer JSON.parse() validating by TypeScript types
Language: TypeScript - Size: 587 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 26 - Forks: 1
cassidylang/cassidy
Cassidy programming language, bringing static typing, strictness, safety and precision into your web project
Language: TypeScript - Size: 199 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 25 - Forks: 4
kawmra/typist-json
A simple runtime JSON type checker.
Language: TypeScript - Size: 439 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 0
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: 5 days ago - Pushed at: 6 days ago - Stars: 24 - Forks: 0
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: 10 days ago - Stars: 22 - Forks: 0
paxcode-it/zod-to-fields
Turn your Zod schemas into configurable field arrays for easy integration with HTML, React, Vue, and more.
Language: TypeScript - Size: 233 KB - Last synced at: 8 days ago - Pushed at: 10 months ago - Stars: 22 - Forks: 2
kakasoo/regexp-manager
type-safe regexp pattern builder
Language: TypeScript - Size: 553 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 0
VitorLuizC/maybe
🌯 The prettiest TypeScript implementation of Maybe monad.
Language: TypeScript - Size: 242 KB - Last synced at: about 2 hours ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 0
fogfish/dynamo
Generic Golang Key/Value trait for AWS storage services
Language: Go - Size: 438 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 5
apioo/psx-sql
Generate type-safe PHP classes from your database
Language: PHP - Size: 394 KB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 1
kakasoo/proto-typescript
Utility types and implementations based on JavaScript prototypes.
Language: TypeScript - Size: 314 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 16 - Forks: 0
alanrsoares/re-reduced
Productivity toolbelt for React/Redux/Redux-Saga apps. 1.7kb minzipped
Language: TypeScript - Size: 10.7 MB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3
dn-m/Music
Structures for the creation, analysis, and performance of music in Swift
Language: Swift - Size: 915 KB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 5
creativecuriositystudio/modelsafe
A type-safe data modelling library for TypeScript
Language: TypeScript - Size: 394 KB - Last synced at: 13 days ago - Pushed at: almost 6 years ago - Stars: 15 - Forks: 1
Oyvindkg/tinysqlite 📦
A lightweight wrapper for SQLite written in Swift
Language: Swift - Size: 1.79 MB - Last synced at: about 1 month ago - Pushed at: about 8 years ago - Stars: 15 - Forks: 6
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: 25 days ago - Pushed at: 25 days ago - Stars: 14 - Forks: 2
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 4 hours ago - Pushed at: 8 months ago - Stars: 14 - 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: 3 days ago - Pushed at: 3 months ago - Stars: 13 - Forks: 4
lthms/chain
Extensible, Type Safe Error Handling in Haskell
Language: Haskell - Size: 5.44 MB - Last synced at: 17 days ago - Pushed at: over 4 years ago - Stars: 13 - Forks: 1
pixel-foundry/alpaca-swift
Swift client for Alpaca’s trade API
Language: Swift - Size: 74.2 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 13 - Forks: 3
imhonglu/new-wheels
A strongly-typed typescript library
Language: TypeScript - Size: 3.52 MB - Last synced at: 4 days ago - Pushed at: 11 days ago - Stars: 12 - Forks: 0
0x5a17ed/itkit
Simple generic iterator interface for Go projects
Language: Go - Size: 109 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 12 - Forks: 3
klardotsh/gale
Strongly-typed, minimal-ish, stack-based development at storm-force speed.
Language: Zig - Size: 600 KB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 1
inad9300/Soil
🌱 Type-safe HTML and custom components at your fingertips.
Language: TypeScript - Size: 2.56 MB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 2
MuGdxy/MuCplGen
a header-only crossplatform type-safe dynamic compiler generator based on C++ 17.
Language: C++ - Size: 1.74 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 12 - Forks: 1
inqwell/typeops
Alternative value type combination in Clojure arithmetic
Language: Clojure - Size: 26.4 KB - Last synced at: 19 days ago - Pushed at: about 6 years ago - Stars: 12 - Forks: 0
amir343/avlang
Type Safe Erlang
Language: Erlang - Size: 32.8 MB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 12 - Forks: 0
miguelteixeiraa/crinkle
Crinkle is a framework for organizing the execution of complex processing flows by implementing the “Chain of Responsability” pattern in Python
Language: Python - Size: 105 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 11 - Forks: 0
Ayub-Begimkulov/ts-get-set
100% Type safe get and set functions
Language: TypeScript - Size: 337 KB - Last synced at: about 17 hours ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 1
fcracker79/pycomb
Tcomb port for Python 3
Language: Python - Size: 71.3 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 0
CardForest/master-class
JavaScript classes with an edge.
Language: JavaScript - Size: 171 KB - Last synced at: 8 months ago - Pushed at: about 7 years ago - Stars: 11 - Forks: 1
skarab42/tson
Type Safe Object Notation & Validation
Language: TypeScript - Size: 435 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 1
OveD-php/typed-collections
A simple library to create type hinted collections in PHP- build on Laravals Collection class
Language: PHP - Size: 60.5 KB - Last synced at: 2 days ago - Pushed at: almost 5 years ago - Stars: 10 - Forks: 3
trezm/type-doc
Static type checking for pure JavaScript
Language: JavaScript - Size: 219 KB - Last synced at: 7 days ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0
Zaid-Ajaj/Cable 📦
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
Language: C# - Size: 16.7 MB - Last synced at: about 11 hours ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1