Static Typing
Showing 16 of 16 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.
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.
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.