☆20Nov 8, 2026Updated this week
Alternatives and similar repositories for rbrotli-enc
Users that are interested in rbrotli-enc 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 Rust port of the WebGraph framework☆62Oct 29, 2026Updated last week
- Zipora – High-performance Rust compression with In-place compressed-access (no full decompression).☆16Nov 2, 2026Updated last week
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- ☆13Apr 23, 2026Updated 6 months 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.
- A collaborative community database for the open problems on the erdosproblems.com site as well as some MathOverflow problems☆13Oct 26, 2026Updated 2 weeks ago
- initialize rust structs using environment variables (like pydantic's BaseSettings)☆12Oct 26, 2026Updated 2 weeks ago
- An implementation of the Trivial File Transfer Protocol (TFTP; RFC 1350) complete with a client and server☆15Apr 18, 2025Updated last year
- ☆13Apr 23, 2024Updated 2 years ago
- ☆17Jun 23, 2026Updated 4 months ago
- A lightweight HTTPS-based proxy for bypassing firewalls.☆21Jan 1, 2025Updated last year
- fast probabilistic symmetry detection on graphs☆23Oct 20, 2026Updated 3 weeks ago
- Kicad templates that I use regularly☆24Oct 15, 2025Updated last year
- A PHP library for encoding JPEG XL images. Very much inspired by WebP Convert.☆19Jul 15, 2024Updated 2 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.
- ☆37Dec 12, 2025Updated 10 months ago
- WebAssembly-compiled JPEG XL command line tool for Node.js☆19Nov 10, 2022Updated 4 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated 3 months ago
- Enhanced FFB Utility for iRacing☆21Jun 6, 2026Updated 5 months ago
- A small parallel Lean 4 typechecker based on unbound de Bruijn indexes☆17Updated this week
- Easily persist and read variables to reuse them between GitHub Action jobs☆22Feb 4, 2025Updated last year
- Matroids in Lean☆19Dec 23, 2023Updated 2 years ago
- 👥 Soothing pastel theme for SimpleX☆16Jan 11, 2025Updated last year
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months 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.
- Single-cache-miss rank queries over size 2 and 4 alphabets. 2x faster than all other Rust crates.☆18Apr 1, 2026Updated 7 months ago
- 📱🌦 Flutter application to display PWS (Personal Weather Station) data☆19Aug 1, 2024Updated 2 years ago
- GUI utility for encoding with rav1e & Opus☆17Oct 20, 2024Updated 2 years ago
- An io_uring runtime written in Rust☆14Updated this week
- OpenConjecture, a dataset of mathematics conjectures pulled from papers published to the ArXiv☆19Jul 12, 2026Updated 3 months ago
- ☆23Sep 25, 2026Updated last month
- search useful dependents for GitHub project.☆15May 8, 2023Updated 3 years ago
- Google Brotli rewritten in 100% safe Rust, byte-identical where applicable, but with a Rust-native API, SIMD, compression + decompression…☆34Updated this week
- Fast IP lookup table for IPv4/IPv6 prefixes☆24Aug 20, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- C++ wrappers (using Crubit) for Rust libraries☆31Updated this week
- ☆35Oct 21, 2026Updated 3 weeks ago
- ☆17Dec 3, 2023Updated 2 years ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Rust libraries for working with GPT (GUID Partition Table) disk data☆75Oct 20, 2026Updated 3 weeks ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆19Jul 4, 2021Updated 5 years ago
- IP addresses and prefixes lookup trie☆27Sep 7, 2026Updated 2 months ago
Are these results useful?