Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
The complete guide to static typing in "React & Redux" apps using TypeScript
-
Updated
May 31, 2022 - TypeScript
#
static-typing
Here are 70 public repositories matching this topic...
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
programming-language
groovy
compiler
functional-programming
dynamic-typing
metaprogramming
apache
jvm-languages
static-typing
-
Updated
Jul 5, 2022 - Java
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
-
Updated
Oct 9, 2021 - TypeScript
Typesafe utilities for "action-creators" in Redux / Flux Architecture
-
Updated
Jan 12, 2022 - TypeScript
Python static typing home. Hosts the documentation and a user help forum.
-
Updated
Jul 6, 2022 - Python
Umka: a statically typed embeddable scripting language
c
programming-language
interpreter
cross-platform
compiler
virtual-machine
coroutines
concurrency
fibers
scripting-language
static-typing
-
Updated
Jul 6, 2022 - C
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
python
c
compiler
hpc
static-analysis
transpiler
embedded-systems
high-performance-computing
source-to-source
domain-specific-language
static-typing
transcompiler
python-to-c
-
Updated
May 19, 2022 - Python
daScript - high-performance statically strong typed scripting language
-
Updated
Jul 5, 2022 - C++
A new statically typed programming language, syntactically like TypeScript.
-
Updated
May 17, 2021 - C++
The Official Shen Sources
-
Updated
May 21, 2022 - Shen
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
-
Updated
Sep 9, 2021 - Common Lisp
Inko is a statically-typed, safe, object-oriented programming language for writing concurrent programs. This is a read-only mirror of https://gitlab.com/inko-lang/inko
language
programming-language
rust
compiler
object-oriented
interpreted-programming-language
static-typing
-
Updated
Jul 5, 2022 - Rust
Generate and use stubs for different micropython firmwares to use with vscode and pylance or pylint
python
micropython
vscode
static-typing
pyright
pylance
micropython-stubs
micropython-stubber
firmware-stubs
-
Updated
Jul 4, 2022 - Python
python
static-analysis
typing
python3
refinement-types
mypy
phantom-types
static-typing
refined
refined-types
-
Updated
Jul 6, 2022 - Python
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
-
Updated
Nov 7, 2021 - C++
Faster CSV for Python
python
tsv
csv
cython
tabular-data
python3
speed
type-safe
csv-parser
speedup
csv-parsing
static-typing
csv-data
tsv-parser
csv-to-json
csv-to-html
static-memory-allocation
faster-than-csv
process-csv
-
Updated
Jan 18, 2022 - Python
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
python
nim
high-performance
cython
python-library
python3
python-api
python-3
compiled
python-package
nim-lang
static-typing
typed-python
stdlib-extras
inferred-types
needs-sponsors
-
Updated
Jun 24, 2022 - Python
A statically-typed strictly-evaluated garbage-collected readable programming language.
programming-language
compiler
llvm
ffi
lambda-calculus
typeclass
polymorphism
type-safety
hindley-milner
zion
static-typing
system-f
llvm-compiler
garbage-collect
newtypes
-
Updated
Jan 13, 2021 - C++
Stubs of common micropython modules to aid in code completion, static typechecking and overall development
-
Updated
Jul 6, 2022 - Python
-
Updated
Nov 22, 2017 - JavaScript
Plugin for mypy to support zope.interface
-
Updated
Jun 8, 2022 - Python
The official compiler for the Quartz programming language
programming-language
functional-programming
beam
oop
actor-model
concurrency
object-oriented
type-safety
session-types
static-typing
-
Updated
May 3, 2018 - OCaml
Simple and powerful programming language with type inference
-
Updated
Feb 17, 2017 - C++
Interpreter for old Elara specification, written in Go
-
Updated
Oct 15, 2021 - Go
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
-
Updated
Sep 1, 2017 - TypeScript
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
-
Updated
Mar 28, 2019 - Go
Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
python
immutable
nim
cython
metaprogramming
python3
compiled
pypy
nim-lang
static-typing
pypy3
static-memory-allocation
python4
-
Updated
Feb 16, 2022 - Python
A strongly-typed handy scripting language with type inference
-
Updated
Aug 31, 2018 - Go
The highly-reflective object-oriented Python web framework
-
Updated
Jul 6, 2022 - Python
Improve this page
Add a description, image, and links to the static-typing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-typing topic, visit your repo's landing page and select "manage topics."