Simple DNS matcher
☆39Aug 28, 2018Updated 7 years ago
Alternatives and similar repositories for sidmat
Users that are interested in sidmat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- Setup Docker services via Makefile☆21Dec 6, 2025Updated 5 months ago
- Linux userspace traffic shaper☆43Mar 8, 2022Updated 4 years ago
- Flat Abstract Syntax Tree☆35Nov 4, 2017Updated 8 years ago
- Single file PCX image loader.☆11Sep 24, 2019Updated 6 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.
- ☆10Oct 9, 2016Updated 9 years ago
- Lightweight Netflow/IPFIX/sFlow collector and analyzer☆135Apr 11, 2026Updated 3 weeks ago
- ☆19Oct 25, 2021Updated 4 years ago
- r4 Virtual Machine in many version, last is "r4wine2" for win, "r4a" is android.☆13Apr 22, 2019Updated 7 years ago
- ☆14Apr 17, 2016Updated 10 years ago
- My Agda blog/lab/playground☆13Apr 25, 2026Updated last week
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- ffmpeg frontend to convert pixiv-ugoira/-animations to webm or gif☆17Sep 15, 2016Updated 9 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.
- Low level CPython tinkering utils.☆18Sep 19, 2021Updated 4 years ago
- A script to create a zabbix map from a graphviz.dot file (http://blog.zabbix.com/maps-for-the-lazy/2898/)☆20Mar 3, 2020Updated 6 years ago
- ☆32Feb 1, 2018Updated 8 years ago
- L7 split-routing with Envoy☆22May 31, 2021Updated 4 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Lightweight MessagePack library☆23Sep 3, 2025Updated 8 months ago
- Coq solutions to exercises in HoTT book☆12Jan 31, 2014Updated 12 years ago
- A binary tree based memory allocator in C.☆11Nov 22, 2017Updated 8 years ago
- Ansible fluentd role for Debian-based systems☆16May 23, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- ☆17Feb 20, 2024Updated 2 years ago
- Easy OpenVPN certificate and configuration management☆48Mar 14, 2016Updated 10 years ago
- Walk inside curved spaces☆15Dec 7, 2022Updated 3 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- A simple λProlog interpreter☆20Nov 29, 2021Updated 4 years ago
- Cloudflare's RPKI Toolbox☆178Feb 29, 2024Updated 2 years ago
- Dumping ground for random wine patches☆23Jun 29, 2021Updated 4 years ago
- Functional Lenses in C++☆21Jul 31, 2011Updated 14 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.
- Formalization of 2LTT in Agda☆18Aug 6, 2025Updated 9 months ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Скрипт для сбора статистики по зонам .RU .SU .РФ☆55Jan 20, 2025Updated last year
- OMD with Grafana, InfluxDB, Nagflux and Histou configured☆12Mar 29, 2017Updated 9 years ago
- flexible, structured event replication format for DNS servers (command-line tool and Golang package)☆148Apr 17, 2024Updated 2 years ago
- A companion to PushPin, this Chrome extension will capture the page-as-it-is when you click the button.☆10Jan 7, 2023Updated 3 years ago
- Sync a Cloudflare DNS record with your public IP address.☆12Updated this week