Search Results - RepositoryStats

react-redux-typescript-guide piotrwitek

1.1k

13.4k

mit

216

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

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

Created 2016-12-20

323 commits to master branch, last one 2 years ago

arktype arktypeio

113

6.0k

mit

15

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

parsing javascript typescript static-typing runtime-typechecking

Created 2019-06-21

1,125 commits to main branch, last one 4 days ago

utility-types piotrwitek

230

5.7k

mit

37

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

utilities typescript mapped-types static-typing utility-types

Created 2016-12-13

250 commits to master branch, last one about a year ago

groovy apache

1.9k

5.3k

apache-2.0

229

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

apache groovy compiler jvm-languages static-typing dynamic-typing metaprogramming programming-language functional-programming

Created 2015-04-16

21,517 commits to master branch, last one a day ago

typesafe-actions piotrwitek

98

2.4k

mit

14

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

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

Created 2017-11-14

347 commits to master branch, last one 2 years ago

typing python

255

1.6k

other

65

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

types python typing static-typing gradual-typing

Created 2014-09-29

918 commits to main branch, last one 15 hours ago

umka-lang vtereshkov

56

1.2k

bsd-2-clause

19

Umka: a statically typed embeddable scripting language

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

Created 2020-04-18

966 commits to master branch, last one 3 days ago

daScript GaijinEntertainment

108

979

bsd-3-clause

26

daslang - high-performance statically strong typed scripting language

interpreter static-typing game-development scripting-language programming-language

Created 2018-08-27

9,792 commits to master branch, last one 6 days ago

prometeo zanellia

33

633

bsd-2-clause

15

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

c hpc python compiler transpiler python-to-c static-typing transcompiler static-analysis embedded-systems source-to-source domain-specific-language high-performance-computing

Created 2017-12-26

714 commits to master branch, last one 2 years ago

shen-sources Shen-Language

42

372

other

24

Shen language kernel sources for porters

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

Created 2015-03-15

475 commits to master branch, last one 8 months ago

micropython-stubber Josverl

13

215

other

9

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

mypy typed python vscode pylance pyright mypy-stubs micropython static-typing firmware-stubs micropython-stubs micropython-stubber

Created 2019-03-26

2,469 commits to main branch, last one 15 hours ago

phantom-types antonagestam

9

213

bsd-3-clause

3

Phantom types for Python.

mypy python typing python3 refined validation phantom-types refined-types static-typing static-analysis refinement-types

Created 2020-02-07

247 commits to main branch, last one 2 months ago

micropython-stubs Josverl

24

206

mit

6

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

mypy pylint vscode pylance pyright pyscript mypy-stubs type-stubs micropython pycharm-ide static-typing type-checking awesome-micropython

Created 2020-10-17

2,553 commits to main branch, last one 4 hours ago

cpython juancarlospaco

3

146

mit

5

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

nim cython python python3 compiled nim-lang python-3 python-api typed-python static-typing stdlib-extras inferred-types needs-sponsors python-library python-package high-performance

Created 2021-07-14

718 commits to nim branch, last one 26 days ago

basil basilTeam

11

123

bsd-3-clause

8

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

jit parser compiler language jit-compiler lisp-dialect static-typing programming-language

Created 2020-08-11

31 commits to master branch, last one 3 years ago

faster-than-csv juancarlospaco

8

102

mit

4

Faster CSV for Python

csv tsv speed cython python python3 speedup csv-data type-safe csv-parser tsv-parser csv-parsing csv-to-html csv-to-json process-csv tabular-data static-typing faster-than-csv static-memory-allocation

Created 2018-11-14

562 commits to master branch, last one 3 years ago

refined_type tomoikey

1

74

mit

1

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

rust crate safety library crates-io rust-lang validation type-library refined-types static-typing refinement-types runtime-validation

Created 2023-11-11

368 commits to main branch, last one 4 months ago

mypy-baseline orsinium-labs

9

64

mit

2

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

cli mypy python typing python3 baseline legacy-code static-typing gradual-typing

Created 2022-09-01

140 commits to master branch, last one 2 months ago

ace wbbradley

2

47

other

2

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

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

Created 2019-04-29

1,041 commits to master branch, last one 9 months ago

PyTyping-Course DIMFLIX

0

37

unknown

1

Course on static typing in python

types course python typing python-course static-typing

Created 2024-10-10

2 commits to main branch, last one 6 months ago