Pinned Loading

1. rust-lang/rust rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 110k 14.4k

2. FStarLang/fstar-vscode-assistant FStarLang/fstar-vscode-assistant Public

   An interactive mode for F* in VS Code

   TypeScript 27 10

3. tlaplus/vscode-tlaplus tlaplus/vscode-tlaplus Public

   TLA+ language support for Visual Studio Code

   TypeScript 400 45

4. apache/spark apache/spark Public

   Apache Spark - A unified analytics engine for large-scale data processing

   Scala 42.7k 29k

5. kaminsky-attack kaminsky-attack Public

   Implementation of a Kaminsky DNS cache poisoning attack for a network security class assignment

   Rust 4

6. sayler-collisions sayler-collisions Public

   Code to find Sayler n-collisions. A Sayler n-collision is two distinct inputs that hash to values with the same first and last n hex digits

   Rust 1