Create beautiful modern documentation websites.

Build OpenAPI-compliant REST APIs using TypeScript and Node

RxJava 2 utilities.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Simple Extensions for Scala

Reversible conversions between types

A Scala API for Cascading