Pinned Loading

1. tlaplus/vscode-tlaplus tlaplus/vscode-tlaplus Public

   TLA+ language support for Visual Studio Code

   TypeScript 358 33

2. intellij-rust intellij-rust Public

   Forked from intellij-rust/intellij-rust

   Rust IDE built using the IntelliJ Platform: https://intellij-rust.github.io/

   Kotlin

3. crossbeam-rs/crossbeam crossbeam-rs/crossbeam Public

   Tools for concurrent programming in Rust

   Rust 7.6k 475

4. fdec fdec Public

   Fixed-size fixed-point numeric types for Rust

   Rust 6 1

5. QuantLib QuantLib Public

   Forked from lballabio/QuantLib

   The QuantLib C++ library

   C++

6. zed zed Public

   Forked from zed-industries/zed

   Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

   Rust