![ocaml logo](https://raw.githubusercontent.com/github/explore/f5a57d438b9deec8a209ade5fea3977349ffa2db/topics/ocaml/ocaml.png)
Block or Report
Block or report tmattio
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage: Standard ML
Sort by: Most stars
Starred repositories
1
star
written in Standard ML
Clear filter
Provide software engineers with auditable source code that has some level of safety assurance (typically proofs) from security researchers.