A BSD-compatible reimplementation of Ubuntu's run-one
☆15Jul 27, 2023Updated 3 years ago
Alternatives and similar repositories for run-one
Users that are interested in run-one are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jan 30, 2025Updated last year
- Docker: Alpine Linux and Wekan <=> MongoDB☆10Mar 27, 2025Updated last year
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- Folds captured output sections in Travis CI build log☆14Dec 13, 2022Updated 3 years ago
- Binding to CRlibm☆14Jul 25, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An interval library for OCaml☆17Dec 9, 2022Updated 3 years ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆17Aug 28, 2023Updated 2 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- an ocaml package to generate ULIDs☆20Jan 2, 2019Updated 7 years ago
- Debpic lets you easily build Debian packages in an isolated Docker environment.☆11Jul 20, 2026Updated 3 weeks ago
- Reactive signals for OCaml.☆19Sep 12, 2024Updated last year
- Stripped-down version of mccs with OCaml bindings☆24Jan 9, 2025Updated last year
- ocamldoc comment syntax parser☆21Apr 30, 2020Updated 6 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Adaptive Machine Learning-Based Stock Prediction using Financial Time Series Technical Indicators☆10Dec 21, 2019Updated 6 years ago
- A few short examples of using [toolbox](https://github.com/containers/toolbox) containers to their fullest potential.☆16Apr 20, 2022Updated 4 years ago
- ☆12Oct 10, 2018Updated 7 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- Async support for ERT☆18Jan 5, 2020Updated 6 years ago
- Email configuration repository for ghar☆12Mar 3, 2018Updated 8 years ago
- macOS wrapper for borg backup☆13Apr 27, 2017Updated 9 years ago
- Simple one-shot configuration updater for various dot rc files.☆18Updated this week
- A sample on how to split the lib deps of a JVM/Clojure lambda into a layer☆16Mar 4, 2023Updated 3 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.
- Yet another SSB client! Probably gonna be Patchwork 4.0, but for now is missing a lot of things and under pretty serious development☆17Sep 7, 2018Updated 7 years ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- Binary packages for OPAM with local and remote repositories☆17Dec 27, 2022Updated 3 years ago
- Authentication framework for OCaml Dream web-framework☆17Apr 20, 2022Updated 4 years ago
- Git+Ansible: watch git repo for changes and run only changed playbooks☆17Jan 23, 2023Updated 3 years ago
- This application is built for comparation of testing and production services PostgreSQL databases. It generates SQL fixing differences.☆13Feb 11, 2019Updated 7 years ago
- The caml walks, OCaml runs☆22Oct 11, 2023Updated 2 years ago
- HTTP::Tiny compatible wrappers for LWP, curl, wget☆16May 4, 2026Updated 3 months ago
- script for output top 20 openvz containers for cpu/disk usage☆10May 4, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple C program to find out the memory usage on an OpenVZ VPS☆17Jun 23, 2011Updated 15 years ago
- Database Management System☆16May 27, 2024Updated 2 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆17Mar 19, 2026Updated 4 months ago
- [read-only mirror] More complete Debian environment for Docker, minimal image☆13Aug 9, 2025Updated last year
- A generic goal preprocessing tool for proof automation tactics in Coq☆17Jul 27, 2026Updated 2 weeks ago
- JWTs for OCaml☆29Oct 1, 2021Updated 4 years ago
- The Rocq Prover bot☆30Updated this week