erg
Statically typed lang
A statically typed language inspired by Rust and Python, with features like type inference, dependent types, and object-oriented programming, designed for simplicity and robustness.
A statically typed language compatible with Python
3k stars
17 watching
55 forks
Language: Rust
last commit: 11 months ago compilererglanguageprogramming-languagepythonrusttranspiler
Related projects:
| Repository | Description | Stars |
|---|---|---|
 google/pytype | Automates type checking and error prevention in Python code | 4,791 |
 rustedpy/result | A library providing a simple, type-safe way to handle values with potential errors in Python 3. | 1,625 |
 mplanchard/safetywrap | Typesafe wrappers for handling errors and absent data in Python | 44 |
 mtshiba/pylyzer | A fast and feature-rich static code analyzer and language server for Python | 2,550 |
 orsinium-labs/mypy-baseline | A tool to integrate mypy into an existing Python project and track progress on resolving type errors. | 59 |
 ergo/pyramid_apispec | Generates OpenAPI specification files for Pyramid applications. | 23 |
 python/mypy | A tool to help catch errors in Python code by checking type compatibility and hints at compile time | 18,687 |
 marcelog/ex_rfc3966 | A Tel URI parser based on the official uri grammar following the RFC3966 standard. | 1 |
 abgeo/tarieli.py | A Python script generator for creating random Georgian texts based on Vekhistkaosani. | 1 |
 zeeman/promises | A type checking library for Python that uses a promise-based syntax to validate function arguments and return types. | 0 |
 horse64/core.horse64.org | A high-level language with clean dynamic typing and a focus on large projects, aiming to be a more grounded alternative to Python. | 7 |
| orsinium-labs/infer-types | A CLI tool to automatically add type annotations into Python code | 86 |
 mat1g3r/option | A library that provides Rust-like Option and Result types in Python to handle optional and error values in a more type-safe and expressive way. | 85 |
 erezsh/runtype | A Python library for run-time type validation and multiple dispatch utilities | 162 |
 ergoplatform/sigma-rust | A Rust implementation of ErgoScript scripting language and wallet-related features. | 69 |