gridaphobe/liquid-server
Web Server for Liquid-Types demos.
Objective-C client library for Fluidinfo
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Web Server for Liquid-Types demos.
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.