Learn how to bring your own dotfiles to Gitpod | Bring your own Dotfiles to Gitpod | dotfiles on Gitpod
☆22May 27, 2023Updated 3 years ago
Alternatives and similar repositories for demo-dotfiles-with-gitpod
Users that are interested in demo-dotfiles-with-gitpod are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Oct 7, 2023Updated 2 years ago
- JSON expressions as abstract syntax notation (think "s-expressions")☆18Aug 20, 2024Updated last year
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated last year
- ☆14Jan 30, 2025Updated last year
- Syllabus &c. for SFPC Summer '15, Code Poetry☆13Aug 5, 2015Updated 10 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.
- Compute pop-up menus from text and overlay properties☆12Jul 28, 2015Updated 10 years ago
- idevicerestore, but with support for virtual devices☆12Jan 27, 2024Updated 2 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- Get up and running with Anka all within your local machine. Note: These are not ready for production but you are more than welcome to cop…☆37Jun 10, 2026Updated 3 weeks ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 3 months ago
- A simple and easy-to-use static file server written on Node.js.☆24Jul 31, 2017Updated 8 years ago
- Binding to CRlibm☆14Jul 25, 2023Updated 2 years ago
- Send a mail in OCaml☆17Jun 5, 2020Updated 6 years ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Terraform framework for deploying to Oracle Cloud Infrastructure. This is the landing zone (starting point) for the framework.☆13Jan 21, 2025Updated last year
- Multinomials for the Mathematical Components library.☆17Jun 24, 2026Updated last week
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated last week
- Enable the bridge and br-netfilter modules on WSL2. This allows you to use "bridge" network mode for Hashicorp Nomad jobs. I believe it a…☆11Jan 6, 2024Updated 2 years ago
- Helm Chart for strapi☆12Nov 15, 2022Updated 3 years ago
- Vib Image Registry Browser☆12Feb 11, 2026Updated 4 months ago
- Track Cygwin changes from the CVS repository.☆30Updated this week
- Yet another web framework in Go.☆10Apr 11, 2026Updated 2 months ago
- Prometheus exporter for NFS-Ganesha☆11Jul 27, 2024Updated last year
- 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.
- An orb for ShellCheck, a static analysis tool for shell scripts (https://shellcheck.net) — check all scripts in your repository on every …☆19Mar 5, 2025Updated last year
- ☆10May 8, 2024Updated 2 years ago
- ocamldoc comment syntax parser☆21Apr 30, 2020Updated 6 years ago
- The CLI manager for MCP servers☆21May 24, 2025Updated last year
- A simple CLI for using LLM APIs☆17Jun 22, 2026Updated last week
- Deploy Docker Compose apps to remote servers with just one command. Analyzes configs, syncs files, and manages services over SSH so you d…☆24Oct 27, 2025Updated 8 months ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- ☆13May 10, 2026Updated last month
- ☆10Nov 6, 2024Updated last year
- 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.
- A distribution overlay for Raspbian and similar systems to create a JACK-based embedded system for audio processing and streaming.☆12Dec 28, 2025Updated 6 months ago
- The engine for example-driven development in Pharo.☆13Jun 2, 2026Updated last month
- ☆10Apr 12, 2026Updated 2 months ago
- Build and Parse Asset Catalogs in Swift.☆13Feb 26, 2025Updated last year
- ☆12Jan 29, 2023Updated 3 years ago
- A De/CompressionStream for Bun☆14Jul 9, 2025Updated 11 months ago
- JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes☆15Mar 10, 2024Updated 2 years ago