A repo to install softwares for development using docker.
☆15Oct 1, 2021Updated 5 years ago
Alternatives and similar repositories for docker-installs
Users that are interested in docker-installs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Challenges and writeup for Pragyan CTF '22☆18Mar 6, 2022Updated 4 years ago
- A flutter package for authentication with DAuth(an OAuth2 based SSO (Single Sign On) for NITT students) authorisations service on behalf …☆35Dec 15, 2021Updated 4 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- A command-line interface to send mail quickly and without any hassle.☆14Nov 2, 2021Updated 5 years ago
- 🏍Fast Home Delivery App of Grocery ,Medicines , Vegetables ,etc during lockdown . Client can send Handwritten List Photo ,Chat with Shop…☆11Jun 27, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experimental mode to support Kotlin in Processing☆10Jun 8, 2022Updated 4 years ago
- UNIX based x86_32bit light weight OS build from Scratch in c and c++ .☆10Jun 27, 2021Updated 5 years ago
- Chrome/Firefox extension to watch live streams for free☆13Dec 17, 2020Updated 5 years ago
- Python Network Programming - Basic Server☆14Jun 3, 2020Updated 6 years ago
- A tool to allow for viewing of arbitrary Super Auto Pets replays☆11May 2, 2022Updated 4 years ago
- File Server (Upload/Download) Using TCP Sockets using python language☆16Jul 19, 2020Updated 6 years ago
- It is a repository that is a collection of algorithms and data structures with implementation in various languages.☆10Oct 29, 2016Updated 10 years ago
- ☆14Dec 11, 2022Updated 3 years ago
- Server for Pragyan's Dalal Street☆75Mar 19, 2022Updated 4 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.
- This game is developed for a school project by using JavaFX☆19Jul 2, 2020Updated 6 years ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- An Easy to use C++ Language Server Client Library in Qt☆22Mar 12, 2026Updated 7 months ago
- WiFi Connectivity Wrapper is a library that provides a set of convenient methods for managing WiFi State, WiFi Scan, And WiFi Connection …☆20Jun 19, 2020Updated 6 years ago
- Wob extended wtih effect handlers☆14Sep 25, 2023Updated 3 years ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- 🦸♂️Application that displays a list of DC Characters using Modern Android Application Development tools and API's☆25Nov 5, 2020Updated 6 years ago
- A toy JS to ARM assembly compiler, in Haskell☆18May 30, 2022Updated 4 years ago
- Python scripts to extract connection data and send connection requests on LinkedIn using Selenium WebDriver.☆27Aug 22, 2020Updated 6 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.
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- Automate your LinkedIn workflow using Python.☆25Oct 11, 2023Updated 3 years ago
- Simple Python File Server With Browse, Upload, and Authentication☆36Dec 13, 2020Updated 5 years ago
- Flask extension for OPA☆39Mar 16, 2021Updated 5 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- It's time to take control over your bills. Meet boletinhos.☆34Jun 9, 2021Updated 5 years ago
- A simple pinning service using textile powergate☆20Aug 23, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- an easy cpp language-server-protocol client☆28Jul 25, 2024Updated 2 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆13May 18, 2017Updated 9 years ago
- 🎬Application that displays a list of Movies and Tv Series using Modern Android Application Development tools and API's☆30Apr 30, 2021Updated 5 years ago
- Randomized testing framework, designed for compatibility with Base☆19Updated this week
- A somewhat-helpful collection of vim tips and tricks that I've collected over the years.☆20Jan 5, 2015Updated 11 years ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Sample android application to demonstrate use of Kotlin Coroutines StateFlow.☆37May 22, 2020Updated 6 years ago