search

HeroicKatora / automata

A rust library to model several different automata & algorithms
MIT License
11 stars 3 forks source link

Project status and rework #1

Open leonbohn opened 1 year ago

leonbohn commented 1 year ago

Dear Maintainers of the Automata crate for Rust,

I hope this message finds you well. Sorry, but I did not find a better/more private way of contacting you about this. I stumbled upon this repository when looking for existing crates that implement automata related things. However it seems that there has not been any activity for a while, so my first question would be what your current position on this repository is, i.e. whether you would be interested in continuing development or have more or less abandoned the project. In the near future, I plan to implement some new learning algorithms for automata on infinite words from my research. It seems sensible, however, to have the automata/transition system/congruence related business in a separate standalone library. In its current state, I don't think that I would be able to depend on this automata crate for that as the data structures seem to not be generic enough for my needs. Generally, I think that it would be great to have a crate for automata. I personally would be very interested in investing some time into reworking this crate to be more generic and extensible (whatever that specifically may mean). So would you generally be open to such a rework of this crate and if yes, to what degree would you like to be involved. Finally, I wanted to ask whether you could imagine transferring ownership of the crate, as for the foreseeable future (a few years) I will be working on implementations of the sort, which would mean a rather long term commitment to the crate.

Thanks for your time and consideration. Best Leon

HeroicKatora commented 1 year ago

Hi, the repository state is unfortunately unmaintained due to time constraints. Transferring is definitely on the table. And invite on crates.io has already been sent. It's exciting to see interest in formal semantics and the time to maintain/develop a library like this. Have fun :)