Re: [polyml] Poly/ML software directory
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 let me or the developer know. David On 25/05/2020 14:36, David Matthews wrote: 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 associated web pages for a directory of software for Poly/ML. Rather than maintain all the data myself I'm asking anyone who has a library, application, sample code or anything else to register with the site and add the appropriate entries. As a starting point I've made an entry for the Windows GUI library that is currently included in the Poly/ML distribution but which I've now pulled out into a separate repository on Github. 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 useful but they can always be changed. The web site is at https://www.polyml.org/software/index.php and is linked from the main Poly/ML website at www.polyml.org. Let me know what you think. David ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] Poly/ML software directory
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 on what I think would be useful but they can always be changed. The web site is at https://www.polyml.org/software/index.php and is linked from the main Poly/ML website at www.polyml.org. Let me know what you think. I have registered as "makarius" and tried to add the Isabelle project: some of the test fields have a rather short limit, notably "Platform", "Link to project", "Download link". Thank you for the feedback. I've adjusted the limits to match the sizes in the database. Please try again. David ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] Poly/ML software directory
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 useful but they can always be changed. The web site is at > https://www.polyml.org/software/index.php and is linked from the main Poly/ML > website at www.polyml.org. > > Let me know what you think. I have registered as "makarius" and tried to add the Isabelle project: some of the test fields have a rather short limit, notably "Platform", "Link to project", "Download link". Makarius ___ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
