🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.

Agda is a dependently typed programming language / interactive theorem prover.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Lean 4 programming language and theorem prover

A comparison of enumerations and similar features in different languages

📋 Validation resolvers: Yup, Zod, Superstruct, Joi, Vest, Class Validator, io-ts, Nope, computed-types, typanion, Ajv, TypeBox, ArkType, Valibot, effect-ts and VineJS

The monorepo home to all of the FormatJS related libraries, most notably react-intl.

Emulate AWS λ and API Gateway locally when developing your Serverless project

[not actively maintained!] A standard library for functional programming in JavaScript

Functional programming in Swift

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Spring Framework

Generate API documentation for humans from your Laravel codebase.✍

OpenApi or Swagger integration to Laravel

🧩 The Browser Extension Framework

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Lightweight, modular, and extensible library for functional programming.

Quarkus: Supersonic Subatomic Java.

The code examples used in Programming Scala, 2nd and 3rd Editions (O'Reilly)

A community-driven Ruby coding style guide

A Functional-Reactive UI library for the Rx.Observable Universe.

Make your functions return something meaningful, typed, and safe!

Personal blog on computer science and software engineering.

A modern proof language

Programming Language Theory λΠ

Verbs is an event sourcing package for PHP artisans

Test, Run & Share Laravel Collection Examples!

Runtime type system for IO decoding/encoding

Faster and smaller alternative to Ramda