Property-based testing for Rust, built on Hypothesis
☆272Jun 24, 2026Updated this 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 5 months ago
- Internal Services Cluster☆20Jun 17, 2026Updated last week
- Personal AI assistant via Matrix Chat - A slightly saner alternative to OpenClaw☆49May 4, 2026Updated last month
- An async allocator with Fun™️ unsafe Rust☆18Jun 4, 2023Updated 3 years ago
- An attribute macro for creating a `Standard` distribution for rust types☆17May 18, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- DC-SCM LTPI Reference Implementation☆23Jan 13, 2026Updated 5 months ago
- My website & blog with articles about coding, tech, functional programming, …☆10Jun 12, 2026Updated 2 weeks ago
- A demonstration of how you can leverage Nix dynamic derivations for Node projects☆25Mar 13, 2025Updated last year
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- Rational numbers for PureScript☆13Jun 27, 2024Updated 2 years ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- Integrate Deno with Nix☆59Jun 7, 2024Updated 2 years ago
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- Nix linter based on libnixf☆36Sep 21, 2025Updated 9 months 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.
- Do select-group-by on csv and other text files☆14Apr 23, 2022Updated 4 years ago
- 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
- Pulse Audio Cable Manager☆14Feb 12, 2023Updated 3 years ago
- A simple macro to create correct opaque pointers☆21Apr 23, 2021Updated 5 years ago
- 🗂️ A simple, opinionated, tool, written in Rust, for declaratively managing Git repos on your machine.☆22May 17, 2026Updated last month
- A way to handle states with structs in Dioxus☆27Apr 12, 2025Updated last year
- Run a program sandboxed in an ephemeral jj workspace using a Nix devshell☆33Apr 24, 2026Updated 2 months ago
- buck2 oci rules☆11Jun 20, 2026Updated last week
- 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 simple terminal UI file manager☆36Nov 23, 2019Updated 6 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A Rust implementation of the PCG PRNG.☆24May 29, 2017Updated 9 years ago
- An experimental VSCode extension for Roc language☆26Jan 12, 2026Updated 5 months ago
- Nix Flake templates for various languages☆49May 29, 2026Updated 3 weeks ago
- PureScript bindings for the yargs command-line parsing library☆18Jun 19, 2018Updated 8 years ago
- A purely functional animated GUI framework☆17Updated this week
- GitHub actions and packages for building Grafana☆12Jun 5, 2026Updated 3 weeks ago
- ☆48Mar 22, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Raw string literals for Haskell.☆25Mar 19, 2018Updated 8 years ago
- Tabs for gyscos/cursive views 🖥️☆31Aug 12, 2024Updated last year
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆13Sep 28, 2025Updated 9 months ago
- A simple and powerful Rust remote method invocation library based on trait objects☆13Jan 6, 2021Updated 5 years ago
- A JSON schema language☆28Apr 15, 2025Updated last year
- Port of the Haskell School of Music to Purescript☆22Jun 17, 2026Updated last week
- A bibliography for protocol design☆55Apr 17, 2025Updated last year