piotrwitek/react-redux-typescript-guide

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

Language: TypeScript - Size: 2.8 MB - Last synced at: 11 days ago - Pushed at: almost 3 years ago - Stars: 13,360 - Forks: 1,086

arktypeio/arktype

TypeScript's 1:1 validator, optimized from editor to runtime

Language: TypeScript - Size: 13 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 5,918 - Forks: 112

piotrwitek/utility-types

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

Language: TypeScript - Size: 565 KB - Last synced at: 11 days ago - Pushed at: 9 months ago - Stars: 5,655 - Forks: 230

apache/groovy

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

Language: Java - Size: 208 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 5,284 - Forks: 1,903

piotrwitek/typesafe-actions

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

Language: TypeScript - Size: 1.63 MB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 2,405 - Forks: 98

python/typing

Python static typing home. Hosts the documentation and a user help forum.

Language: Python - Size: 3.15 MB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 1,649 - Forks: 252

vtereshkov/umka-lang

Umka: a statically typed embeddable scripting language

Language: C - Size: 35.1 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1,156 - Forks: 56

GaijinEntertainment/daScript

daslang - high-performance statically strong typed scripting language

Language: C - Size: 98.6 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 975 - Forks: 109

zanellia/prometeo

An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing

Language: Python - Size: 1.93 MB - Last synced at: 12 days ago - Pushed at: almost 3 years ago - Stars: 632 - Forks: 33

Shen-Language/shen-sources

Shen language kernel sources for porters

Language: Shen - Size: 1.42 MB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 357 - Forks: 41

StaticScript/StaticScript 📦

A new statically typed programming language, syntactically like TypeScript.

Language: C++ - Size: 194 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 337 - Forks: 14

Josverl/micropython-stubber

Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

Language: Python - Size: 73.6 MB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 214 - Forks: 14

antonagestam/phantom-types

Phantom types for Python.

Language: Python - Size: 2.11 MB - Last synced at: 3 days ago - Pushed at: 19 days ago - Stars: 213 - Forks: 9

stylewarning/deprecated-coalton-prototype 📦

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

Language: Common Lisp - Size: 146 KB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 209 - Forks: 7

Josverl/micropython-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

Language: Python - Size: 56.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 205 - Forks: 24

juancarlospaco/cpython

Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim

Language: Python - Size: 37.2 MB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 141 - Forks: 3

basilTeam/basil

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

Language: C++ - Size: 2.42 MB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 120 - Forks: 10

juancarlospaco/faster-than-csv

Faster CSV for Python

Language: Python - Size: 15.5 MB - Last synced at: 19 days ago - Pushed at: over 3 years ago - Stars: 102 - Forks: 8

tomoikey/refined_type

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

Language: Rust - Size: 337 KB - Last synced at: 24 days ago - Pushed at: 5 months ago - Stars: 74 - Forks: 1

wbbradley/ace

A statically-typed strictly-evaluated garbage-collected readable programming language.

Language: C++ - Size: 25.8 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 46 - Forks: 2

orsinium-labs/mypy-baseline

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

Language: Python - Size: 468 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 6

Shoobx/mypy-zope

Plugin for mypy to support zope.interface

Language: Python - Size: 410 KB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 39 - Forks: 13

DIMFLIX/PyTyping-Course

Course on static typing in python

Size: 514 KB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 37 - Forks: 0

lisp-maintainers/defstar

Type declarations for defun et all. Just a mirror. Ask for push acess!

Language: Common Lisp - Size: 87.9 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 34 - Forks: 1

andywer/gear

🛠 Experimental tool to bootstrap typed JavaScript code.

Language: JavaScript - Size: 39.1 KB - Last synced at: 12 days ago - Pushed at: over 7 years ago - Stars: 33 - Forks: 2

adeyahya/prisma-typebox-generator

typebox ( typescript static type & json schema ) generator for Prisma 2

Language: TypeScript - Size: 169 KB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 29 - Forks: 30

OhadRau/Quartz

The official compiler for the Quartz programming language

Language: OCaml - Size: 110 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 27 - Forks: 0

iitalics/Opal

Simple and powerful programming language with type inference

