Static Typing
Showing 36 of 65 projects
A strongly typed superset of JavaScript that compiles to clean JavaScript for application-scale development.
A collection of TypeScript type challenges with an online judge to practice and master advanced type system features.
A simple, fast, safe, compiled programming language for building maintainable software with C-like performance and rapid compilation.
A simple, fast, safe, compiled programming language for developing maintainable software with C-like performance.
A statically-typed, Ruby-inspired programming language that compiles to efficient native code.
A free and open-source concise guide to effective TypeScript development, covering the language's type system and advanced features.
A Go-centric expression language for dynamic configurations, offering safety, speed, and seamless Go integration.
A TypeScript validator that maintains 1:1 type-safety from editor to runtime with optimized performance.
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Frege is a Haskell-like purely functional programming language that compiles to Java and runs on the JVM.
Frege is a Haskell-like purely functional programming language that compiles to Java bytecode and runs on the JVM.
A small, statically-typed, functional programming language designed for embedding in Rust applications.
A dialect of Haskell that runs on the Java Virtual Machine, bringing functional programming to the JVM ecosystem.
A statically typed, ahead-of-time compiled programming language with first-class hot-reloading for live applications.
An efficient, statically typed functional programming language that integrates directly into Common Lisp.
A functional, statically-typed Lisp that compiles to JVM, JavaScript, Python, Lua, and Ruby for versatile multi-platform development.
A Go mux and middleware package that provides statically typed contexts and fast, scalable routing.
A statically typed, procedural esoteric programming language where source code resembles fetish erotica.
Write type-safe Elixir code using Elm's syntax and tooling, leveraging the BEAM ecosystem.
A comprehensive reference guide for Elm syntax, language features, and tooling.
Autogenerate type-safe Elm code from any GraphQL schema for guaranteed valid queries and seamless decoders.
A Java 8+ optimized, memory-efficient, and speedy template engine that compiles templates into statically typed Java classes.
A powerful mock generation tool for Go that creates statically typed mocks from interface declarations.
A statically typed scripting language that transpiles into POSIX-compliant shell scripts.
An optional type system for Lua that adds compile-time type checking and class-based OOP.
Backported and experimental type hints for Python, enabling modern typing features on older versions and early access to new proposals.
PEP-484 type stubs and mypy plugin for Django REST Framework to enable static type checking.
A comprehensive guide to learning Elm, a purely functional programming language for building reliable and maintainable web applications.
A collection of over 3,000 stub files for MicroPython ports and boards to enable code completion, static type checking, and faster development.
A class library for localizing text in Blazor applications using JSON/CSV files and static typing.
Generate and maintain MicroPython stub files for enhanced IntelliSense and code linting in VSCode, PyCharm, and other modern editors.
Haxe externs for the Defold game engine, enabling type-safe game development with full API support.
A Python library for creating phantom types that enforce runtime and static type constraints through predicates.
A Lisp to GLSL compiler that translates a Common Lisp-like dialect into shader code for graphics programming.
F# type providers for statically typed, compile-time checked access to Microsoft SQL Server databases.
A comprehensive collection of learning notes and resources for the V programming language.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.