Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Static Typing Open Source Projects

Open source projects categorized as Static Typing
Categories > Static Typing
React Redux Typescript Guide ⭐ 11,926
The complete guide to static typing in "React & Redux" apps using TypeScript
most recent commit 2 years ago
Utility Types ⭐ 5,208
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
dependent packages 1,322total releases 20most recent commit 3 months agonpm utility-types} Downloads
Groovy ⭐ 5,028
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
dependent packages 2,463total releases 215most recent commit 3 months ago
Arktype ⭐ 3,130
TypeScript's 1:1 validator, optimized from editor to runtime
dependent packages 30total releases 43most recent commit 3 months agonpm arktype} Downloads
Typesafe Actions ⭐ 2,416
Typesafe utilities for "action-creators" in Redux / Flux Architecture
dependent packages 299total releases 51most recent commit 4 months agonpm typesafe-actions} Downloads
Typing ⭐ 1,503
Python static typing home. Hosts the documentation and a user help forum.
dependent packages 1,792total releases 16most recent commit 3 months agopypi typing} Downloads
Umka Lang ⭐ 928
Umka: a statically typed embeddable scripting language
most recent commit 3 months ago
Dascript ⭐ 758
daScript - high-performance statically strong typed scripting language
most recent commit 3 months ago
Prometeo ⭐ 515
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
total releases 12most recent commit 2 years ago
Staticscript ⭐ 340
🎉🎉🎉 A new statically typed programming language, syntactically like TypeScript.
most recent commit 3 years ago
Shen Sources ⭐ 327
The Official Shen Sources
total releases 1most recent commit 3 months ago
Deprecated Coalton Prototype ⭐ 216
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
most recent commit 3 years ago
Phantom Types ⭐ 171
Phantom types for Python.
dependent packages 4total releases 37most recent commit 4 months agopypi phantom-types} Downloads
Micropython Stubber ⭐ 142
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or pylint
dependent packages 1total releases 62most recent commit 3 months agopypi micropython-stubber} Downloads
Cpython ⭐ 131
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
most recent commit 3 months ago
Micropython Stubs ⭐ 99
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
dependent packages 32total releases 3most recent commit 3 months agopypi micropython-stdlib-stubs} Downloads
Faster Than Csv ⭐ 72
Faster CSV for Python
total releases 24most recent commit 2 years ago
Basil ⭐ 62
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
most recent commit 2 years ago
Zion ⭐ 39
A statically-typed strictly-evaluated garbage-collected readable programming language.
most recent commit a year ago
Mypy Baseline ⭐ 38
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
total releases 19most recent commit 5 months ago
Mypy Zope ⭐ 38
Plugin for mypy to support zope.interface
dependent packages 5total releases 34most recent commit 4 months agopypi mypy-zope} Downloads
Gear ⭐ 32
🛠 Experimental tool to bootstrap typed JavaScript code.
most recent commit 6 years ago
Defstar ⭐ 20
Type declarations for defun et all.
most recent commit 4 years ago
The 10 Most Depended On Static Typing Open Source Projects
Groovy ⭐ 5,028
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
dependent packages 2,463total releases 215latest release August 22, 2023most recent commit 3 months ago
Typing ⭐ 1,503
Python static typing home. Hosts the documentation and a user help forum.
dependent packages 1,792total releases 16latest release May 01, 2021most recent commit 3 months agopypi typing} Downloads
Utility Types ⭐ 5,208
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
dependent packages 1,322total releases 20latest release November 09, 2019most recent commit 3 months agonpm utility-types} Downloads
Typesafe Actions ⭐ 2,416
Typesafe utilities for "action-creators" in Redux / Flux Architecture
dependent packages 299total releases 51latest release November 02, 2019most recent commit 4 months agonpm typesafe-actions} Downloads
Micropython Stubs ⭐ 99
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
dependent packages 32total releases 3latest release September 27, 2023most recent commit 3 months agopypi micropython-stdlib-stubs} Downloads
Arktype ⭐ 3,130
TypeScript's 1:1 validator, optimized from editor to runtime
dependent packages 30total releases 43latest release November 21, 2023most recent commit 3 months agonpm arktype} Downloads
Mypy Zope ⭐ 38
Plugin for mypy to support zope.interface
dependent packages 5total releases 34latest release August 30, 2023most recent commit 4 months agopypi mypy-zope} Downloads
Phantom Types ⭐ 171
Phantom types for Python.
dependent packages 4total releases 37latest release August 06, 2023most recent commit 4 months agopypi phantom-types} Downloads
Firebase Rxjs ⭐ 16
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
dependent packages 2total releases 3latest release September 01, 2017most recent commit 7 years agonpm firebase-rxjs} Downloads
The 10 Latest Releases In Static Typing Open Source Projects
Cpython ⭐ 131
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
latest release December 09, 2023most recent commit 3 months ago
Arktype ⭐ 3,130
TypeScript's 1:1 validator, optimized from editor to runtime
dependent packages 30total releases 43latest release November 21, 2023most recent commit 3 months agonpm arktype} Downloads
Micropython Stubs ⭐ 99
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
dependent packages 32total releases 3latest release September 27, 2023most recent commit 3 months agopypi micropython-stdlib-stubs} Downloads
Mypy Zope ⭐ 38
Plugin for mypy to support zope.interface
dependent packages 5total releases 34latest release August 30, 2023most recent commit 4 months agopypi mypy-zope} Downloads
Groovy ⭐ 5,028
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
dependent packages 2,463total releases 215latest release August 22, 2023most recent commit 3 months ago
Phantom Types ⭐ 171
Phantom types for Python.
dependent packages 4total releases 37latest release August 06, 2023most recent commit 4 months agopypi phantom-types} Downloads
Jivago ⭐ 12
The highly-reflective object-oriented Python web framework
total releases 42latest release October 02, 2022most recent commit 4 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.