Demostraciones formales en Lean 4 explicadas en texto natural con LaTeX.

i18next-poc

tiny & simple parser

Like ramda but specialized on transducers

lexer with a lazy iterable implementation

Experimental React specific linting rules

eslint rule to detect component definitions in the render scope

profiling react components in testing environment

An example of responsive issue in styled-system@5

calling onChange callback when label is clicked

proxy

a tiny graphQL client

Simple accessing to complex nested promise structures using a proxy

type class system PoC

🔍 A set of UI components to build a fully customized search!