Eliot Robson

docs: Best practices documentation

1

See title, resolves #1853. Still very much a WIP, but decided to put up a draft early to field comments as this page is written.

Starting point for changes that should be part of #9361

See title, I just figured out how to include things like the readme in the docs site without duplication. See example here: https://github.com/eliotwrobson/CyNetDiff/blob/main/docs/index.md I weirdly have no idea where this...

Add docstring linting

3

See title, would be nice to be able to lint docstrings that are part of the public interface. https://github.com/jsh9/pydoclint?tab=readme-ov-file

feat: FSM Builder

1

Work-in-progress remake of #6604. Will be incorporating some new features before even taking this out of draft, so no need to review yet. In addition, we almost certainly don't want...

Add read-only mode to file editor

1

See title, various screenshots of discussion are below. Should also hide the "restore original file" button mentioned by @/nwalters512 here.   

See title, there are a number of elements (`pl-symbolic-input`, `pl-string-input`, possibly `pl-units-input`) that accept a variety of different characters, so weird unicode could slip in somewhere. These elements have different...

Possible `pl-feedback` element

13

Per discussion on slack:  Before any PRs get opened, we should figure out what types of feedback semantics we want to support with this. Working with a single entry...

Add mypy to CI job and type hints for one class.

1

Changes to test type hints and integrating a typechecker into the CI job. This was to test feasibility of adding type annotations to the package (per the issue). This was...

automata

26

Submitting Author: Eliot Robson (@eliotwrobson) All current maintainers: (@eliotwrobson, @caleb531) Package Name: automata One-Line Description of Package: A Python library for simulating finite automata, pushdown automata, and Turing machines. Repository...