This video is a very nice introduction to lambda calculus.

This stuff might seem arcane but it’s as fundamental to computing as Boolean calculus. Moreso infact as the presenter demonstrates how you can derive all the laws of combinatorial logic with a tiny handful of functions.

https://github.com/yallop/effects-bibliography/blob/master/README.md

Eff is a functional programming language based on algebraic effect handlers. This means that Eff provides handlers of not only exceptions, but of any computational effect, allowing you to redirect output, wrap state modifications in transactions, schedule asynchronous threads, and much much more…

http://www.eff-lang.org/

https://www.nationalgeographic.com/science/2019/07/the-atlas-of-moons/

A useful summary of Andrea Giammarchi’s projects.

https://medium.com/@WebReflection/about-my-web-libraries-9b1e179d134?source=rss-cc83da4b8256——2

A tiny routing solution for modern React apps that relies on Hooks
https://github.com/molefrog/wouter/blob/master/README.md

A very cut down Babel for a narrow set of inputs: Typescript, JSX etc
https://github.com/alangpierce/sucrase/blob/master/README.md

https://serviceworke.rs/

https://jrsinclair.com/articles/2019/functional-js-traversing-trees-with-recursive-reduce/