• Acima

• Burlington, Vermont

Pinned Loading

2. Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

   Haskell 14 2

3. Forked from scala/scala

   The Scala programming language (some minor contributions)

   Scala 1

4. ML Class Project for a proof of convergence of gradient descent

   Coq

5. A remote caching server for the Mill build tool

   Scala 3

6. Distributed systems in Haskell playground

   Haskell