arktypeio/arktype

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

Language: TypeScript - Size: 180 MB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 3,373 - Forks: 41

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: about 13 hours ago - Pushed: 3 months ago - Stars: 5,356 - Forks: 227

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: about 13 hours ago - Pushed: almost 2 years ago - Stars: 13,319 - Forks: 1,082

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: 19 days ago - Pushed: 19 days ago - Stars: 46 - Forks: 6

piotrwitek/typesafe-actions

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

Language: TypeScript - Size: 1.63 MB - Last synced: about 13 hours ago - Pushed: 4 months ago - Stars: 2,412 - Forks: 97

juancarlospaco/cpython

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

Language: Python - Size: 37.2 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 135 - Forks: 3

AlexanderShushunov/flow-it-night

Materials of the talk "Typify This"

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

antonagestam/phantom-types

Phantom types for Python.

Language: Python - Size: 1.87 MB - Last synced: 3 days ago - Pushed: 3 months ago - Stars: 183 - Forks: 9

JAD200/curso_profesional_Python

Language: Python - Size: 10.7 KB - Last synced: 12 days ago - Pushed: almost 2 years ago - Stars: 1 - 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: 13 days ago - Pushed: almost 2 years ago - Stars: 0 - 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: 13 days ago - Pushed: 13 days ago - Stars: 20 - Forks: 3

GaijinEntertainment/daScript

daScript - high-performance statically strong typed scripting language

Language: C - Size: 81.3 MB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 788 - Forks: 92

keotl/jivago

The highly-reflective object-oriented Python web framework

Language: Python - Size: 514 KB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 12 - Forks: 1

Josverl/micropython-stubber

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

Language: Python - Size: 70.7 MB - Last synced: 18 days ago - Pushed: 19 days ago - Stars: 151 - Forks: 12

apache/groovy

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

Language: Java - Size: 206 MB - Last synced: 19 days ago - Pushed: 21 days ago - Stars: 5,082 - Forks: 1,852

python/typing

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

Language: Python - Size: 2.59 MB - Last synced: 19 days ago - Pushed: 20 days ago - Stars: 1,543 - Forks: 222

vtereshkov/umka-lang

Umka: a statically typed embeddable scripting language

Language: C - Size: 20.9 MB - Last synced: 17 days ago - Pushed: 18 days ago - Stars: 966 - Forks: 54

Josverl/micropython-stubs

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

Language: Python - Size: 48.1 MB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 112 - Forks: 19

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: 15 days ago - Pushed: almost 2 years ago - Stars: 616 - Forks: 33

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: about 21 hours ago - Pushed: over 2 years ago - Stars: 209 - Forks: 7

tarsil/polyforce

Enforce annotations in your python code

Language: Python - Size: 133 KB - Last synced: 1 day ago - Pushed: 4 months ago - Stars: 6 - Forks: 0

juancarlospaco/faster-than-csv

Faster CSV for Python

Language: Python - Size: 15.5 MB - Last synced: about 16 hours ago - Pushed: over 2 years ago - Stars: 95 - Forks: 7

tomchochola/typescript-config

Enhance TypeScript projects with our Config: streamlined setup embracing the latest features and best practices for superior code quality. Ideal for all TypeScript-based development.

Language: JavaScript - Size: 9.77 KB - Last synced: about 14 hours ago - Pushed: 29 days ago - Stars: 1 - Forks: 0

Shen-Language/shen-sources

Shen language kernel sources for porters

Language: Shen - Size: 1.16 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 342 - Forks: 37

Jackojc/klaxon

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

Language: C++ - Size: 190 KB - Last synced: about 16 hours ago - Pushed: over 1 year ago - Stars: 20 - Forks: 1

adeyahya/prisma-typebox-generator

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

Language: TypeScript - Size: 170 KB - Last synced: 2 days ago - Pushed: 2 months ago - Stars: 22 - Forks: 20

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

Rock Solid Python with Type Hints Course Student Materials

Language: Python - Size: 432 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

QuangTung97/svloc

A DI Container alternative for Go

Language: Go - Size: 86.9 KB - Last synced: 17 days ago - Pushed: 3 months ago - Stars: 4 - Forks: 1

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: about 1 month ago - Pushed: over 2 years ago - Stars: 118 - Forks: 9

maxbarsukov/waddle

🦩 Object-oriented static-typing language

Language: TypeScript - Size: 531 KB - Last synced: 23 days ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0

nathsou/poy

Programming language targeting JavaScript with Type Rewriting

Language: TypeScript - Size: 504 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 3 - Forks: 1

zaidharoon001/junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

Language: Haskell - Size: 1.68 MB - Last synced: 18 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

spikedengineering/svst

Strongly Typed Python

Language: Python - Size: 64.5 KB - Last synced: 3 days ago - Pushed: 5 months ago - Stars: 4 - 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: 6 months ago - Pushed: about 4 years ago - Stars: 34 - Forks: 1

Shoobx/mypy-zope

Plugin for mypy to support zope.interface

Language: Python - Size: 368 KB - Last synced: 3 days ago - Pushed: 8 days ago - Stars: 38 - Forks: 9

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: 6 months ago - Pushed: 6 months ago - Stars: 0 - 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: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

oyi-lang/oyi

The Oyi Programming Language.

