radekm/scalaz-stream-articles-cs
Public repository.
Main public package repository for OPAM, the source package manager of OCaml.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
Model finder, compiles under GHC 7.6.3
Competing regular expressions
Simple propositional prover written in Haskell