https://github.com/ucsd-progsys/nate

Learning to Blame Type Errors from Novice Mistakes
https://github.com/ucsd-progsys/nate

machine-learning novice ocaml type-erasure

Last synced: 17 days ago
JSON representation

Learning to Blame Type Errors from Novice Mistakes

• Host: GitHub
• URL: https://github.com/ucsd-progsys/nate
• Owner: ucsd-progsys
• License: bsd-3-clause
• Created: 2016-10-17T16:35:16.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2017-09-19T18:16:51.000Z (over 7 years ago)
• Last Synced: 2024-03-26T18:33:15.562Z (10 months ago)
• Topics: machine-learning, novice, ocaml, type-erasure
• Language: OCaml
• Homepage:
• Size: 116 MB
• Stars: 10
• Watchers: 9
• Forks: 5
• Open Issues: 0

Awesome Lists containing this project