static-typing

Star

Here are 47 public repositories matching this topic...

piotrwitek / react-redux-typescript-guide

Star

The complete guide to static typing in "React & Redux" apps using TypeScript

react redux flow typescript patterns style-guide guide guidelines static-typing

Updated Mar 4, 2020
TypeScript

apache / groovy

Star

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 Aug 10, 2020
Java

piotrwitek / utility-types

Star

Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).

typescript utilities static-typing utility-types mapped-types

Updated Aug 7, 2020
TypeScript

piotrwitek / typesafe-actions

Star

Typesafe utilities for "action-creators" in Redux / Flux Architecture

redux javascript typescript redux-actions static-typing action-creator

Updated Aug 7, 2020
TypeScript

python / typing

Star

Work related to PEP 484: typing.py (released via PyPI) and issue tracker

python types typing gradual-typing static-typing

Updated Jul 21, 2020
Python

Shen-Language / shen-sources

Star

The Official Shen Sources

programming-language lisp functional-programming prolog shen logic-programming static-typing

Updated Feb 23, 2020
Shen

stylewarning / coalton

Star

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

lisp functional-programming common-lisp ml static-typing

Updated Aug 4, 2020
Common Lisp

vtereshkov / umka-lang

Star

Umka: a statically typed embeddable scripting language

c programming-language interpreter cross-platform compiler virtual-machine coroutines concurrency fibers scripting-language static-typing

Updated Aug 10, 2020
C

andywer / gear

Star

🛠 Experimental tool to bootstrap typed JavaScript code.

javascript types flowtype babeljs static-typing

Updated Nov 22, 2017
JavaScript

Shoobx / mypy-zope

Star

Plugin for mypy to support zope.interface

python plugin mypy static-typing zope

Updated Jul 25, 2020
Python

iitalics / Opal

Star

Simple and powerful programming language with type inference

programming-language functional-programming type-inference static-typing

Updated Feb 17, 2017
C++

OhadRau / Quartz

Star

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

blaugold / firebase-rxjs

Star

Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.

firebase angular typescript rxjs zone static-typing

Updated Sep 1, 2017
TypeScript

zionlang / zion

Star

A statically-typed strict garbage-collected powerful but not too-powerful readable programming language with enough side-effects to make it fun.

programming-language compiler llvm ffi lambda-calculus typeclass type-safety hindley-milner zion static-typing system-f llvm-compiler garbage-collect

Updated Aug 9, 2020
C++

suhr / conc

Star

language programming-language concatenative static-typing

Updated Jul 30, 2019
Rust

akshitgrover / jogo

Star

JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!

golang json reflection static-typing

Updated Mar 28, 2019
Go

keotl / jivago

Star

The highly-reflective object-oriented Python web framework

python reflection rest-api web-framework static-typing

Updated Jul 26, 2020
Python

szktty / trompe

Star

A strongly-typed handy scripting language with type inference

swift scripting-language command-line-tool type-inference strongly-typed static-typing

Updated Aug 31, 2018
Go

ct-gradual-typing / Papers

Star

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

spagnuolocarmine / FLY-language

Star

FLY a Domain Specific Language for scientific computing on the Multi Cloud

programming-language distributed-systems cloud scripting-language dynamic-type cloud-computing domain-specific-language static-typing function-as-a-service distributed-operating-systems fly-language

Updated May 26, 2020
Xtend

AlexanderShushunov / flow-it-night

Star

Materials of the talk "Typify This"

react flow create-react-app tic-tac-toe talk static-typing it-night

Updated Feb 6, 2018

Jomtek / LazenLang

Star

An imperative, object-oriented, static and type-infered programming language.

compiler inference object-oriented-programming static-typing lazen

Updated Aug 11, 2020
C#

kdex / chi

Star

A new, experimental programming language

programming-language experimental functional-programming imperative-programming-language chi static-typing

Updated Apr 22, 2020
JavaScript

gordey4doronin / fully-typed-example

Star

The project example for the article about API documentation and typings generation with TypeScript, Swashbuckle and AutoRest.

typescript swagger autorest swashbuckle static-typing

Updated Apr 23, 2017
C#

Spyryto / sfcc-types

Star

Typescript type definitions for Salesforce Commerce Cloud

javascript typescript types salesforce typescript-definitions demandware salesforce-api static-typing sfcc

Updated Sep 12, 2018

StaticScript / StaticScript

Star

StaticScript is a programming language, syntactically like TypeScript.

language typescript static-typing strong-typing staticscript

Updated Aug 11, 2020
C++

cpascoe95 / typed-validation

Star

Strongly-Typed Validators for TypeScript

typescript validation validation-library static-typing

Updated Dec 20, 2018
TypeScript

TomerFi / aioswitcher

Star

Python Switcher water heater integration module

asynchronous pypi poetry switcher static-typing python-module pypi-package water-heater

Updated Aug 10, 2020
Python

obrok / yl

Star

programming-language erlang beam static-typing

Updated Oct 18, 2017
Erlang

lnsp / tea-go

Star

Small and simple programming language.

go programming-language interpreter dynamic static-typing

Updated Feb 12, 2019
Go

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