Alex Cameron's repositories
reasonml-examples
a collection of ReasonML examples
awesome-public-datasets
A topic-centric list of HQ open datasets. PR ☛☛☛
MIT000
cats-effect
The IO monad for Scala
Language:ScalaApache-2.0000
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCamlLGPL-2.1000
geotrellis
GeoTrellis is a geographic data processing engine for high performance applications.
quickcheck
Automatic testing of Haskell programs.
Language:HaskellNOASSERTION000
scalacheck
Property-based testing for Scala
scalatest
A testing tool for Scala and Java developers
Language:ScalaApache-2.0000
Language:HTML000
Language:HTML000