gridaphobe/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
Public GitHub Catalog
Discovered Sep 29, 2026
gridaphobe / sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#16534872GitHub System ID
gridaphobeOrganization / User
PublicVisibility
ActiveCatalog Status
More from gridaphobe
gridaphobe/liquid-server
Web Server for Liquid-Types demos.
gridaphobe/liquidhaskell-blog
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
gridaphobe/target
Generate test-suites from refinement types.