jeremy-w/BonjourToUnbound
Pretend MyHomeNAS.local is SomeURL.com by rewriting records from a Bonjour query as Unbound local_data entries
Cheat sheet for the Ragel state machine compiler. (GPLv2+)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Pretend MyHomeNAS.local is SomeURL.com by rewriting records from a Bonjour query as Unbound local_data entries
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