Repository Index

Adds static typing to JavaScript to improve developer productivity and code quality.

⭐️ A friendly language for building type-safe, scalable systems!

• gleam
• programming-language
• compiler
• erlang

Optional static typing for Python

• python
• types
• typing
• typechecker

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

• language
• compiler
• metaprogramming
• macros

A PHP parser written in PHP

• php
• parser
• ast
• static-analysis

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

• markdown
• markup-language
• paper
• scripting-language

Static Type Checker for Python

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

• php
• static-analysis
• phan
• analysis

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

• groovy
• jvm-languages
• programming-language
• metaprogramming

Unbearably fast near-real-time pure-Python runtime-static type-checker.

• python3
• runtime-typechecking
• static-typechecking

A fast, feature-rich static code analyzer & language server for Python

• language-server
• python
• static-analysis
• type-checker

Compile shell scripts to static binaries.

• aot
• bash
• compiler
• go

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

• clang
• cpp
• c
• clang-tidy

Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!

• libuv
• header-only
• wrapper
• uvw

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

• code-analysis
• code-transformation
• metaprogramming
• code-generation

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

• functional-programming
• common-lisp
• type-safety

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

Next-gen phpDoc parser with support for intersection types and generics

• phpstan
• static-analysis
• php
• php7

Static type checker for Ruby

• ruby
• typechecker

Python Type Checker / Language Server

• autocompletion
• language-server-protocol
• mypy
• python

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

• sql
• compiler
• typechecker
• sqlite

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

A Python type checker

• linter
• python
• static-analysis
• typechecker

Java type safe statically compiled mustache

• annotation-processor
• java
• mustache
• template-engine