erg-lang/erg

Health v2 · maintenance only

Adoption not part of the score

2860 stars · 61 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Erg is a statically typed, Python-compatible general-purpose programming language with a powerful type system featuring dependent and refinement types. Its compiler, written in Rust, transpiles Erg code to Python bytecode, giving zero-cost access to the Python ecosystem.

Use cases

• write statically typed code that interoperates with Python
• catch null errors and out-of-bounds array access at compile time
• gradually replace Python scripts while keeping Python libraries
• use dependent and refinement types to encode preconditions
• get a Rust-like robust language without verbose type annotations
• transpile code to Python bytecode for CPython compatibility

When to choose

• you want stronger compile-time guarantees than Python offers but need Python library access
• you want an ML-like simple, consistent syntax with powerful type inference
• you want side-effect tracking and maintainability markers in the language
• you want a multi-paradigm functional/OOP language with friendly error messages

When to avoid

• you need a mature, production-proven language with a large ecosystem
• you rely on features listed as not yet implemented in the project's TODO
• your team is heavily invested in dynamic Python tooling and workflows
• you need guaranteed stability across releases, as the language is still evolving

Facets

cli-tool · maturity active

compiler programming-language type-system interpreter cli programming-languages compilers developer-tools windows rust python cross-platform cli statically-typed python-interop transpiler dependent-types refinement-types language-server repl linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="erg-lang/erg")