Here are
71 public repositories
matching this topic...
The complete guide to static typing in "React & Redux" apps using TypeScript
Updated
May 31, 2022
TypeScript
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Updated
Jun 11, 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. Hosts the documentation and a user help forum.
Updated
Jun 2, 2022
Python
Umka: a statically typed embeddable scripting language
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Updated
May 19, 2022
Python
daScript - high-performance statically strong typed scripting language
A new statically typed programming language, syntactically like TypeScript.
The Official Shen Sources
Updated
May 21, 2022
Shen
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
Generate and use stubs for different micropython firmwares to use with vscode and pylance or pylint
Updated
Jun 6, 2022
Python
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
👻 Phantom types for Python
Updated
May 5, 2022
Python
Updated
Jan 18, 2022
Python
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Updated
May 21, 2022
Python
A statically-typed strictly-evaluated garbage-collected readable programming language.
Stubs of common micropython modules to aid in code completion, static typechecking and overall development
Updated
Jun 11, 2022
Python
🛠 Experimental tool to bootstrap typed JavaScript code.
Updated
Nov 22, 2017
JavaScript
Plugin for mypy to support zope.interface
Updated
Jun 8, 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!
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
Updated
Feb 16, 2022
Python
A strongly-typed handy scripting language with type inference
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.