🤪 A list of funny and tricky JavaScript examples. Contribute to denysdovhan/wtfjs development by creating an account on GitHub.

Library to create Coq record update functions. Contribute to tchajed/coq-record-update development by creating an account on GitHub.