Static Typing
Showing 36 of 50 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 developing maintainable software with C-like performance.
A simple, fast, safe, compiled programming language for building maintainable software with C-like performance and rapid compilation.
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.
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.
A functional, statically-typed Lisp that compiles to JVM, JavaScript, Python, Lua, and Ruby for versatile multi-platform development.
An efficient, statically typed functional programming language that integrates directly into Common Lisp.
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.
A Python library for creating phantom types that enforce runtime and static type constraints through predicates.
Haxe externs for the Defold game engine, enabling type-safe game development with full API support.
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.
An ESLint plugin for optional static type checking in JavaScript using JSDoc and existing data schemas.
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.