Pinned Loading

1. DOPPLERGEIST DOPPLERGEIST Public

   Python tool for aircraft Doppler audio geolocation using historical ADS-B flight data (Source-available)

   Python 557 71

2. integer-factoring integer-factoring Public

   Open research on deterministic integer factoring bounds, with proofs and reproducible certificates.

   Python 8 3

3. nand2tetris-verilog-improved nand2tetris-verilog-improved Public

   Forked from jopdorp/nand2tetris-verilog

   Improved Verilog implementation of Hack CPU with additional global history branch predictor chip + simple fused instructions

   Hack 3 1

4. autoDelete autoDelete Public

   Plugin for vencord to autodelete messages after set time in set channel

   TypeScript 2

5. cozi cozi Public

   A Package Manager for Unofficial Vencord Plugins

   Python 2

6. roulette roulette Public

   Buckshot roulette, but played at the command line. Suggestions welcome!

   Rust 1