Stars
6
results
for source starred repositories
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
Context sensitive completion for OCaml in Vim and Emacs
Library for binding to C libraries using pure OCaml
A proof assistant for general type theories