nth-commit / GalaxyCheck
A property-based testing library for .NET, authored in C#
☆16Updated 6 months ago
Alternatives and similar repositories for GalaxyCheck:
Users that are interested in GalaxyCheck are comparing it to the libraries listed below
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated 3 weeks ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- F# Event Sourcing impl with GES and NES backends derived from FsUno.Prod☆19Updated 7 years ago
- Lightweight CLI test runner for FsCheck☆12Updated 4 years ago
- EPUB authoring library for F#.☆27Updated 2 years ago
- A Map-like data structure with slicing along dimensions☆28Updated last year
- Utility that automatically generates F# modules and functions based on your F# project file's references☆14Updated 4 years ago
- Hierarchical State Machine library☆51Updated 4 years ago
- Examples of Church encodings in C#☆16Updated 2 years ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆34Updated last year
- Fable bindings for zip.js☆11Updated 2 years ago
- Fable binding for the Parsimmon parser combinator library☆21Updated 2 years ago
- ☆19Updated last year
- F# version of Scala's ZIO Environment☆18Updated 5 years ago
- Visual Studio Linter for F#☆33Updated 3 years ago
- A graph based approach to type inference written in F#☆16Updated 5 months ago
- A WIP FSharp DSL for creating POV scenes☆9Updated 3 years ago
- limited dependent typing via F# Type Provider☆54Updated 7 years ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Updated last year
- Feliz API for JSX compilation☆31Updated 2 years ago
- Randomly test state machines (such as your UI) by randomly navigating through transitions☆91Updated 4 months ago
- Higher Order Dependency Injection☆11Updated 3 months ago
- Functional Event Sourcing meets The Elm Architecture☆20Updated 3 years ago
- 💹 Collection of elementary financial functions☆23Updated 2 years ago
- An F# Type provider provider☆15Updated 5 years ago
- Fable bindings for markdown-to-jsx https://kerams.github.io/Fable.MarkdownToJsx/☆11Updated 2 years ago
- Open source F# mathematical logic library.☆11Updated 2 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 5 years ago
- A library for fast reflective updates to immutable data trees☆19Updated 7 years ago