Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for static typing
static-typing
x
40 search results found
React Redux Typescript Guide
⭐
11,926
The complete guide to static typing in "React & Redux" apps using TypeScript
Utility Types
⭐
5,208
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
Groovy
⭐
5,028
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Arktype
⭐
3,130
TypeScript's 1:1 validator, optimized from editor to runtime
Typesafe Actions
⭐
2,416
Typesafe utilities for "action-creators" in Redux / Flux Architecture
Typing
⭐
1,503
Python static typing home. Hosts the documentation and a user help forum.
Umka Lang
⭐
928
Umka: a statically typed embeddable scripting language
Dascript
⭐
758
daScript - high-performance statically strong typed scripting language
Prometeo
⭐
515
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Staticscript
⭐
340
🎉🎉🎉 A new statically typed programming language, syntactically like TypeScript.
Shen Sources
⭐
327
The Official Shen Sources
Deprecated Coalton Prototype
⭐
216
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Phantom Types
⭐
171
Phantom types for Python.
Micropython Stubber
⭐
142
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or pylint
Cpython
⭐
131
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Micropython Stubs
⭐
99
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Faster Than Csv
⭐
72
Faster CSV for Python
Basil
⭐
62
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
Zion
⭐
39
A statically-typed strictly-evaluated garbage-collected readable programming language.
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.
Mypy Zope
⭐
38
Plugin for mypy to support zope.interface
Gear
⭐
32
🛠 Experimental tool to bootstrap typed JavaScript code.
Defstar
⭐
20
Type declarations for defun et all.
Opal
⭐
19
Simple and powerful programming language with type inference
Choosenim_install
⭐
19
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
Quartz
⭐
17
The official compiler for the Quartz programming language
Firebase Rxjs
⭐
16
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
Prisma Typebox Generator
⭐
16
typebox ( typescript static type & json schema ) generator for Prisma 2
Jogo
⭐
13
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
Trompe
⭐
12
A strongly-typed handy scripting language with type inference
Jivago
⭐
12
The highly-reflective object-oriented Python web framework
Envious
⭐
9
A Simplistic Programming Language That Targets the LLVM.
Type2type
⭐
8
Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!
Basque
⭐
8
The C Basque compiler.
Fly Language
⭐
8
FLY a Domain Specific Language for scientific computing on the Multi Cloud
Agt
⭐
7
A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
Flow It Night
⭐
6
Materials of the talk "Typify This"
Polyforce
⭐
5
Enforce annotations in your python code
Melon Language
⭐
5
😉 Simple, 💾 High & Low Level, 👨💻 PPL
Lazenlang
⭐
5
An imperative, object-oriented, static and type-infered programming language.
1-40 of 40 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.