A repo to install softwares for development using docker.
☆15Oct 1, 2021Updated 4 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 …☆37Dec 15, 2021Updated 4 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- A command-line interface to send mail quickly and without any hassle.☆15Nov 2, 2021Updated 4 years ago
- Experimental mode to support Kotlin in Processing☆10Jun 8, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 🏍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
- Chrome/Firefox extension to watch live streams for free☆14Dec 17, 2020Updated 5 years ago
- UNIX based x86_32bit light weight OS build from Scratch in c and c++ .☆10Jun 27, 2021Updated 5 years ago
- Python Network Programming - Basic Server☆14Jun 3, 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 9 years ago
- A tool to allow for viewing of arbitrary Super Auto Pets replays☆11May 2, 2022Updated 4 years ago
- Server for Pragyan's Dalal Street☆76Mar 19, 2022Updated 4 years ago
- Automate your LinkedIn workflow using Python.☆23Oct 11, 2023Updated 2 years ago
- File Server (Upload/Download) Using TCP Sockets using python language☆16Jul 19, 2020Updated 5 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.
- ☆16Dec 11, 2022Updated 3 years ago
- An Easy to use C++ Language Server Client Library in Qt☆21Mar 12, 2026Updated 3 months ago
- Various mechanized proof files for fun.☆15Jun 6, 2026Updated 3 weeks ago
- thread-local storage for OCaml☆18Jan 13, 2025Updated last year
- 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
- Framework for benchmarking on multiple cores on current-bench☆15Jun 14, 2025Updated last year
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Revolutionize your recruitment process with this cutting-edge proof of concept! Developed from the inspiration of josephkearney91's Linke…☆37Mar 12, 2026Updated 3 months ago
- A scheduler independent blocking mechanism☆20Feb 15, 2024Updated 2 years ago
- 🦸♂️Application that displays a list of DC Characters using Modern Android Application Development tools and API's☆25Nov 5, 2020Updated 5 years ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- Python scripts to extract connection data and send connection requests on LinkedIn using Selenium WebDriver.☆28Aug 22, 2020Updated 5 years ago
- Simple Python File Server With Browse, Upload, and Authentication☆36Dec 13, 2020Updated 5 years ago
- ☆10Oct 1, 2024Updated last year
- Flask extension for OPA☆39Mar 16, 2021Updated 5 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- 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
- an easy cpp language-server-protocol client☆28Jul 25, 2024Updated last year
- A somewhat-helpful collection of vim tips and tricks that I've collected over the years.☆20Jan 5, 2015Updated 11 years ago
- A lisp embedded in C++ syntax by overriding the comma operator☆12Jul 21, 2023Updated 2 years ago
- Tools-kit For Metasploit☆39Aug 12, 2020Updated 5 years ago