Re: [polyml] Poly/ML software directory

2020-06-04 Thread David Matthews
Thank you everyone for your entries. That's very useful. I'm sure there are other projects out there that deserve to be included. It doesn't matter if they're not currently being maintained; they might provide the starting point for someone else. Please have a look at the current list and

Re: [polyml] Poly/ML software directory

2020-05-25 Thread David Matthews
On 25/05/2020 14:48, Makarius wrote: On 25/05/2020 15:36, David Matthews wrote: This is a bit of an experiment and I don't know how useful it will turn out to be.  The web pages themselves could do with being improved but they should be in a state for beta-testing.  I've selected fields based

Re: [polyml] Poly/ML software directory

2020-05-25 Thread Makarius
On 25/05/2020 15:36, David Matthews wrote: > > This is a bit of an experiment and I don't know how useful it will turn out to > be.  The web pages themselves could do with being improved but they should be > in a state for beta-testing.  I've selected fields based on what I think would > be

[polyml] Poly/ML software directory

2020-05-25 Thread David Matthews
After the discussion about a random number library I've been thinking about how to implement a repository or register of similar things. At the moment a repository containing the actual code seems too much but a directory or register looks like it could be useful. I've set up a database and