Pinned Loading

1. intellij-prolog intellij-prolog Public

   Prolog plugin for Intellij IDEA

   Scala 28 5

2. leblog leblog Public

   Haskell

3. rust-lang/rust rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 109k 14.3k

4. BinaryAnalysisPlatform/bap BinaryAnalysisPlatform/bap Public

   Binary Analysis Platform

   OCaml 2.2k 281

5. ice1000/algo4j ice1000/algo4j Public

   🏇 An algorithm library using java native interface

   C++ 67 12

6. rustsec/advisory-db rustsec/advisory-db Public

   Security advisory database for Rust crates published through crates.io

   1.1k 420