I enjoy compilers, hiking, and bicycling
-
Well Typed LLP
- Portsmouth, NH, United States
- http://smart-cactus.org/~ben
Popular repositories Loading
-
-
dhall-gitlab-ci
dhall-gitlab-ci PublicA Dhall encoding of the GitLab CI configuration schema
-
optimization
optimization PublicSome numerical optimization methods implemented in Haskell
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.