A property-based testing library for .NET, authored in C#
☆18Sep 25, 2024Updated last year
Alternatives and similar repositories for GalaxyCheck
Users that are interested in GalaxyCheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆23Nov 27, 2025Updated 9 months ago
- Examples of Church encodings in C#☆16Nov 24, 2025Updated 9 months ago
- XML Parser for Deno☆15Oct 18, 2024Updated last year
- a language acceptor for the JavaScript Pattern (regular expression internals) grammar☆16Apr 27, 2022Updated 4 years ago
- A WASM Formatter for Web Developer | TS / JS / JSON / CSS / HTML☆20Sep 9, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10May 23, 2017Updated 9 years ago
- 🏛️ The context you know and love, but framework agnostic!☆13Sep 1, 2025Updated last year
- Linter & formatter for Clarity☆14Aug 25, 2023Updated 3 years ago
- Speed comparison of Dependency Injection Container☆17Dec 4, 2011Updated 14 years ago
- io-ts codec to fast-check arbitrary mapping☆32Aug 31, 2021Updated 5 years ago
- macOS song rating app for Music.app and iTunes.app☆12Updated this week
- Property based testing for Jest based on fast-check☆16Jun 23, 2022Updated 4 years ago
- Home of the NeoHaskell docs☆16Nov 9, 2025Updated 10 months ago
- Small static site generator toolkit☆25Dec 20, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Hono-inspired HTTP framework for MoonBit☆19Sep 12, 2026Updated last week
- 공인인증서 복사 / 삭제 / 비밀번호 변경 프로그램☆14Feb 23, 2020Updated 6 years ago
- An NPM module that helps you working with IETF language tags as specified by BCP 47 / RFC 5646.☆24Jul 20, 2024Updated 2 years ago
- Automatic Korean Hanja tagging tool powered by Hanjaro (hanjaro.juntong.or.kr)☆19Feb 22, 2019Updated 7 years ago
- Property based testing for AVA based on fast-check☆44Jun 23, 2022Updated 4 years ago
- Use F# to create and consume flexible, strongly typed web APIs following the JSON:API specification☆21Feb 17, 2020Updated 6 years ago
- Match a URI to a template from a collection of URI Templates☆18Oct 8, 2025Updated 11 months ago
- .NET SQL builder that emulates writing SQL.☆17Jan 25, 2023Updated 3 years ago
- Haskell parser and printer for the TOML 1.1.0 file format☆31May 7, 2026Updated 4 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.
- Batteries-included structured logging library☆31Updated this week
- F# Sublime Text☆20Apr 6, 2021Updated 5 years ago
- Clarity fuzzer designed to cut through your smart contract's defenses with precision.☆22Aug 6, 2026Updated last month
- Apply a JSON diff/patch to YAML while preserving whitespace, comments and overall structure☆24Aug 16, 2023Updated 3 years ago
- The answer is to get organized.☆16Feb 9, 2022Updated 4 years ago
- Reference sheet of the basics of F# ^_^☆22Jan 10, 2020Updated 6 years ago
- Dark theme for the Mozilla Developer Network☆21Nov 8, 2021Updated 4 years ago
- A plugin for babel to transform `x * y` into something like `JSBI.multiply(x, y)` to support bigints.☆18Sep 22, 2024Updated last year
- LLM-powered agentic translation library for JavaScript/TypeScript☆33May 5, 2026Updated 4 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.
- JavaScript proposal for unordered async iterator helpers☆21Aug 7, 2024Updated 2 years ago
- Web terminal and sandbox explorer for your mesos containers☆19Sep 12, 2026Updated last week
- ☆19Jan 30, 2012Updated 14 years ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- tmq is a lightweight, portable, cross-platform, and fully featured command-line TOML processor. Like jq for JSON and yq for YAML, tmq is …☆37Aug 25, 2026Updated 3 weeks ago
- I wonder who I am, and what the purpose and summary of the branches that I made are.☆14Jun 29, 2015Updated 11 years ago
- (This project is abandoned. We recommend you to use typeguard instead.)☆10Feb 1, 2017Updated 9 years ago