erg
brew install erg
v0.6.53
Apache-2.0 OR MIT
Statically typed language that can deeply improve the Python ecosystem
7
30-day installs · #9772
20
90-day · #9710
141
365-day · #8283
2.9k
★ GitHub stars · updated 8mo ago
Build dependencies
GitHub topics
compiler
erg
language
programming-language
python
rust
transpiler
Links
- https://github.com/erg-lang/erg
- GitHub: erg-lang/erg
- Brew formula source: Formula/e/erg.rb
Raw metadata
{
"aliases": [],
"alternatives": [],
"build_dependencies": [
"rust"
],
"categories": [],
"caveats": null,
"conflicts_with": [],
"dependencies": [],
"deprecated": 0,
"deprecation_reason": null,
"desc": "Statically typed language that can deeply improve the Python ecosystem",
"disable_reason": null,
"disabled": 0,
"enrichment_fetched_at": "2026-06-20T23:37:22+00:00",
"first_seen": "2026-06-20T23:34:18+00:00",
"full_name": "erg",
"github_default_branch": "main",
"github_last_commit_at": "2025-12-04T02:20:50Z",
"github_readme_excerpt": "# The Erg Programming Language\n\n\u003cdiv align=\"center\"\u003e\n \u003cimg width=\"500\" src=\"./assets/erg_logo_with_slogan.svg\"\u003e\n\u003c/div\u003e\n\n\u003cbr\u003eThis is the main source code repository for [Erg](https://erg-lang.org/). This contains the compiler and documentation.\n\n\u003cp align=\u0027center\u0027\u003e\n \u003ca href=\"https://github.com/erg-lang/erg/releases\"\u003e\u003cimg alt=\"Build status\" src=\"https://img.shields.io/github/v/release/erg-lang/erg.svg\"\u003e\u003c/a\u003e\n \u003ca href=\"https://github.com/erg-lang/erg/actions/workflows/main.yml\"\u003e\u003cimg alt=\"Build status\" src=\"https://github.com/erg-lang/erg/actions/workflows/main.yml/badge.svg\"\u003e\u003c/a\u003e\n \u003ca href=\"https://discord.gg/zfAAUbgGr4\" rel=\"nofollow\"\u003e\u003cimg alt=\"Discord\" src=\"https://img.shields.io/badge/Discord-%235865F2.svg?logo=discord\u0026amp;logoColor=white\" style=\"max-width: 100%;\"\u003e\u003c/a\u003e\n\u003cbr\u003e\n \u003ca href=\"https://erg-lang.org/web-ide/\" data-size=\"large\"\u003e\n \u003cimg src=\"https://img.shields.io/static/v1?style=for-the-badge\u0026label=\u0026message=playground\u0026color=green\"\u003e\n \u003c/a\u003e\n\u003cbr\u003e\n \u003ca href=\u0027./README_JA.md\u0027\u003e\u65e5\u672c\u8a9e\u003c/a\u003e | \u003ca href=\u0027./README_zh-CN.md\u0027\u003e\u7b80\u4f53\u4e2d\u6587\u003c/a\u003e | \u003ca href=\u0027./README_zh-TW.md\u0027\u003e\u7e41\u9ad4\u4e2d\u6587\u003c/a\u003e\n\u003c/p\u003e\n\n## Erg can be recommended to a person that\u0026colon;\n\n* wants Rust-like robustness and comfortable compiler support, and yet, doesn\u0027t need the verbose type specifications \u0026 memory management model like Rust.\n* frustrated with Python, but can\u0027t throw away Python code assets.\n* wants a simple and consistent language like ML.\n* wants a practical general-purpose language with dependent/refinement types.\n* wants a language like Scala that can be used both object-oriented and functional.\n\n## Features\n\n\u003e Some features are not yet implemented. Please see [TODO.md](./TODO.md) for implementation status.\n\n1. Robustness\n\n Erg has a smart \u0026 powerful type system. For example, Erg can do null checking (Option type), division by zero, and out-of-range addresses in arrays at compile time.\n\n ```python\n rand = pyimport \"random\"\n\n l = [1, 2, 3]\n assert l in [Nat; 3] # type checking\n assert",
"github_repo": "erg-lang/erg",
"github_stars": 2858,
"github_topics": [
"compiler",
"erg",
"language",
"programming-language",
"python",
"rust",
"transpiler"
],
"homepage": "https://github.com/erg-lang/erg",
"homepage_og_description": null,
"homepage_og_image": null,
"homepage_title": null,
"installs_30d": 7,
"installs_365d": 141,
"installs_90d": 20,
"keg_only": 0,
"keg_only_reason": null,
"last_seen": "2026-06-20T23:34:18+00:00",
"license": "Apache-2.0 OR MIT",
"llm_generated_at": null,
"llm_model": null,
"name": "erg",
"oldnames": [],
"one_liner": null,
"optional_dependencies": [],
"rank_30d": 9772,
"rank_365d": 8283,
"rank_90d": 9710,
"raw_hash": "4bd03fe250f2c349",
"recommended_dependencies": [],
"revision": 0,
"ruby_source_path": "Formula/e/erg.rb",
"tap": "homebrew/core",
"test_dependencies": [],
"uses_from_macos": [
{
"python": "build"
}
],
"version_head": null,
"version_stable": "0.6.53",
"versioned_formulae": [],
"why_use_this": null
}