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