|
|
Rust |
23 |
Safe Network Data Types |
Jan 21, 2022 |
|
|
Rust |
17 |
Safe atomic Box types for Rust |
Dec 01, 2021 |
|
|
Python |
3 |
Meaningful and safe wrapping types. |
Jan 28, 2023 |
|
|
Rust |
26 |
Type-Safe, Lazily Evaluated, Plugins for Extensible Types |
Apr 30, 2023 |
|
|
Go |
11 |
Generate safe and validated enumerated types. |
Mar 19, 2023 |
|
|
Scala |
71 |
Type-safe, persistent storage for values of arbitrary types |
Jun 25, 2022 |
|
|
Scala |
9 |
Type-aligned data types, stack-safe composition. |
May 17, 2021 |
|
|
Rust |
118 |
Type-safe transmutations between layout-compatible types. |
Feb 20, 2023 |
|
|
Elm |
10 |
Type-safe way aliasing your primitive types easily |
Oct 08, 2021 |
|
|
TypeScript |
28 |
Safe, ergonomic, non-generic sum types in TypeScript. |
Jul 21, 2022 |
|
|
Swift |
3 |
Type-safe ASCIIString and ASCIICharacter types for Swift. (ASCII string, character) |
Jul 18, 2022 |
|
|
Kotlin |
474 |
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types |
Aug 09, 2022 |
|
|
Clojure |
22 |
Safe transport of unknown record types in distributed systems. |
Apr 16, 2023 |
|
|
PureScript |
4 |
A helper library for constraining types to be Elm port-safe and for providing helpers to … |
Sep 12, 2019 |
|
|
TypeScript |
44 |
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱 |
Aug 21, 2022 |
|
|
TypeScript |
2 |
Redux utils and types to keep your reducers type safe. |
Jan 28, 2023 |
|
|
Rust |
3 |
A set of safe Least Recently Used (LRU) map/cache types for Rust |
May 23, 2022 |
|
|
F# |
31 |
Provides a safe API for binding the dotnet IConfiguration to types in F#. |
Jun 23, 2022 |
|
|
Haxe |
5 |
A Type safe Entity Component System with minimum overhead + optional Types |
May 04, 2017 |
|
|
Rust |
3 |
Safe transmute between types and bit patterns of the same length. |
Mar 31, 2022 |
|
|
Rust |
9 |
Safe transmute between types and byte arrays of the same size. |
Mar 14, 2023 |
|
|
Scala |
8 |
More types in your scala, in a very type safe way |
Oct 27, 2021 |
|
|
Haskell |
2 |
Multi-key multi-value store for Haskell native data types with type safe interface. |
Dec 05, 2019 |
|
|
C |
4 |
safe mode for testing safe mode |
Oct 01, 2015 |
|
|
C |
13 |
safe mode for testing safe mode |
May 02, 2022 |
|
|
TypeScript |
422 |
Types for testing TypeScript types. |
Sep 22, 2022 |
|
|
Go |
5 |
ssg (strong-string-go) provides general utilities functions/types for golang (such as safe-maps, q-string, etc..) |
May 21, 2022 |
|
|
Swift |
32 |
Swift and Objective-C generated classes for built-in CIFilter types. Type safe, auto-complete friendly and (mostly) … |
Mar 28, 2023 |
|
|
Shell |
2 |
safe-global (https://github.com/safe-global/safe-infrastructure) k8s deployment |
Dec 24, 2023 |
|
|
Python |
15 |
A thread-safe and mutation-safe LRU cache for Python. |
Apr 21, 2023 |
|
|
Go |
280 |
Safe HTML for Go |
Jul 08, 2022 |
|
|
Rust |
14 |
Safe wrappers for VFIO |
Feb 17, 2022 |
|
|
Swift |
22 |
Safe method for Realm |
Jul 29, 2021 |
|
|
Objective-C |
26 |
Safe Mode for libhooker |
Jul 22, 2022 |
|
|
Python |
4 |
Safe Pickle for Python |
May 05, 2022 |
|
|
None |
2 |
Documentation for SAFE API |
Jun 15, 2022 |
|
|
None |
2 |
Safe Internet for Android |
Oct 21, 2022 |
|
|
Swift |
41 |
Safe Collection for Swift |
Jan 19, 2023 |
|
|
Objective-C |
14 |
Safe integers for C++ |
Mar 21, 2022 |
|
|
TypeScript |
9 |
100% type-safe query builder for node-postgres :: Generated types, call any function, tree-shakable, implicit type … |
Sep 13, 2022 |
|
|
TypeScript |
68 |
📐 A library of custom GraphQL scalar types for creating precise type-safe GraphQL schemas, with … |
Jul 18, 2022 |
|
|
Scala |
216 |
Defines immutable, safe data structures for describing IP addresses, multicast joins, socket addresses and similar … |
May 01, 2023 |
|
|
TypeScript |
16 |
Helper types for testing your package exported types |
Feb 29, 2020 |
|
|
TypeScript |
179 |
Additional types and types adjusted utilities for TypeScript |
Sep 10, 2022 |
|
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
|
TypeScript |
73 |
Types for mithril.js |
Sep 13, 2022 |
|
|
R |
78 |
Types for R |
Aug 29, 2022 |
|
|
Haskell |
12 |
Types for ldtk |
Jan 12, 2023 |
|
|
Kotlin |
8 |
A safe and correct Bluetooth Low Energy (BLE) library for Android with functional data types … |
Jul 15, 2022 |
|
|
CSS |
153 |
Scala's Types of Types |
Jan 18, 2021 |