Search Results - RepositoryStats

react-redux-typescript-guide piotrwitek

1.1k

13.3k

mit

218

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.5k

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

groovy apache

1.9k

5.2k

apache-2.0

231

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,209 commits to master branch, last one 2 days ago

arktype arktypeio

60

3.9k

mit

15

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

parsing javascript typescript static-typing runtime-typechecking

Created 2019-06-21

972 commits to main branch, last one a day ago

typesafe-actions piotrwitek

97

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

238

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

880 commits to main branch, last one 2 days 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

907 commits to master branch, last one 3 days ago

daScript GaijinEntertainment

102

911

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,247 commits to master branch, last one 18 hours ago

prometeo zanellia

33

622

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

355

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

phantom-types antonagestam

9

202

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

240 commits to main branch, last one 14 days ago

micropython-stubber Josverl

13

180

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

micropython-stubs Josverl

23

161

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

cpython juancarlospaco

3

142

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

713 commits to nim branch, last one 25 days ago

basil basilTeam

11

124

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

56

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

357 commits to main branch, last one 9 days ago

mypy-baseline orsinium-labs

9

55

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 about a month 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 4 months ago