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

227

5.4k

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

groovy apache

1.9k

5.1k

apache-2.0

236

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

arktype arktypeio

44

3.6k

mit

12

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

parsing javascript typescript static-typing runtime-typechecking

Created 2019-06-21

883 commits to main branch, last one 2 days 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 about a year ago

typing python

229

1.6k

other

59

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

types python typing static-typing gradual-typing

Created 2014-09-29

837 commits to main branch, last one a day ago

umka-lang vtereshkov

53

992

bsd-2-clause

17

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

854 commits to master branch, last one a day ago

daScript GaijinEntertainment

95

838

bsd-3-clause

24

daScript - high-performance statically strong typed scripting language

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

Created 2018-08-27

8,708 commits to master branch, last one 7 hours ago

prometeo zanellia

33

617

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

39

346

other

23

Shen language kernel sources for porters

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

Created 2015-03-15

466 commits to master branch, last one about a month ago

phantom-types antonagestam

9

187

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

211 commits to main branch, last one 4 months ago

micropython-stubber Josverl

14

162

other

9

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

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

Created 2019-03-26

2,475 commits to main branch, last one 2 days ago

cpython juancarlospaco

3

139

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

708 commits to nim branch, last one 3 days ago

micropython-stubs Josverl

21

128

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,012 commits to main branch, last one 8 hours ago

basil basilTeam

10

120

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

faster-than-csv juancarlospaco

7

97

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

mypy-baseline orsinium-labs

8

50

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

131 commits to master branch, last one 10 days ago

zion zionlang

2

46

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,033 commits to master branch, last one about a year ago