mikeshardmind / lumiView external linksLinks
Replacing Python's type system.
☆18Jul 7, 2025Updated 7 months ago
Alternatives and similar repositories for lumi
Users that are interested in lumi are comparing it to the libraries listed below
Sorting:
- tutorial on Python's type system (always WIP)☆11Nov 14, 2025Updated 3 months ago
- Runtime components for use with basedmypy☆11Nov 21, 2024Updated last year
- Analysis of issues in the mypy issue tracker☆17Jun 25, 2025Updated 7 months ago
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 years ago
- Write compiled bytecode inline with pure Python. 🤖☆82Sep 3, 2024Updated last year
- Experimental Python API for Ruff☆34Feb 1, 2026Updated 2 weeks ago
- various typescript helper functions and utility types☆30Jan 21, 2024Updated 2 years ago
- Tiny parser combinators library written in Python.☆18May 20, 2025Updated 8 months ago
- Run Python type checkers over millions of lines of code☆108Feb 8, 2026Updated last week
- Opinionated typing package for precise type hints in Python☆74Updated this week
- Backend for Python Discord forms☆11Feb 4, 2026Updated last week
- Collecting examples of unsoundness in the Python type system☆75Jan 28, 2026Updated 2 weeks ago
- Discussions about problems with the current C Api☆20Oct 15, 2023Updated 2 years ago
- Extra array functions built on top of the array API standard.☆25Updated this week
- Masked versions of array API compatible arrays☆29Feb 4, 2026Updated last week
- ☆46Sep 17, 2025Updated 4 months ago
- ☆24Feb 26, 2023Updated 2 years ago
- Website for testing snippets of code using the pyright type checker☆63Nov 2, 2025Updated 3 months ago
- A PEP to add a `@sealed` typing decorator to Python☆28Mar 23, 2024Updated last year
- A namedtuple-style library for defining immutable sum types in Python.☆27Apr 20, 2021Updated 4 years ago
- Typing Stubs for SciPy☆82Updated this week
- a pytest plugin that creates robotframework reports for tests written in python and allows you to run robotframework tests with pytest☆38Jan 27, 2026Updated 2 weeks ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 10 months ago
- A fork of the abandoned Tivix/django-cron project, compatible with Django 6.0 and Python 3.14☆12Dec 6, 2025Updated 2 months ago
- I am a programmer, if there is no ready-made reliable solution, I have to write it myself☆12Jan 4, 2026Updated last month
- A Godot GDExtension designed to run Python code in real time.☆10Aug 14, 2024Updated last year
- A pure-Python codified rant aspiring to a world where numbers and types can work together.☆46Aug 7, 2024Updated last year
- ☆10Dec 6, 2022Updated 3 years ago
- The Assisted Installer User Interface☆10Updated this week
- ☆15Feb 6, 2026Updated last week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 6 years ago
- Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module glo…☆53Jan 28, 2026Updated 2 weeks ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- ☆12Jul 9, 2021Updated 4 years ago
- Minimum Viable Blockchain in Python☆10Apr 1, 2018Updated 7 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated last year
- Measure Pytest execution phases☆11Jan 19, 2026Updated 3 weeks ago
- Cytoscape.js API support in JS, Python, and R Jupyter kernels☆10Nov 11, 2017Updated 8 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago