gridaphobe/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
Web Server for Liquid-Types demos.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A simple cross-platform OCaml code editor built for top-level evaluation.
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Generate test-suites from refinement types.