Language: Rust - Size: 8.79 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

StaticScript/StaticScript 📦

A new statically typed programming language, syntactically like TypeScript.

Language: C++ - Size: 194 KB - Last synced: 6 months ago - Pushed: almost 3 years ago - Stars: 339 - Forks: 16

ElaraLang/elara-go 📦

Interpreter for old Elara specification, written in Go

Language: Go - Size: 21.5 MB - Last synced: 2 days ago - Pushed: over 2 years ago - Stars: 17 - Forks: 1

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: 9 days ago - Pushed: 10 months ago - Stars: 9 - Forks: 0

Turabek07/Deep-Javascript-Foundations

Language: JavaScript - Size: 15.6 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

AceExpert/type-enforce-py

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

Language: Python - Size: 13.7 KB - Last synced: 20 days ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

ethanhs/pep-561

Issue tracker for PEP 561 with sample typed package

Language: Python - Size: 11.7 KB - Last synced: 1 day ago - Pushed: over 5 years ago - Stars: 5 - Forks: 3

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: 10 months ago - Pushed: about 5 years ago - Stars: 15 - Forks: 1

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: 23 days ago - Pushed: over 2 years ago - Stars: 6 - Forks: 1

szktty/trompe

A strongly-typed handy scripting language with type inference

Language: Go - Size: 325 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 13 - Forks: 0

antonagestam/injected

Simple, type-safe dependency injection in idiomatic Python.

Language: Python - Size: 31.3 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 4 - Forks: 1

charlespascoe/typed-validation

Strongly-Typed Validators for TypeScript

Language: TypeScript - Size: 120 KB - Last synced: 2 months ago - Pushed: 12 months ago - Stars: 3 - Forks: 1

jomtek/LazenLang

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

Language: C# - Size: 3.47 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 5 - Forks: 0

OhadRau/Quartz

The official compiler for the Quartz programming language

Language: OCaml - Size: 110 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 27 - Forks: 0

mohamedgamalmoha/Py-Structure

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

Language: Python - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

spagnuolocarmine/FLY-language

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

Language: Xtend - Size: 37.2 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 11 - Forks: 3

Spyryto/sfcc-types

Typescript type definitions for Salesforce Commerce Cloud

Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 10 - Forks: 2

TheTechRobo/strongly-typed

Python module to enforce strong typing at runtime

Language: Python - Size: 70.3 KB - Last synced: 12 days ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

zionlang/zion

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

Language: C++ - Size: 25.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 41 - Forks: 2

nikolashn/basque

The C Basque compiler.

Language: C - Size: 805 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 9 - 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: 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

MarcoGorelli/dequote-annotations 📦

Replace string literal type hints

Language: Python - Size: 33.2 KB - Last synced: 1 day ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

Hacker-007/envious

A Simplistic Programming Language That Targets the LLVM.

Language: Rust - Size: 262 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 10 - Forks: 3

pradosh-arduino/Melon-Language

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

Language: C# - Size: 541 KB - Last synced: about 14 hours ago - Pushed: about 1 year ago - Stars: 5 - Forks: 1

iitalics/Opal

Simple and powerful programming language with type inference

Language: C++ - Size: 339 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 22 - Forks: 0

juancarlospaco/repo-template

Repo Template

Language: Nim - Size: 56.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

andywer/gear

🛠 Experimental tool to bootstrap typed JavaScript code.

Language: JavaScript - Size: 39.1 KB - Last synced: about 13 hours ago - Pushed: over 6 years ago - Stars: 33 - Forks: 2

geethalladi/algorithms

Building algorithmic abstractions

Language: Python - Size: 302 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - 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: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 1

Kenneth-hv/typeparse

Runtime object parsing and validation with static TypeScript typing.

Language: TypeScript - Size: 143 KB - Last synced: 14 days ago - Pushed: about 2 years ago - Stars: 4 - Forks: 0

GandelXIV/pytack

A python type anotation checker

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

blaugold/firebase-rxjs

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

Language: TypeScript - Size: 806 KB - Last synced: about 16 hours ago - Pushed: over 6 years ago - Stars: 17 - Forks: 4

Miqueas/Static

Basic support for static typing in Lua

Language: Lua - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 4 - Forks: 1

1ns4w/static-typing-python3

Static typing in Python using Mypy

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

jonathancast/globalscript

Global Script Typesetting System --- git clone

Language: C - Size: 5.28 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - 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: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

ct-gradual-typing/Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective

Language: TeX - Size: 38.4 MB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 10 - Forks: 0

Bannerets/flow-vect

Strongly typed Data.Vect in JS with Flowtype

Language: JavaScript - Size: 46.9 KB - Last synced: 6 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

jonathancast/globalscript-spec

Global Script Language Spec / test suite

Language: JavaScript - Size: 72.3 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - 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: 8 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

obrok/yl

Language: Erlang - Size: 667 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

jeffmcmahan/Function.check

For runtime type declaration and type checking in plain javascript.

Language: JavaScript - Size: 110 KB - Last synced: 28 days ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

transpiling/invisible-ts

(Concept) Invisible static type checker for JavaScript

Size: 48.8 KB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 0 - 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: about 1 year ago - Pushed: about 7 years ago - Stars: 4 - Forks: 1

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: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0