erg
by erg-lang
A statically typed language compatible with Python
AI summary
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.
- stars
- 2.7K
- forks
- 55
- watching
- 17
Similar projects
Found by comparing what the projects do, not just their names.
google/pytype4.8K
Type checker
Automates type checking and error prevention in Python code
rustedpy/result1.6K
Error handling library
A library providing a simple, type-safe way to handle values with potential errors in Python 3.
Error handling library
Typesafe wrappers for handling errors and absent data in Python
mtshiba/pylyzer2.6K
Code Analyzer
A fast and feature-rich static code analyzer and language server for Python
Type error tracker
A tool to integrate mypy into an existing Python project and track progress on resolving type errors.
API spec generator
Generates OpenAPI specification files for Pyramid applications.
python/mypy18.7K
Type checker
A tool to help catch errors in Python code by checking type compatibility and hints at compile time
Tel Parser
A Tel URI parser based on the official uri grammar following the RFC3966 standard.
Text generator
A Python script generator for creating random Georgian texts based on Vekhistkaosani.
Type checker
A type checking library for Python that uses a promise-based syntax to validate function arguments and return types.
Programming Language
A high-level language with clean dynamic typing and a focus on large projects, aiming to be a more grounded alternative to Python.
Type annotator
A CLI tool to automatically add type annotations into Python code
Value handlers
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.
Type validator
A Python library for run-time type validation and multiple dispatch utilities
ErgoScript interpreter
A Rust implementation of ErgoScript scripting language and wallet-related features.
