Property-based testing for Go
☆108Nov 3, 2026Updated this week
Alternatives and similar repositories for hegel-go
Users that are interested in hegel-go are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rapid is a modern Go property-based testing library☆909Sep 4, 2026Updated 2 months ago
- Tooling and libraries to enforce zero heap allocations in Golang☆134Updated this week
- Simulation testing for Go☆83Dec 10, 2024Updated last year
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated 4 months ago
- HTTP message signatures in Go☆11Apr 27, 2026Updated 6 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.
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆369Updated this week
- Property-based testing for Java, built on Hypothesis☆27Oct 22, 2026Updated last week
- Property-based testing for web and terminal UIs☆1,578Updated this week
- `swarmd` is a multi-tenant runtime for running background Agents in a safe and secure manner. Agents are defined in YAML and run as gorou…☆33Sep 23, 2026Updated last month
- QuickCheck-inspired property testing with integrated shrinking for Gleam☆48Aug 19, 2026Updated 2 months ago
- ☆24Aug 6, 2025Updated last year
- A standalone, dependency-free implementation of OpenMetrics v1.0☆10Oct 29, 2025Updated last year
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 4 months ago
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆232Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A secure way to release software using GoReleaser and GitHub Actions☆14Oct 7, 2026Updated 3 weeks ago
- A minimal circuit breaker implementation in Go☆12Dec 2, 2025Updated 11 months ago
- Goose converts a subset of Go to Rocq☆143Apr 7, 2026Updated 6 months ago
- ☆22Updated this week
- Declarative rule engine for readable & maintainable business rules☆17Sep 2, 2026Updated 2 months ago
- Universe for growing software.☆53Sep 30, 2026Updated last month
- A Go library to interact with TUN/TAP, VirtIO devices and vhost-net within the Linux kernel☆20Dec 8, 2025Updated 10 months ago
- ☆25Aug 9, 2026Updated 2 months ago
- Graph layouting package☆32Oct 19, 2026Updated 2 weeks 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.
- A fast, compact, immutable map from strings to uint64 values in Go.☆239Sep 17, 2026Updated last month
- A go implementation of Jane Street's "incremental".☆55Jul 19, 2026Updated 3 months ago
- Database-Backed Durable Golang Workflows☆864Updated this week
- gomponents + heroicons☆22Dec 6, 2024Updated last year
- Go Memcached client library #golang☆11Jun 4, 2014Updated 12 years ago
- A helper library for rewriting external module files☆12Jun 27, 2026Updated 4 months ago
- Property-based testing for TypeScript, built on Hypothesis☆78Oct 22, 2026Updated last week
- Git backed by object storage☆149Oct 28, 2026Updated last week
- Go package to interact with cloud object storage providers☆44Jul 21, 2026Updated 3 months 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.
- ☆21Feb 20, 2024Updated 2 years ago
- Run quickjs within Go wazero with WASI with reentrant scheduling.☆15Oct 26, 2026Updated last week
- SquashFS implementation in pure Go (read/write)☆20Apr 2, 2026Updated 7 months ago
- Mesh network with userspace IPsec, latency-aware Babel and segment routing☆29Updated this week
- ChromoDB is reliable key-value DBMS networked or not.☆26Feb 9, 2024Updated 2 years ago
- http://github.com/noypi/fp has golang promise, futures, lazies, parallelloops... etc...☆15Jul 17, 2018Updated 8 years ago
- A statically generated webring with YOCaml, because we love small-web☆28Oct 12, 2026Updated 3 weeks ago