jeremy-w/tree-data
Public repository.
Pretend MyHomeNAS.local is SomeURL.com by rewriting records from a Bonjour query as Unbound local_data entries
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Public repository.
Demonstrates using generative testing to find counterexamples of a simple theorem from *Certified Programming with Dependent Types*
Solves challenge posed in @drewcrawford's blog post
A Idris Mode for Atom.io