The complete guide to static typing in "React & Redux" apps using TypeScript
-
Updated
Nov 14, 2020 - TypeScript
#
static-typing
Here are 57 public repositories matching this topic...
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
programming-language
groovy
compiler
functional-programming
dynamic-typing
metaprogramming
jvm-languages
static-typing
-
Updated
Jul 31, 2021 - Java
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
-
Updated
Jun 8, 2021 - TypeScript
Typesafe utilities for "action-creators" in Redux / Flux Architecture
-
Updated
Dec 8, 2020 - TypeScript
Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.
-
Updated
Jun 27, 2021 - Python
Umka: a statically typed embeddable scripting language
c
programming-language
interpreter
cross-platform
compiler
virtual-machine
coroutines
concurrency
fibers
scripting-language
static-typing
-
Updated
Jul 25, 2021 - C
-
Updated
May 17, 2021 - C++
daScript - high-performance statically strong typed scripting language
-
Updated
Jul 30, 2021 - C++
The Official Shen Sources
-
Updated
Mar 7, 2021 - Shen
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
-
Updated
Jan 25, 2021 - Common Lisp
Inko is a statically-typed, safe, object-oriented programming language for writing concurrent programs. This is a read-only mirror of https://gitlab.com/inko-lang/inko
language
programming-language
rust
compiler
object-oriented
interpreted-programming-language
static-typing
-
Updated
Jul 30, 2021 - Rust
Faster CSV for Python
python
tsv
csv
cython
tabular-data
python3
speed
type-safe
csv-parser
speedup
csv-parsing
static-typing
csv-data
tsv-parser
csv-to-json
csv-to-html
static-memory-allocation
faster-than-csv
process-csv
-
Updated
May 16, 2021 - Python
Lisp dialect featuring highly flexible syntax, arbitrary compile-time evaluation, and static types! Compiles JIT or AOT to x86 machine code.
-
Updated
Jun 24, 2021 - C++
A statically-typed strictly-evaluated garbage-collected readable programming language.
programming-language
compiler
llvm
ffi
lambda-calculus
typeclass
polymorphism
type-safety
hindley-milner
zion
static-typing
system-f
llvm-compiler
garbage-collect
newtypes
-
Updated
Jan 13, 2021 - C++
-
Updated
Nov 22, 2017 - JavaScript
Plugin for mypy to support zope.interface
-
Updated
Jun 24, 2021 - Python
The official compiler for the Quartz programming language
programming-language
functional-programming
beam
oop
actor-model
concurrency
object-oriented
type-safety
session-types
static-typing
-
Updated
May 3, 2018 - OCaml
Simple and powerful programming language with type inference
-
Updated
Feb 17, 2017 - C++
Elara is a multi-paradigm language focusing on developer's freedom in code
-
Updated
Jul 8, 2021 - Go
-
Updated
Jul 30, 2019 - Rust
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
-
Updated
Sep 1, 2017 - TypeScript
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
python
c
compiler
hpc
static-analysis
transpiler
embedded-systems
high-performance-computing
source-to-source
domain-specific-language
static-typing
transcompiler
python-to-c
-
Updated
Feb 18, 2021 - Python
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
-
Updated
Mar 28, 2019 - Go
A strongly-typed handy scripting language with type inference
-
Updated
Aug 31, 2018 - Go
The highly-reflective object-oriented Python web framework
-
Updated
Jun 18, 2021 - Python
A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
-
Updated
Jul 7, 2021 - Python
The Combination of Dynamic and Static Typing from a Categorical Perspective
functional-programming
dynamic-typing
gradual-typing
categorical-semantics
retracts
static-typing
categorical-model
-
Updated
Sep 21, 2017 - TeX
An imperative, object-oriented, static and type-infered programming language.
-
Updated
Jun 29, 2021 - C#
Improve this page
Add a description, image, and links to the static-typing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-typing topic, visit your repo's landing page and select "manage topics."
It's proven useful elsewhere :)