Linux userspace traffic shaper
☆43Mar 8, 2022Updated 4 years ago
Alternatives and similar repositories for damper
Users that are interested in damper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple DNS matcher☆39Aug 28, 2018Updated 7 years ago
- USB CDC stack patches and packet based API skeleton with tests☆11Jan 23, 2015Updated 11 years ago
- ☆15Nov 8, 2017Updated 8 years ago
- -OFFICIAL REPO - DISA STIG Compliance Automation leveraging Puppet, Ansible, and Bash☆12Nov 18, 2014Updated 11 years ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Классификатор трафика на основе количественных характеристик потока транспортного уровня☆18Jul 6, 2016Updated 9 years ago
- RF window sensors: STM32L0 + RFM69 + Android☆12Jun 14, 2022Updated 3 years ago
- module provides an HTTP interface for adding, removing, and modifying back-end servers dynamically and without having to reload the confi…☆21Jan 21, 2016Updated 10 years ago
- The system for handle SNMP-traps and sending combined notifications.☆12Nov 10, 2016Updated 9 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Apr 23, 2010Updated 15 years ago
- My Agda blog/lab/playground☆12Updated this week
- Roland SC-88 System Exclusive Librarian, written as a Bash script for Linux☆14Apr 18, 2020Updated 5 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- RedisSessionHandler☆11Aug 12, 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.
- Примеры и код для доклада "Пряморукий DNS: делаем правильно"☆11Jun 4, 2017Updated 8 years ago
- Raspberry Pi Gameboy Pocket☆18Jun 5, 2014Updated 11 years ago
- Nginx module for inserting delays when serving requests.☆38May 8, 2017Updated 8 years ago
- GC3355 chip data sheets☆33Nov 29, 2013Updated 12 years ago
- Help to check user password☆11Oct 18, 2019Updated 6 years ago
- ☆13Jul 8, 2024Updated last year
- Ethereum miner with OpenCL, CUDA and stratum support☆13Aug 3, 2018Updated 7 years ago
- ☆11Jun 3, 2016Updated 9 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- 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.
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 14 years ago
- Firmware for combine harvesters written in O'Caml.☆16Mar 11, 2025Updated last year
- Necromant's libraries for kicad/eeschema☆13Feb 10, 2018Updated 8 years ago
- Smaller SMD version of Sergey Kiselev's Micro 8088 SBC, with XT-CF added☆16Jun 6, 2019Updated 6 years ago
- ☆23Mar 23, 2017Updated 9 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- RP2040 as read-only USB drive☆16Dec 14, 2023Updated 2 years ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A49xx/DRV88xx stepper motor driver☆11May 2, 2018Updated 7 years ago
- Paybacktime 2 MS-DOS Game☆18Jun 16, 2024Updated last year
- 8Mhz Turbo / Reset addon board for the IBM 5160 (The original XT)☆13May 29, 2021Updated 4 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- A €12 portable bench power supply unit (USB C PD)☆12Dec 1, 2020Updated 5 years ago
- Vulkan-Virglrenderer experiment helper repo☆41Aug 14, 2018Updated 7 years ago
- ATA Pass-Through library for python☆24Feb 16, 2016Updated 10 years ago