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
- 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.
- 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
- ☆15Dec 27, 2018Updated 7 years ago
- A list of security courses at colleges and universities☆12Aug 9, 2017Updated 9 years ago
- General-purpose public wiki and issue tracking☆15Jul 13, 2018Updated 8 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 9 years ago
- Search through your Chrome and Firefox bookmarks with the command-line☆17Oct 19, 2019Updated 6 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
- 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.
- 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"☆19Oct 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
- Minimal SML-based web server☆13Jun 19, 2015Updated 11 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆13Aug 28, 2019Updated 7 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆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
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- Plugin metademands for GLPI☆12Updated this week
- ☆18Nov 19, 2018Updated 7 years ago
- Bisector tree implementation in OCaml☆25Apr 17, 2024Updated 2 years ago
- A collection of pure Python crypto implementations. All modules are standalone. Available in Python 2 and Python 3 flavors!☆10Mar 2, 2013Updated 13 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- fact-finding prototype implementation of ophion server☆16Aug 15, 2021Updated 5 years ago
- ☆14Oct 9, 2021Updated 4 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆21Mar 24, 2022Updated 4 years ago
- This WordPress plugin, useful to transcode audio and video file from any format to mp3 and mp4 respectively. Also it will generate thumbn…☆12Aug 22, 2025Updated last year
- ☆13Jul 15, 2020Updated 6 years ago
- Efficient, idiomatic Go library for Backblaze B2 Cloud Storage.☆14Sep 13, 2018Updated 8 years ago
- MagicWand makes your input devices context sensitive☆20Nov 10, 2020Updated 5 years ago