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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml