Install and update single binary apps without any hassle
☆29Sep 18, 2021Updated 4 years ago
Alternatives and similar repositories for blindspot
Users that are interested in blindspot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is how we interfere with broken AUR packages 🔧☆14Oct 16, 2024Updated last year
- Rust library and CLI implementation of the LessPass password generator.☆21Jul 15, 2025Updated last year
- A lightweight DNS-over-HTTPS ("DOH") proxy written in Rust.☆17Jan 3, 2019Updated 7 years ago
- A little privilege escalator in Rust, for learning.☆15May 2, 2020Updated 6 years ago
- A small command-line utility to replace 'rm' with a portable trash directory system☆25Apr 18, 2025Updated last year
- 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.
- Extended utilities for working with files and filesystems in Rust.☆23Aug 3, 2021Updated 4 years ago
- ☆27Apr 17, 2019Updated 7 years ago
- package manage for v☆31Dec 17, 2019Updated 6 years ago
- Rust Markdown Parser☆30Jul 8, 2026Updated last week
- rust bindings for the enlightenment foundation libraries☆21Jun 13, 2016Updated 10 years ago
- Telegram bot that acts as an email client☆24Jan 27, 2018Updated 8 years ago
- This program aims to collect Linux system information including hostname, kernel version, uptime, RTC time, load average, CPU, memory, ne…☆39Feb 21, 2024Updated 2 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Sidecar service for Elastic Kibana that injects some configuration☆14Feb 2, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My Agda stuff☆13Jul 3, 2026Updated 2 weeks ago
- Git subcommands to help with your workflow☆25Jun 24, 2025Updated last year
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- User-space Finite State Machine using (pretty much) Linux kernel functions.☆11Apr 15, 2026Updated 3 months ago
- PriFi, a low-latency, local-area anonymous communication network.☆52Jan 9, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- various scripts and tools☆15May 26, 2026Updated last month
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 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.
- Parse and serve fresh Roscomnadzor dump☆17Jul 2, 2026Updated 2 weeks ago
- Calculate mean of pairwise weighted distances between points using great circle metric.☆11Jul 6, 2023Updated 3 years ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- A driver crate for the entire u-blox cellular family in Rust☆24Updated this week
- Sets generic Zsh built-in environment options.☆17Nov 30, 2021Updated 4 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- Type-safe assertion helpers for Go☆17Nov 21, 2025Updated 8 months ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- Links to Notmuch buffers from Org documents☆16Jun 1, 2026Updated last month
- 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.
- PHP+Python scripts for building simple server with hillshade tiles☆14Jul 2, 2026Updated 2 weeks ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 9 months ago
- CPython that can be installed using pip☆17May 1, 2022Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Negative trait implementations on stable Rust.☆19Jul 3, 2026Updated 2 weeks ago
- My personal base configuration for nyxt browser with opinionated theme(s) and organization.☆16Jul 1, 2021Updated 5 years ago
- Bicycle Repair Man - Rewrite Python Sources with Your Additions☆19Oct 17, 2022Updated 3 years ago