The complete guide to static typing in "React & Redux" apps using TypeScript
#
static-typing
Repositories 34
Typesafe utilities for "action-creators" in Redux / Flux Architecture
TypeScript
Updated Mar 18, 2019
Utility Types for TypeScript (provide migration from Flow's Utility Types)
TypeScript
Updated Mar 2, 2019
Work related to PEP 484: typing.py (released via PyPI) and issue tracker
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Common Lisp
Updated Nov 19, 2018
JavaScript
Updated Nov 22, 2017
The official compiler for the Quartz programming language
programming-language
concurrency
functional-programming
object-oriented
oop
beam
actor-model
session-types
static-typing
type-safety
OCaml
Updated May 3, 2018
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
TypeScript
Updated Sep 1, 2017
Simple and powerful programming language with type inference
C++
Updated Feb 17, 2017
Plugin for mypy to support zope.interface
Python
Updated Mar 10, 2019
The highly-reflective object-oriented Python web framework
Python
Updated Mar 14, 2019
A strongly-typed handy scripting language with type inference
Go
Updated Aug 31, 2018
The Combination of Dynamic and Static Typing from a Categorical Perspective
dynamic-typing
gradual-typing
categorical-semantics
retracts
categorical-model
static-typing
functional-programming
TeX
Updated Sep 21, 2017
A functional programming language with delimited effects.
C++
Updated Jun 8, 2018
Materials of the talk "Typify This"
Updated Feb 6, 2018
Rust
Updated Jan 8, 2018
DEAD -Mangan Programming Language
The project example for the article about API documentation and typings generation with TypeScript, Swashbuckle and A…
C#
Updated Apr 23, 2017
a statically-typed concatenative programming language inspired by sml/cat
C
Updated Jul 27, 2018
Erlang
Updated Oct 18, 2017
Issue tracker for PEP 561 with sample typed package
Python
Updated Jan 7, 2019
A new, experimental programming language
chi
programming-language
experimental
functional-programming
imperative-programming-language
static-typing
JavaScript
Updated Mar 18, 2019
Small and simple programming language.
Go
Updated Feb 12, 2019
This library is primarily used by "types-depot" projects. See: https://github.com/ORESoftware/types-depot
TypeScript
Updated Dec 29, 2018
For runtime type declaration and type checking in plain javascript.
JavaScript
Updated Jun 5, 2018
Typescript type definitions for Salesforce Commerce Cloud
demandware
sfcc
static-typing
javascript
salesforce
salesforce-api
typescript-definitions
types
typescript
Updated Sep 12, 2018
Global Script Typesetting System --- git clone
functional-programming
lisp
parentheses
hate-parentheses
pure-functional
static-typing
static-types
static-typed
C
Updated Feb 21, 2019
Global Script Language Spec / test suite
functional-programming
lisp
parentheses
hate-parentheses
static-typing
static-types
static-typed
pure-functional
pure-functional-master-race
JavaScript
Updated Mar 10, 2019
Some code examples from the book 'Programming in Scala' (3rd ed) by Martin Odersky et al.
scala
martin-odersky
functional-programming
lambda-calculus
static-typing
object-oriented-programming
Scala
Updated Oct 8, 2017
(Concept) Invisible static type checker for JavaScript
babel
typescript
flowtype
static-typing
javascript
type-system
type-checking
type-inference
type-safety
eslint
runtime-typechecking
Updated Jan 21, 2018