ac27182
"Generally, it's simple to make something complex. However, to make something simple is complex."
Treasure DataJapan
Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
awesome-public-datasets
A topic-centric list of HQ open datasets. PR ☛☛☛
cats-effect
The IO monad for Scala
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.
geotrellis
GeoTrellis is a geographic data processing engine for high performance applications.
kafka
Mirror of Apache Kafka
reasonml-examples
a collection of ReasonML examples
scalacheck
Property-based testing for Scala
scalatest
A testing tool for Scala and Java developers
unison
A friendly programming language from the future
ac27182's Repositories
ac27182/reasonml-examples
a collection of ReasonML examples
ac27182/agda
Agda is a dependently typed programming language / interactive theorem prover.
ac27182/awesome-public-datasets
A topic-centric list of HQ open datasets. PR ☛☛☛
ac27182/cats-effect
The IO monad for Scala
ac27182/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.
ac27182/geotrellis
GeoTrellis is a geographic data processing engine for high performance applications.
ac27182/kafka
Mirror of Apache Kafka
ac27182/quickcheck
Automatic testing of Haskell programs.
ac27182/scalacheck
Property-based testing for Scala
ac27182/scalatest
A testing tool for Scala and Java developers
ac27182/unison
A friendly programming language from the future
ac27182/kanji
ac27182/sentances
ac27182/vocab