All issues

Search results

Support mojo 1.0

Status: Open.

#845 In py2many/py2many;

· adsharma opened on Aug 11, 2026

lean: handle Result[T, E]

Status: Open.

#844 In py2many/py2many;

· adsharma opened on Aug 6, 2026

lean: handle docstrings

Status: Open.

#843 In py2many/py2many;

· adsharma opened on Aug 6, 2026

classes test case: add mutation

Status: Open.

#831 In py2many/py2many;

· adsharma opened on Aug 3, 2026

raft: prove correctness using lean

Status: Open.

#825 In py2many/py2many;

· adsharma opened on Aug 2, 2026

Lean: Python syntax for dependent types

Status: Open.

#804 In py2many/py2many;

· adsharma opened on Jun 1, 2026

vlang hidden regressions

Status: Open.

#793 In py2many/py2many;

· jayvdb opened on May 28, 2026

Cleanup pyv/self_transpile.py

Status: Open.

#768 In py2many/py2many;

· adsharma opened on May 15, 2026

function.py:2:4: py2many.exceptions.AstNotImplementedError: try_dummy not implemented

Status: Open.

#725 In py2many/py2many;

· newlaurent62 opened on Dec 12, 2025

jgo not able to deal with newer class file versions

Status: Open.

#721 In py2many/py2many;

· adsharma opened on Aug 26, 2025

Remaining test failures

Status: Open.

#669 In py2many/py2many;

· adsharma opened on Dec 28, 2024

Q: given a node, a in this case, how to know if its type is a container or not (list or dict in Python)?

Status: Open.

#628 In py2many/py2many;

· mw66 opened on Aug 11, 2024