nth-commit / GalaxyCheckLinks
A property-based testing library for .NET, authored in C#
☆16Updated last year
Alternatives and similar repositories for GalaxyCheck
Users that are interested in GalaxyCheck are comparing it to the libraries listed below
Sorting:
- Experiments with higher-kinded types and object algebras in C#☆38Updated 5 years ago
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10Updated 8 years ago
- Examples of Church encodings in C#☆16Updated 3 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated 4 months ago
- Randomly test state machines (such as your UI) by randomly navigating through transitions☆91Updated 9 months ago
- A library design for programming with effects and handlers in C#☆151Updated last year
- A library for programming with Algebraic Effects in F#☆100Updated 7 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 6 years ago
- Library for building Language Server Protocol servers and clients in F#.☆50Updated 6 months ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- Utility that automatically generates F# modules and functions based on your F# project file's references☆14Updated 4 years ago
- A "monad" or DSL for creating React components using Fable and F# computation expressions☆34Updated 2 years ago
- FsCheckUtils adds FsCheck utilities aimed at C# developers and adds some things from ScalaCheck e.g. someof and pick☆10Updated 9 years ago
- A Common Intermediate Language backend for Idris 1☆134Updated 6 years ago
- C# code analyzers☆22Updated 2 weeks ago
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 6 years ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 8 years ago
- A parser and formatter for TypeScript declarations that outputs HM-style type signatures.☆31Updated 2 years ago
- Use Zaid Ajaj Feliz API with SolidJS☆48Updated 3 years ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆38Updated last month
- EPUB authoring library for F#.☆29Updated 3 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆185Updated 7 years ago
- Hierarchical State Machine library☆51Updated 4 years ago
- Haskell Expression Visualizer☆13Updated 3 years ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Updated 3 years ago
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆50Updated last month
- experiments with @robkuz LimitedValue type☆71Updated 5 years ago
- ☆24Updated 8 years ago
- A framework for building command line application in F#☆58Updated 3 years ago
- A F# console app to replace PackageReferences with ProjectReferences in an entire solution.☆11Updated 2 years ago