Horsing around with OCaml and MirageOS
☆12Aug 10, 2015Updated 10 years ago
Alternatives and similar repositories for horseos
Users that are interested in horseos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Jan 25, 2016Updated 10 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- OCaml module for native access to the systemd facilities☆22Nov 20, 2022Updated 3 years ago
- File mapping☆12Dec 14, 2023Updated 2 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.
- Reactive programming… in the shell☆30Nov 10, 2017Updated 8 years ago
- Bitcoin node implementation in OCaml☆13Jan 23, 2026Updated 2 months ago
- Simple templating based on XML ropes☆12Sep 4, 2015Updated 10 years ago
- A buffer implementation optimized for immutable strings.☆14Feb 5, 2016Updated 10 years ago
- What do you mean ?☆29Aug 28, 2018Updated 7 years ago
- MirageOS Syslog Unikernel☆11Oct 30, 2016Updated 9 years ago
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 2 years ago
- a ppx_deriving plugin for crowbar generators☆20Jul 1, 2019Updated 6 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11May 24, 2017Updated 8 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.
- OCaml-TLS exposed to C☆23Feb 27, 2018Updated 8 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 10 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Jun 27, 2022Updated 3 years ago
- DKIM support on e-mail☆11Updated this week
- Scalable LRU caches for OCaml☆44Oct 25, 2022Updated 3 years ago
- An .mli-aware command-line renaming tool for OCaml projects☆10Jan 5, 2016Updated 10 years ago
- Membership protocol for Mirage unikernel clusters based on SWIM☆18Mar 14, 2016Updated 10 years ago
- An HTTP client for accessing various carbon intensity APIs☆25Nov 26, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Convert file extensions to MIME types☆23Oct 4, 2023Updated 2 years ago
- J'ai plus mal à la tête maintenant☆25Feb 18, 2026Updated last month
- ☆18Mar 12, 2016Updated 10 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- A library to write emacs plugins in OCaml☆21May 20, 2016Updated 9 years ago
- Ashima's Layered WebGL API wrapper and helper functions☆19Mar 8, 2013Updated 13 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Aug 15, 2023Updated 2 years ago
- Scrap Your Boilerplate for OCaml with modular implicits☆18Mar 15, 2026Updated last week
- OCaml bindings for the Javascript c3 charting library☆30Aug 5, 2019Updated 6 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.
- Work-in-Progress collection of examples of using MirageOS from OCaml☆22Nov 7, 2017Updated 8 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Sep 4, 2024Updated last year
- ☆35Updated this week
- Official Logo for OCaml☆32Feb 21, 2015Updated 11 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year