Exercise: trigger commands remotely
☆15Sep 6, 2022Updated 4 years ago
Alternatives and similar repositories for remotecmds
Users that are interested in remotecmds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- todo backend for django☆10Aug 4, 2014Updated 12 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 3 months ago
- A wrapper for capstone for bearparser☆16Oct 8, 2025Updated 10 months ago
- ☆15Dec 27, 2018Updated 7 years ago
- A list of security courses at colleges and universities☆12Aug 9, 2017Updated 9 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 9 years ago
- EBA is a static bug finder for C.☆16Jun 22, 2020Updated 6 years ago
- Information Repository on Various Methods of getting shell access into a Windows machine☆17Feb 11, 2020Updated 6 years ago
- Search through your Chrome and Firefox bookmarks with the command-line☆17Oct 19, 2019Updated 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.
- Just a bunch of useful scripts for netsec/admin/others☆18Dec 9, 2025Updated 8 months ago
- messing around writing reversing tools in clojure☆15Nov 9, 2017Updated 8 years ago
- Ditto.☆18Jul 23, 2020Updated 6 years ago
- Minimal web frontend for esniper, a lightweight eBay sniping tool☆10Dec 16, 2018Updated 7 years ago
- Scan for open S3 buckets and dump☆10Mar 8, 2018Updated 8 years ago
- Gopher server written in Common Lisp☆13Nov 7, 2016Updated 9 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆18Oct 23, 2012Updated 13 years ago
- In this project a robot that can be operated by authorized person or operator is implemented. For this purpose we use a face re…☆12Jun 20, 2018Updated 8 years ago
- matter.farm, 7x7 beijing project w/ Sean Raspet☆11Feb 6, 2019Updated 7 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.
- Minimal SML-based web server☆13Jun 19, 2015Updated 11 years ago
- JSON module for Guile☆121Jul 30, 2025Updated last year
- PowerShell module containing cmdlets to search repositories, code, issues, pull requests, and users on GitHub.com☆14Apr 7, 2021Updated 5 years ago
- ARP ping detector on local network☆15Feb 3, 2013Updated 13 years ago
- GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin☆12Mar 27, 2020Updated 6 years ago
- ☆21Jun 3, 2021Updated 5 years ago
- A dead-simple, extensible logging framework for Python☆11Aug 4, 2021Updated 5 years ago
- Get ALL of the AKER Kit source file packs. If you love them, don't forget to tell us about it - aaron@akerkits.com☆10May 24, 2017Updated 9 years ago
- Ansible role to install beehive https://github.com/muesli/beehive☆12Jun 30, 2017Updated 9 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.
- Compiler and runtime of the Smten language for functional programming and orchestration of SMT queries☆19Aug 29, 2018Updated 8 years ago
- Plugin metademands for GLPI☆12Updated this week
- The internet is covered in 💩. Avoid it.☆12Aug 28, 2017Updated 9 years ago
- ☆18Nov 19, 2018Updated 7 years ago
- Bisector tree implementation in OCaml☆25Apr 17, 2024Updated 2 years ago
- Research work on how to create a Email Marketing subject line to produce maximum open rate☆10Feb 11, 2016Updated 10 years ago
- Using Raspberry Pi, Python, MQTT, Home Assistant, a relay, and a magnetic proximity sensor, I open, close, stop, and report the status of…☆11Nov 7, 2016Updated 9 years ago