Here are
46 public repositories
matching this topic...
The complete guide to static typing in "React & Redux" apps using TypeScript
Updated
Mar 4, 2020
TypeScript
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Updated
Sep 13, 2020
Java
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
Updated
Sep 12, 2020
TypeScript
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Updated
Aug 22, 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
Aug 23, 2020
Python
The Official Shen Sources
Updated
Feb 23, 2020
Shen
Umka: a statically typed embeddable scripting language
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Updated
Aug 30, 2020
Common Lisp
🛠 Experimental tool to bootstrap typed JavaScript code.
Updated
Nov 22, 2017
JavaScript
Plugin for mypy to support zope.interface
Updated
Jul 25, 2020
Python
Simple and powerful programming language with type inference
The official compiler for the Quartz programming language
Updated
May 3, 2018
OCaml
A statically-typed strict garbage-collected powerful but not too-powerful readable programming language with enough side-effects to make it fun.
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
Updated
Sep 1, 2017
TypeScript
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
Updated
Jul 30, 2019
Rust
The highly-reflective object-oriented Python web framework
Updated
Sep 7, 2020
Python
A strongly-typed handy scripting language with type inference
The Combination of Dynamic and Static Typing from a Categorical Perspective
FLY a Domain Specific Language for scientific computing on the Multi Cloud
Updated
Aug 31, 2020
Xtend
Materials of the talk "Typify This"
Typescript type definitions for Salesforce Commerce Cloud
StaticScript is a programming language, syntactically like TypeScript.
An imperative, object-oriented, static and type-infered programming language.
A new, experimental programming language
Updated
Apr 22, 2020
JavaScript
The project example for the article about API documentation and typings generation with TypeScript, Swashbuckle and AutoRest.
Strongly-Typed Validators for TypeScript
Updated
Dec 20, 2018
TypeScript
Python Switcher water heater integration module
Updated
Sep 10, 2020
Python
Updated
Oct 18, 2017
Erlang
Improve this page
Add a description, image, and links to the
static-typing
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
The current architecture of the CLI forces the programming language to route through the runner while having a lot of the actions regarding arguments also occurring there. This may need to be changed to have the run function in the main.rs file take in a reference to the arguments and have the code run through there instead.