Language: C++ - Size: 339 KB - Last synced at: 15 days ago - Pushed at: about 8 years ago - Stars: 24 - Forks: 0

juancarlospaco/choosenim_install

Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim

Language: Python - Size: 17.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 20 - Forks: 3

Jackojc/klaxon

Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).

Language: C++ - Size: 190 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 1

blaugold/firebase-rxjs

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

Language: TypeScript - Size: 806 KB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 17 - Forks: 4

ElaraLang/elara-go 📦

Interpreter for old Elara specification, written in Go

Language: Go - Size: 21.5 MB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 1

talkpython/rock-solid-python-with-type-hints-course

Rock Solid Python with Type Hints Course Student Materials

Language: Python - Size: 433 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 15 - Forks: 8

akshitgrover/jogo

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

Language: Go - Size: 25.4 KB - Last synced at: 16 days ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 1

szktty/trompe

A strongly-typed handy scripting language with type inference

Language: Go - Size: 325 KB - Last synced at: 20 days ago - Pushed at: over 6 years ago - Stars: 14 - Forks: 0

data-apis/array-api-typing

Static typing support for the array API standard

Size: 23.4 KB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 12 - Forks: 3

keotl/jivago

The highly-reflective object-oriented Python web framework

Language: Python - Size: 526 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 12 - Forks: 1

spagnuolocarmine/FLY-language

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

Language: Xtend - Size: 37.2 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 3

Spyryto/sfcc-types

Typescript type definitions for Salesforce Commerce Cloud

Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 10 - Forks: 2

ct-gradual-typing/Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

Language: TeX - Size: 38.4 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 0

thoughtspile/type2type

Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!

Language: TypeScript - Size: 12.7 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 9 - Forks: 0

nikolashn/basque

The C Basque compiler.

Language: C - Size: 805 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0

jomtek/LazenLang

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

Language: C# - Size: 3.47 MB - Last synced at: 8 days ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 1

elricmann/esper 📦

expression-based language that targets C++17^ (declarative type composition, pattern matching, pointers & references, type predicates, aliases, polymorphic constraints)

Language: Rust - Size: 79.1 KB - Last synced at: 22 days ago - Pushed at: 7 months ago - Stars: 7 - Forks: 1

tarsil/polyforce

Enforce annotations in your python code

Language: Python - Size: 133 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

hephaestus-compiler-project/types-bug-study-artifact

Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".

Language: Python - Size: 7.36 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

AlexanderShushunov/flow-it-night

Materials of the talk "Typify This"

Size: 114 KB - Last synced at: 16 days ago - Pushed at: about 7 years ago - Stars: 6 - Forks: 0

QuangTung97/svloc

A DI Container alternative for Go

Language: Go - Size: 86.9 KB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 1

emmatyping/pep-561

Issue tracker for PEP 561 with sample typed package

Language: Python - Size: 11.7 KB - Last synced at: 2 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 3

pradosh-arduino/Melon-Language

😉 Simple, 💾 High & Low Level, 👨‍💻 PPL

Language: C# - Size: 541 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 4 - Forks: 1

noitlang/noit

Concurrency-oriented functional programming language that compiles to C. Still in very early development 🚧

Size: 1.81 MB - Last synced at: 6 days ago - Pushed at: 11 months ago - Stars: 4 - Forks: 0

spikedengineering/svst

Strongly Typed Python

Language: Python - Size: 64.5 KB - Last synced at: 11 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

charlespascoe/typed-validation

Strongly-Typed Validators for TypeScript

Language: TypeScript - Size: 120 KB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1

antonagestam/injected

Simple, type-safe dependency injection in idiomatic Python.

Language: Python - Size: 31.3 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1

Kenneth-hv/typeparse

Runtime object parsing and validation with static TypeScript typing.

Language: TypeScript - Size: 143 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

Miqueas/Static

Basic support for static typing in Lua

Language: Lua - Size: 52.7 KB - Last synced at: 8 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

maxbarsukov/waddle

🦩 Object-oriented static-typing language

Language: TypeScript - Size: 531 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

gordey4doronin/fully-typed-example

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

Language: C# - Size: 712 KB - Last synced at: 6 days ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1

nathsou/poy

Programming language targeting JavaScript with Type Rewriting

