RISC-V port of the OCaml system
☆45Sep 17, 2020Updated 6 years ago
Alternatives and similar repositories for riscv-ocaml
Users that are interested in riscv-ocaml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jan 16, 2025Updated last year
- MirageOS Syslog Unikernel☆11Oct 30, 2016Updated 9 years ago
- POSIX sendmsg bindings for OCaml☆16Nov 5, 2016Updated 9 years ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Not a filesystem for Mirage block devices☆25Sep 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OCaml library to access Maildir folders☆19Feb 25, 2019Updated 7 years ago
- ☆23May 25, 2025Updated last year
- Portable clock implementation for Unix and Xen☆17Apr 24, 2024Updated 2 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆13Sep 7, 2016Updated 10 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 4 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Oct 1, 2018Updated 8 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 13 years ago
- Performance Application Programming Interface for OCaml☆15Oct 25, 2022Updated 4 years ago
- Xen core platform libraries for MirageOS☆18Aug 14, 2026Updated 2 months 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.
- Ocamlbuild helpers for C stubs☆12Oct 24, 2018Updated 8 years ago
- Synonym of angkor☆25Mar 4, 2025Updated last year
- xi-editor data structures in OCaml☆10Mar 21, 2020Updated 6 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 7 years ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Jul 15, 2024Updated 2 years ago
- & images☆32Jul 21, 2026Updated 3 months ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- ☆11Apr 22, 2016Updated 10 years ago
- a byte-sized time series database☆23Dec 15, 2020Updated 5 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.
- Duration☆17Apr 16, 2026Updated 6 months ago
- Scheduling build jobs on regular intervals, collecting artifacts☆13Jun 15, 2026Updated 4 months ago
- OCaml bindings for jech/dht☆25Jun 16, 2020Updated 6 years ago
- Entropy driver for MirageOS -- this has been imported into https://github.com/mirage/mirage-crypto☆11Feb 24, 2020Updated 6 years ago
- heterogenous Map over a GADT☆42Dec 17, 2024Updated last year
- nanomsg bindings for ocaml☆37Oct 28, 2020Updated 6 years ago
- An OCaml client for Riak☆15Nov 12, 2022Updated 3 years ago
- A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam☆13Jul 8, 2019Updated 7 years ago
- automatic ci configuration for the people☆36Nov 20, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A toolchain to check for broken opam packages☆21Aug 11, 2026Updated 2 months ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 4 years ago
- Binding to the WiringPi library☆13Sep 8, 2021Updated 5 years ago
- Library for manipulating ISO images☆13Jun 28, 2019Updated 7 years ago
- Monad syntax using ppx extensions☆18Mar 29, 2013Updated 13 years ago
- Port of the Mirage OS module to the FreeBSD kernel, aka. project "Mirage/kFreeBSD".☆13Aug 31, 2012Updated 14 years ago
- Experiments with the OpenStreetMap database : map rendering, routing, ...☆17Sep 28, 2022Updated 4 years ago