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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml