89 Open source projects that are alternatives of or similar to Discipline

Build your web API on the type level.

Proof of concept for a cats-like library built using Dotty features

A property based testing framework for Kotlin

A property-based testing library for Racket.

Scala combinator library for working with binary data

generalize counter-examples of property-based testing

🌈 Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.

http4s, in a browser near you

🌠 Purely functional Apache Pulsar client for Scala built on top of Fs2

Effect-Driven Compiler Tester for OCaml

📚 Unofficial Giter8 template for the Typelevel Stack (Http4s / Doobie / Circe / Cats Effect / Fs2) based on Cats v1.x.x

Generic programming for Scala

An overview of property-based testing functionality

Purely functional HTTP client

Type calculations at compile time

Asynchronous, Reactive Programming for Scala and Scala.js.

Write contract once. Get data & function validators & conformers, an accurate & readable project contract, auto-generated API documentation, generative test coverage, plus more. A tool that enables a more predictable workflow for developing your JavaScript projects.

Optics library for Scala

Property based testing tool for Swagger APIs

Asynchronous data type with typed errors.

Just an SBT plugin that enforces some organizational policies and settings across all of your projects

An implementation of the java pet store using FP techniques in scala

Transform runtypes type to jsverify arbitrary for generate sample of data

typeclass diagram for cats

Property based testing for AVA based on fast-check

Randomized testing for Prolog à la QuickCheck

Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.

Extension to hypothesis for testing numpy general universal functions

Test for spec compatibility and breaking changes.

Let Fixture Monkey generate test instances including edge cases automatically

A small companion to cats

An effort to statically type xstate

A minimal, idiomatic Scala interface for HTTP

Fable bindings for jest and friends for delightful Fable testing.

Functional JDBC layer for Scala.

Web modules built on Http4s

Composable, purely functional healthchecks in Scala.

enumerative property-based testing for Haskell

coulomb: unit analysis for Scala

Data migrations through implicit function composition at the type-level

Simple refinement types for Scala

property based testing library for Scala

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

A library for generative, property-based testing in TypeScript and Jest.

A data access library for Scala + Postgres.

Collection of utilities for trace-based testing

C++ Flavored Template Metaprogramming in Scala

🍰 A property-based testing framework that tries to break your invariances.

Expressive types for Spark.

Python based tool for testing whether your API conforms to its Swagger schema

doc/tutorial generator for scala

Repository for general Typelevel information, activity and issues

Experimental project to lay out basic algebra type classes

Creates fake JSON files from a JSON schema

Derive property based testing fast-check into a fuzzer for REST APIs

Property based Testing for Elixir (based upon PropEr)

A small library for converting between case classes.

An implementation of Fibonacci Anyons in Haskell

Erlang Declarative Debugger

Property-based testing library for Python