Resource limits
☆61Sep 13, 2026Updated last week
Alternatives and similar repositories for rlimit
Users that are interested in rlimit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆43Jul 20, 2025Updated last year
- Python-like decorator in Rust☆15May 14, 2020Updated 6 years ago
- Traits and functions to make writing proc macros more ergonomic.☆22Jun 27, 2023Updated 3 years ago
- System Programming include database/command/file_system☆14Jun 24, 2022Updated 4 years ago
- ClickHouse in DataFusion!☆18Mar 29, 2026Updated 5 months 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.
- ☆21Jun 17, 2025Updated last year
- A helper library to generate complex and nested structures by a simple macro☆14Updated this week
- A fast multi-threaded base64 encoding / decoding library and CLI tool, made in Rust.☆13Aug 7, 2023Updated 3 years ago
- One pointer wide trait objects which are also FFI safe, allowing traits to be passed to/from and implemented by C ABI code.☆44Feb 5, 2022Updated 4 years ago
- Rust library for applying Gaussian quadrature to integrate a function☆25Aug 23, 2026Updated last month
- ☆13Nov 28, 2023Updated 2 years ago
- A faster replacement for `#[derive(Hash)]` for types without padding☆29Aug 18, 2025Updated last year
- low-level bindings to libseccomp☆12Mar 6, 2021Updated 5 years ago
- splice(2) based `copy_bidirectional` in tokio☆21Aug 17, 2025Updated last year
- 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.
- ☆14Apr 19, 2022Updated 4 years ago
- File locking via POSIX advisory record locks☆20Feb 17, 2024Updated 2 years ago
- LibP2P networking library written in Rust☆12Dec 29, 2021Updated 4 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- A tar archive reading/writing library for async Rust.☆34Aug 23, 2025Updated last year
- RPi Pico SDK and code demos in Rust.☆17Feb 2, 2021Updated 5 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- A no-std libm implementation in Rust☆13Jul 10, 2018Updated 8 years ago
- Simple seccomp library for rust☆22Sep 28, 2023Updated 2 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.
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 5 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 3 years ago
- A CRC algorithm generator with SIMD support and table fallback☆22Jan 24, 2025Updated last year
- Environment variables utility functions.☆30Oct 14, 2025Updated 11 months ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- A high-performance, thread-safe HashMap and LRU cache for Rust with fine-grained per-key locking.☆20Jul 16, 2026Updated 2 months ago
- vectorized decimal parsing☆13Dec 17, 2022Updated 3 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.
- castage is multi-stage builds helper for caching☆17Jan 5, 2026Updated 8 months ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- std::simd implementation of BLAKE3☆24Dec 10, 2023Updated 2 years ago
- LLVM Bitcode parser in Rust☆26Apr 9, 2026Updated 5 months ago
- My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5☆14Oct 6, 2021Updated 4 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- Choreography-Derived Runtime Enforcement for Rust☆29Jul 26, 2026Updated last month