undux - ⚡️ Dead simple state management for React

•    TypeScript

Be sure to define a key for each value in your model, even if the value is initially undefined. That's all there is to it.

typesafe-actions - Typesafe Action Creators for Redux / Flux Architectures (in TypeScript)

•    TypeScript

Flexible functional API that's specifically designed to reduce types verbosity (especially maintainability concerns) and complexity (thanks to powerful helpers). When I was first starting with Redux and TypeScript I was trying to use redux-actions to simplify maintainability of action-creators. I was struggling and results were intimidating: incorrect type signatures and broken type-inference cascading throughout the entire code-base (read more detailed comparison).

http4k - HTTP toolkit written in Kotlin that enables the serving and consuming of HTTP services in a functional and consistent way

•    Kotlin

http4k is an HTTP toolkit written in Kotlin that enables the serving and consuming of HTTP services in a functional and consistent way.It consists of a core library http4k-core providing a base HTTP implementation + a number of abstractions for various functionalities (such as servers, clients, templating etc) that are provided as optional add-on libraries.

strictyaml - Type-safe YAML parser and validator.

•    Python

StrictYAML is a type-safe YAML parser that parses and validates a restricted subset of the YAML specification.

go-queryset - 100% type-safe ORM for Go (Golang) with code generation and MySQL, PostgreSQL, Sqlite3, SQL Server support

•    Go

100% type-safe ORM for Go (Golang) with code generation and MySQL, PostgreSQL, Sqlite3, SQL Server support. GORM under the hood.Take a loot at line // gen:qs. It's a necessary line to enable querysets for this struct. You can put it at any line in struct's doc-comment.

wai-routes - Typesafe URLs for Haskell Wai applications

•    Haskell

Wai-routes is a micro web framework for Haskell that focuses on typesafe URLs. Wai-routes is based on the Haskell Web Application Interface and uses it for most of the heavy lifting. It also provides a convenient but thin veneer over most of the wai API so it is unnecessary to directly use raw wai APIs when building web apps.

swift-di-explorations - Functional DI explorations in Swift

•    Swift

Our code has dependencies. We would like to not directly invoke code that uses side-effecting singleton-esque services because our code becomes harder to reason about, harder to test, etc. It would be nice to decouple the effects. Dependency injection is about decoupling your code from your effects. In traditional OO languages, it's tough to get a compile-time-checked type-safe DI solution working, but Swift is functional(ish).

typeful-redux - A typesafe, low-boilerplate wrapper around redux

•    TypeScript

A type-safe, low boilerplate wrapper for redux to be used in TypeScript projects. This is how you create a reducer and a store with typeful-redux. Note that all calls are fully type-safe and will trigger type errors when used incorrectly.

FlowKit - Declarative type-safe manager for UITableView & UICollectionView

•    Swift

FlowKit is a new approach to create, populate and manage UITableView and UICollectionView. With a declarative and type-safe approach you don't need to implement datasource/delegate anymore: your code is easy to read, maintain and SOLID.

tscfg - Boilerplate-free, type safe access to configuration properties in Java and Scala

•    Scala

tscfg is a command line tool that takes a configuration specification parseable by Typesafe Config and generates all the boiler-plate to make the definitions available in type safe, immutable objects (POJOs for Java, case classes for Scala). The generated code only depends on the Typesafe Config library.

ngimport - Easy to use ES6 imports for $http, $log, and other Angular 1 services

•    TypeScript

If you're using ngResource, also install ngimport-ngresource. Note: This example is in TypeScript, but it works equally well in plain JavaScript.

tsoption - Correct, easy to use Option type for TypeScript. 🦄

•    TypeScript

Correct, easy to use Option type for TypeScript. Like Scala options; see the introductory blog post. Note: You can use JavaScript instead of TypeScript, but it's not as fun.

typed-trait - A 100% typesafe class trait util for TypeScript

•    TypeScript

The only 100% typesafe class mixin for TypeScript

typedapi - Build your web API on the type level.

•    Scala

This is all you have to do to define an API with multiple endpoints and to create a working client and server for them. You can find the above code as a complete project here.

circe-config - Yet another Typesafe config Scala wrapper powered by circe

Yet another Typesafe config Scala wrapper powered by circe

EasyList - EasyList is a new simple and straightforward way for dealing with simple to complex table-views, with a generic functional approach

•    Swift

EasyList is a UITableView subclass, that will help you create type-safe lists, with less code, easier to read and maintain. As you probably know, using UITableView forces you to implement delegate pattern, switch statements (In case of different cell types) force casting (UITableViewCell to your custom cell type), and redundant code as 'cellIdentifier'.

nexus - Experimental typesafe tensors & deep learning in Scala

•    Scala

Nexus is a prototypical typesafe deep learning system in Scala. Nexus is a departure from common deep learning libraries such as TensorFlow, PyTorch, Theano, MXNet, etc.

types-first-ui - An opinionated framework for building long-lived, maintainable UI codebases

•    TypeScript

Types-First UI is an opinionated framework for building long-lived, maintainable UI codebases. It uses TypeScript and the power of its type system to guarantee the completeness and correctness of a Redux backend that can be connected to React components in a performant way. It places the focus on first defining your system in terms of the data and types that will drive it, then filling in the blanks. This project is inspired heavily by re-frame. Well, first and foremost, it's for us at Avero. This library represents the codification and enforcement of what we have established as our best practices for building interfaces. However, we believe that there is significant value in this approach and that it is worth sharing.

typesafe-react-router - Utility functions to help facilitate type-safe routing with react-router

•    TypeScript

A collection of types and utility functions to facilitate typesafe routing in React-Router. Note: This gif is using the 1.0 array-style API, rather than spread arguments used in 2.0.

typesafe-get - A typesafe way to get nested properties when any parent properties might be undefined, while we wait for the optional chaining operator to finally exist

•    TypeScript

A typesafe way to get nested properties when any parent properties might be undefined, while we wait for the optional chaining operator to finally exist. All parameters are validated as properties at the relevant level, and the return type will always be finalPropType | undefined (the type of the property at the very last level, or undefined).