Kappa is a domain specific language designed to model protein-protein interaction based on stochastic graph rewrites. I work on 3 axes:
The tezos blockchain code base is in OCaml and Nomadic Labs works on its development with strong concern for formal methods. I'm involved in the release process there.
I take any occasion to write programs in my mother tongue and freelanced to do so on several other occasion.