mDNS DNS-SD hybrid-proxy
☆28May 22, 2020Updated 6 years ago
Alternatives and similar repositories for ohybridproxy
Users that are interested in ohybridproxy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Yes, really!☆11May 8, 2015Updated 11 years ago
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 10 years ago
- libpthread_workqueue - a POSIX threads workqueue library☆57Jul 31, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 8 years ago
- clone from myJIT(a fork of GNU lightning)☆11Mar 17, 2015Updated 11 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Combining the power of Nix, Guile & Elm to install NixOS☆15Dec 11, 2017Updated 8 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Feb 9, 2021Updated 5 years ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Apr 19, 2019Updated 7 years ago
- iomux - High performance aynchronous I/O multiplexing and timers☆16Oct 25, 2025Updated 8 months ago
- The NowSecure Mobile Security Report☆11Nov 16, 2016Updated 9 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Oct 15, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 6 years ago
- Pi pattern search utility☆13Sep 18, 2014Updated 11 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- GPG encrypting MDA☆15May 25, 2025Updated last year
- ☆11Apr 20, 2022Updated 4 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆47Mar 29, 2012Updated 14 years ago
- Realtime robot data visualization in the browser☆12Jan 30, 2022Updated 4 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Feb 24, 2024Updated 2 years ago
- Tabhunter: finding more tabs than ever before☆38Sep 25, 2025Updated 9 months ago
- A type decoder for objective c types☆14Oct 20, 2024Updated last year
- A backwards-compatible, modern replacement for the Prelude.☆22Jan 20, 2017Updated 9 years ago
- HSLuv implementation for Emacs ELisp (revision 4)☆13Nov 30, 2018Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 7 months ago
- Free Lossless Voxel Compression (FLVC)☆26Mar 19, 2021Updated 5 years ago
- NAT probing toolkit.☆22Jan 12, 2020Updated 6 years ago
- Print an Unicode textfile (UTF-8 encoded) from a modern PC with an old-fashioned Commodore MPS 803 compatible printer☆13May 16, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Multi-device support module for SoapySDR☆17Oct 15, 2025Updated 8 months ago
- Packaged version of the Mangio-RVC Fork of RVCv2☆11Jul 23, 2023Updated 2 years ago
- A media server written in Haskell and Cycle.js☆11Jun 9, 2018Updated 8 years ago
- Doing versioning right: examples for build environments like cmake, qmake, meson and autotools☆36Jan 30, 2025Updated last year
- Small footprint and configurable HyperBus core☆14Jul 6, 2022Updated 3 years ago
- macOS cross-compiled libvncserver for iOS arm64 platform.☆17Dec 10, 2025Updated 6 months ago
- Bare metal core dump☆11Feb 23, 2019Updated 7 years ago