Language: TypeScript - Size: 645 KB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

AceExpert/type-enforce-py

Supports enforcing type annotations on functions and coroutines. Complete support for types from typing module.

Language: Python - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

akyuute/gock-lang

The Gock programming language.

Language: Rust - Size: 15.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

oyi-lang/oyi

The Oyi Programming Language.

Language: Rust - Size: 8.79 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

CalinZBaenen/HotTea

A Javascript library that intends to bridge the gap of JavaScript not natively having statically-typed classes. (Orphaned, for now.)

Language: JavaScript - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

obrok/yl

Language: Erlang - Size: 667 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

yevheniiairapetian/myFlix-Angular-client

This project contains the front-end part of the R3play back-end for displaying the information about movies written with Angular

Language: TypeScript - Size: 983 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

TheTechRobo/strongly-typed

Python module to enforce strong typing at runtime

Language: Python - Size: 70.3 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Turabek07/Deep-Javascript-Foundations

Language: JavaScript - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

juancarlospaco/repo-template

Repo Template

Language: Nim - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

JAD200/curso_profesional_Python

Language: Python - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

GandelXIV/pytack

A python type anotation checker

Language: Rust - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

owaismohsin001/junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

Language: Haskell - Size: 1.68 MB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

MarcoGorelli/dequote-annotations 📦

Replace string literal type hints

Language: Python - Size: 33.2 KB - Last synced at: 11 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

trevor-leach/aws-lambda-type-annotations

Python stub file that contains typing information for various AWS services' lambda handler functions

Language: Python - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

TypeAware/type-creator

This library is primarily used by "types-depot" projects. See: https://github.com/ORESoftware/types-depot

Language: TypeScript - Size: 62.5 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

jeffmcmahan/Function.check

For runtime type declaration and type checking in plain javascript.

Language: JavaScript - Size: 110 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

abelcheung/pytest-revealtype-injector

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

Language: Python - Size: 167 KB - Last synced at: 2 days ago - Pushed at: 29 days ago - Stars: 0 - Forks: 0

solaeus/dust

Fast, safe and easy-to-use language for general-purpose programming.

Language: Rust - Size: 7.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Pilusx/ocamlhi

Caml interpreter written in Haskell

Language: Haskell - Size: 339 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

antonsynd/sidewinder

A statically-typed Pythonic language that transpiles to C++20

Language: Python - Size: 109 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Ziyad-Beyg/Learning-Modern-Python

Checkout Official Repo

Language: Jupyter Notebook - Size: 6.85 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

karthik-d/type-inference-tools-playground

Resource compilation, experiments, and tests on Symbolic Execution, Type Inference and Property-Guided Testing of python programs

Language: Python - Size: 3.79 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mohamedgamalmoha/Py-Structure

The package allows static typing during execution time (Beta version)

Language: Python - Size: 26.4 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

geethalladi/algorithms

Building algorithmic abstractions

Language: Python - Size: 302 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

baconcheese113/graphql-flutter-artemis-example

Simple example project using GraphQL-Flutter and Artemis for static type generation

Language: Dart - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

1ns4w/static-typing-python3

Static typing in Python using Mypy

Size: 3.19 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

jonathancast/globalscript

Global Script Typesetting System --- git clone

Language: C - Size: 5.28 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

tomasz-zablocki/redux-orm-typesafe-schema 📦

!!! NO LONGER SUPPORTED - USE LATEST @types/redux-orm DECLARATIONS INSTEAD

Language: TypeScript - Size: 257 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

jonathancast/globalscript-spec

Global Script Language Spec / test suite

Language: JavaScript - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

transpiling/invisible-ts

(Concept) Invisible static type checker for JavaScript

Size: 48.8 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

vishallama/programming-in-scala

Some code examples from the book 'Programming in Scala' (3rd ed) by Martin Odersky et al.

Language: Scala - Size: 53.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

R6/basil-lang

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

Language: C++ - Size: 1.21 MB - Last synced at: 10 months ago - Stars: 0 - Forks: 0

R6/daScript

daScript - high-performance statically strong typed scripting language

Language: C - Size: 92.6 MB - Last synced at: 10 months ago - Stars: 0 - Forks: 0