Search Results - RepositoryStats

react-redux-typescript-guide piotrwitek

1.1k

13.4k

mit

217

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

utility-types piotrwitek

230

5.6k

mit

38

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 10 months ago

groovy apache

1.9k

5.2k

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,268 commits to master branch, last one a day ago

arktype arktypeio

65

4.0k

mit

15

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

parsing javascript typescript static-typing runtime-typechecking

Created 2019-06-21

985 commits to main branch, last one 2 days ago

typesafe-actions piotrwitek

98

2.4k

mit

15

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

242

1.6k

other

64

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

types python typing static-typing gradual-typing

Created 2014-09-29

889 commits to main branch, last one a day ago

umka-lang vtereshkov

53

1.1k

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

913 commits to master branch, last one 2 days ago

daScript GaijinEntertainment

102

938

bsd-3-clause

27

daslang - high-performance statically strong typed scripting language

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

Created 2018-08-27

9,351 commits to master branch, last one 19 hours ago

prometeo zanellia

33

624

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

41

361

other

23

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 4 months ago

phantom-types antonagestam

9

205

bsd-3-clause

5

Phantom types for Python.

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

Created 2020-02-07

245 commits to main branch, last one 19 days ago

micropython-stubber Josverl

13

185

other

10

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,567 commits to main branch, last one 4 days ago

micropython-stubs Josverl

23

169

mit

7

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,220 commits to main branch, last one a day ago

cpython juancarlospaco

3

144

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

715 commits to nim branch, last one 6 days ago

basil basilTeam

11

122

bsd-3-clause

9

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

100

mit

5

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 2 years ago

refined_type tomoikey

1

70

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 26 days ago

mypy-baseline orsinium-labs

8

59

mit

3

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

135 commits to master branch, last one 2 months ago

ace wbbradley

2

47

other

3

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 5 months ago