arrow-kt / arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles.

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.