Popular repositories

1. awesome-provable

   A curated set of links to formal methods involving provable code.

   126 5

2. MicroPython_ESP32_psRAM_LoBo

   Forked from loboris/MicroPython_ESP32_psRAM_LoBo

   MicroPython for ESP32 with psRAM support

   C 2 1

3. uncompyle2

   Forked from Mysterie/uncompyle2

   uncompyle2

   Python 1

4. CSAL

   Forked from ARM-software/CSAL

   Coresight Access Library

   C 1

5. autojump

   Forked from wting/autojump

   A cd command that learns - easily navigate directories from the command line

   Python 1

6. dotfiles

   Because I hate having to copy these around.

   Shell 1