How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Random Testing for .NET
The main features of fscheck/fscheck are: Functional Programming, Testing Frameworks.
Projects with overlapping indexed features include: reasonml/reason — Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web… phuocng/1loc — 1loc is a JavaScript utility library and multifaceted toolkit providing a collection of single-line functions for… flix/flix — Flix is a statically typed multi-paradigm programming language that combines functional, imperative, and logic… ackee-blockchain/trident — Rust-based framework to Fuzz Solana programs, designed to help you ship secure code. agiledragon/gomonkey — gomonkey is a library to make monkey patching in unit tests easy. adamluzsi/testcase — testcase is an opinionated testing framework to support test driven design.
Reason is a strongly typed functional language and multi-target compiler designed to produce either JavaScript for web environments or native machine code for operating systems. It serves as an OCaml-compatible language that shares an abstract syntax tree with OCaml, providing a practical syntax for the OCaml ecosystem. The project functions as a type-safe frontend language, incorporating JSX support to build user interfaces through structural elements that translate into type-safe function calls. It enables deep integration with the JavaScript ecosystem, allowing the use of existing librarie
1loc is a JavaScript utility library and multifaceted toolkit providing a collection of single-line functions for common mathematical, string, date, and geometric operations. It functions as a set of functional programming helpers and data validation predicates designed to perform atomic transformations and validations. The project includes a geometry math library for calculating distances, angles, and spatial overlaps between points and rectangles, alongside a text manipulation library for casting, capitalizing, and analyzing string content. The toolkit covers broader capability areas inclu
Flix is a statically typed multi-paradigm programming language that combines functional, imperative, and logic programming paradigms within a single unified environment. It utilizes a constraint-driven execution environment to derive results by satisfying logical predicates rather than following linear sequential instructions. The language features a unification-based logic engine designed to solve complex computational problems through term unification and backtracking. This is supported by a core library of persistent immutable data structures that ensure side-effect free state management a
Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.