Here are
69 public repositories
matching this topic...
The complete guide to static typing in "React & Redux" apps using TypeScript
Updated
Nov 14, 2020
TypeScript
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Updated
Mar 23, 2022
Java
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
Updated
Oct 9, 2021
TypeScript
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Updated
Jan 12, 2022
TypeScript
Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
Updated
Mar 22, 2022
Python
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Updated
Jan 9, 2022
Python
Umka: a statically typed embeddable scripting language
daScript - high-performance statically strong typed scripting language
A new statically typed programming language, syntactically like TypeScript.
The Official Shen Sources
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Updated
Sep 9, 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
Updated
Mar 23, 2022
Rust
Generate and use stubs for different micropython firmwares to use with vscode and pylance or pylint
Updated
Mar 17, 2022
Python
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
Updated
Jan 18, 2022
Python
👻 Phantom types for Python
Updated
Feb 22, 2022
Python
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Updated
Mar 15, 2022
Python
A statically-typed strictly-evaluated garbage-collected readable programming language.
🛠 Experimental tool to bootstrap typed JavaScript code.
Updated
Nov 22, 2017
JavaScript
Plugin for mypy to support zope.interface
Updated
Mar 15, 2022
Python
Stubs of common micropython modules to aid in code completion, static typechecking and overall development
Updated
Mar 10, 2022
Python
Type declarations for defun et all.
Updated
Feb 3, 2020
Common Lisp
The official compiler for the Quartz programming language
Updated
May 3, 2018
OCaml
Simple and powerful programming language with type inference
Interpreter for old Elara specification, written in Go
Updated
Jul 30, 2019
Rust
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!
A strongly-typed handy scripting language with type inference
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
Updated
Feb 16, 2022
Python
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.