Pinned Loading

1. nav nav Public

   zsh navigation at the speed of thought with `alt` + `arrow`

   Shell 24 2

2. clc clc Public

   Tiny bash utility for coloring terminal output and prompt

   Shell 62 1

3. pi-generator pi-generator Public

   Pausable/resumable pi digits generator using new JS BigInt. Demo: https://betafcc.github.io/pi-generator

   JavaScript 4 1

4. vscode-fp-ts-codegen vscode-fp-ts-codegen Public

   Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen

   TypeScript 16

5. ts-reveal-types ts-reveal-types Public

   VSCode Live view of type declarations, formatted and no truncation

   TypeScript 10

6. Municipios-Brasileiros-TSE Municipios-Brasileiros-TSE Public

   Tabela com código tse e código ibge dos municípios

   Jupyter Notebook 38 19