Hardcaml is an OCaml library for designing hardware. - janestreet/hardcaml| GitHub
Veripool| www.veripool.org
I’m pleased to announce the release ofIncremental (wellcommented mlihere),a powerful library for building self-adjusting computations, i.e.,computations that...| Jane Street Blog
Automated testing is a powerful tool for finding bugs and specifying correctnessproperties of code. Haskell’s Quickcheck library is the most well-knownautoma...| Jane Street Tech Blog
