Property-based testing for Rust, built on Hypothesis
☆185Apr 7, 2026Updated last week
Alternatives and similar repositories for hegel-rust
Users that are interested in hegel-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parts of Nix ported to Rust☆37Jan 3, 2026Updated 3 months ago
- Internal Services Cluster☆20Mar 23, 2026Updated 3 weeks ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Nix build hook that forwards builds to job schedulers.☆32Mar 31, 2026Updated 2 weeks ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 3 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.
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- DC-SCM LTPI Reference Implementation☆19Jan 13, 2026Updated 3 months ago
- My website & blog with articles about coding, tech, functional programming, …☆10Mar 28, 2026Updated 2 weeks ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- Rational numbers for PureScript☆13Jun 27, 2024Updated last year
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 3 years ago
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- MFTE, the magic-free text editor☆15Nov 27, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Helps you to export your kube-bench reports to multiple targets like Amazon S3 buckets with ease.☆12Apr 3, 2021Updated 5 years ago
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 4 years ago
- 🗂️ A simple, opinionated, tool, written in Rust, for declaratively managing Git repos on your machine.☆22Oct 15, 2023Updated 2 years ago
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 4 months ago
- A way to handle states with structs in Dioxus☆27Apr 12, 2025Updated last year
- A general-purpose Leaflet map component for Dioxus applications☆41Mar 25, 2026Updated 3 weeks ago
- buck2 oci rules☆11Apr 8, 2026Updated last week
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Rust implementation of the PCG PRNG.☆24May 29, 2017Updated 8 years ago
- ☆48Mar 22, 2026Updated 3 weeks ago
- High-performance network proxy connecting VMs to macOS vmnet☆29Apr 8, 2026Updated last week
- Rust implementation of the Hyperion Ambient Lighting software☆12Updated this week
- A purely functional animated GUI framework☆17Jul 16, 2025Updated 9 months ago
- moon agent rewritten in async☆42Mar 31, 2026Updated 2 weeks ago
- Causal traceability for Kubernetes resource mutations☆43Feb 17, 2026Updated last month
- A modern, idiomatic web framework for Riot☆18Dec 29, 2023Updated 2 years ago
- ☆24Feb 19, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆26May 3, 2022Updated 3 years ago
- ☆28Oct 22, 2025Updated 5 months ago
- A bibliography for protocol design☆51Apr 17, 2025Updated 11 months ago
- Nix binary cache implemented in rust (maintainer: @Mic92)☆461Apr 9, 2026Updated last week
- Port of the Haskell School of Music to Purescript☆21Mar 25, 2026Updated 3 weeks ago
- A commandline tool for performing text-wrapping☆17Sep 21, 2024Updated last year
- SSR ready vite plugin for ESM integration of wasm-pack generated packages☆12Feb 27, 2025Updated last year