If you search github with its builtin search functionality, you can do so by what github thinks is the primary language of project with the language: modifier. I just tried
language:sml and got back 950 results. These are not necessarily all genuine. For example, the first hit I got, the AuditProject/truecrypt-verified-mirror, seems to be flagged as SML because some of its files have a .sig extension. But after that you do get compilers and theorem-provers and some other things that even have SML in their descriptions. Michael On 15/01/15 06:03, David Topham wrote: > As part of my SML education, I want to look at sample code...I do have several > good books already and that certainly helps, but what about some specific > coding > ideas people have explored? > > I noticed there is a website: > > http://rosettacode.org/wiki/Category:Standard_ML_Implementations > > that does good comparisons between languages of certain tasks, but don't see > PolyML there. > > Are there other central places where people upload/share SML code? > > -Dave > > > _______________________________________________ > polyml mailing list > polyml@inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml