Pong, the operating system version
☆36Mar 6, 2019Updated 7 years ago
Alternatives and similar repositories for PongOS
Users that are interested in PongOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- a small, simple block-backed key-value store for MirageOS☆32Oct 27, 2025Updated last year
- Scheduling build jobs on regular intervals, collecting artifacts☆13Jun 15, 2026Updated 4 months ago
- ☆21Dec 27, 2021Updated 4 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 4 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Apr 28, 2022Updated 4 years ago
- xi-editor data structures in OCaml☆10Mar 21, 2020Updated 6 years ago
- A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam☆13Jul 8, 2019Updated 7 years ago
- Detect root CA certificates from the operating system☆15Jun 22, 2026Updated 4 months ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Oct 1, 2018Updated 8 years ago
- An OCaml controller for the Adafruit Rapsberry Pi LCD☆12Jan 6, 2014Updated 12 years ago
- SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers☆20Jul 9, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 7 years ago
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 3 years ago
- An implementation of happy eyeballs (RFC 8305) in OCaml with lwt☆24Oct 21, 2026Updated last week
- The caml walks, OCaml runs☆22Oct 11, 2023Updated 3 years ago
- A dedicated ActivityPub/ActivityStreams parser and generator for OCaml☆13Apr 6, 2019Updated 7 years ago
- DKIM support on e-mail☆11Oct 9, 2026Updated 3 weeks ago
- Xen core platform libraries for MirageOS☆18Aug 14, 2026Updated 2 months ago
- MirageOS traceroute unikernel☆17Jul 13, 2026Updated 3 months ago
- Reasonable Go.☆10Aug 13, 2018Updated 8 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.
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 6 years ago
- Ocaml modular spam filter☆16Sep 16, 2024Updated 2 years ago
- ☆21Sep 26, 2026Updated last month
- RFC 1035 Internet domain names☆10Oct 13, 2025Updated last year
- Lookup and load installed OCaml modules☆17Aug 13, 2026Updated 2 months ago
- Not a filesystem for Mirage block devices☆25Sep 3, 2024Updated 2 years ago
- SPF verifier and signer in OCaml☆12Oct 23, 2026Updated last week
- Basic password manager library and command-line application in OCaml☆12Mar 14, 2018Updated 8 years ago
- automatic ci configuration for the people☆36Nov 20, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- J'ai plus mal à la tête maintenant☆29Oct 21, 2026Updated last week
- An opinionated implementation of the OpenVPN protocol☆80Sep 14, 2026Updated last month
- ☆40Sep 13, 2026Updated last month
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 8 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆21Apr 23, 2021Updated 5 years ago
- a ppx_deriving plugin for crowbar generators☆21Jul 1, 2019Updated 7 years ago
- Library for manipulating ISO images☆13Jun 28, 2019Updated 7 years ago