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
- Use GVfs as a backend for docker volume☆14Apr 21, 2018Updated 8 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Updated this week
- Folds captured output sections in Travis CI build log☆14Dec 13, 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.
- Binding to CRlibm☆14Jul 25, 2023Updated 3 years ago
- An interval library for OCaml☆17Dec 9, 2022Updated 3 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- The XSD2Java Gradle Plugin generates java classes from an existing XSD schema.☆11Mar 4, 2025Updated last year
- LISP Evaluator for FreeBASIC. An embedded LISP interpreter written entirely in FreeBASIC for use with FreeBASIC applications.☆11Nov 20, 2017Updated 8 years ago
- Tmux plugin, keeps track of Mullvad VPN status☆15Aug 24, 2024Updated 2 years ago
- Export your Bookmarked Tweets with Flask☆14Sep 29, 2022Updated 3 years ago
- Debpic lets you easily build Debian packages in an isolated Docker environment.☆11Jul 20, 2026Updated last month
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated last week
- 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 minor mode enabling split-screen scrolling in any Emacs 'comint-mode' buffer (such as shell-mode, inferior-python-mode, etc.)☆16Jan 5, 2026Updated 7 months ago
- Reactive signals for OCaml.☆19Sep 12, 2024Updated last year
- The xterm.js web IDE aka The Browser Terminal☆15Jan 22, 2026Updated 7 months ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- Elisp library for the DeepL API☆15Jun 19, 2026Updated 2 months ago
- Adaptive Machine Learning-Based Stock Prediction using Financial Time Series Technical Indicators☆10Dec 21, 2019Updated 6 years ago
- ☆12Oct 10, 2018Updated 7 years ago
- Async support for ERT☆18Jan 5, 2020Updated 6 years ago
- Simple one-shot configuration updater for various dot rc files.☆18Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Build and install perls☆16May 21, 2022Updated 4 years ago
- A Kotlin multi-platform library providing some functional programming idioms and user defined effects.☆15Jan 5, 2024Updated 2 years ago
- A sample on how to split the lib deps of a JVM/Clojure lambda into a layer☆16Mar 4, 2023Updated 3 years ago
- 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
- Helper image for Terraform module development in Gitpod☆15Dec 29, 2022Updated 3 years ago
- Authentication framework for OCaml Dream web-framework☆17Apr 20, 2022Updated 4 years ago
- List of awesome university courses for learning Computer Science!☆17Jan 12, 2015Updated 11 years ago
- Git+Ansible: watch git repo for changes and run only changed playbooks☆17Jan 23, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Browser extension to check and uptate archival of repositories in Software Heritage☆20Aug 16, 2026Updated 2 weeks 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
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 4 months ago
- Session types in Idris2!☆26Dec 14, 2020Updated 5 years ago
- script for output top 20 openvz containers for cpu/disk usage☆10May 4, 2015Updated 11 years ago
- ☆16Sep 19, 2020Updated 5 years ago