OCaml program-analysis Projects
Performant type-checking for python.Project mention: Statically typed Python | reddit.com/r/Python | 2021-11-30
Facebook/Instagram uses Pyre which is a typechecker for Python.
Binary Analysis PlatformProject mention: Starting ocaml | reddit.com/r/ocaml | 2021-06-20
I find this pretty good https://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/intro/ocaml.html. Fun projects include compilers (pattern matching and static types are why Ocaml is usually selected), binary analysis stuff https://github.com/BinaryAnalysisPlatform/bap, stuff that requires async so you can try out nomadic async stuff, or really anything you desire.
OPS - Build and Run Open Source Unikernels. Quickly and easily build and deploy open source unikernels in tens of seconds. Deploy in any language to any cloud.
OCaml program-analysis related posts
Are you hiring? Post a new remote job listing for free.