GaloisInc/saw-script

The Software Analysis Workbench

GitHub repository with 513 stars and 83 forks.

Language: Haskell

Open provider repository

Latest metric snapshot

2026-06-13: 513 stars and 83 forks.

Similar repositories

  1. 1. jgm/pandoc

    Universal markup converter

    GitHub repository with 44,793 stars and 3,898 forks.

    Trending score: 3.07; stars gained: +36; forks gained: +0.

    Language: Haskell

    Topics: pandoc, haskell, markdown, markup, converter, publishing

  2. 2. XiayiZhang/Luguan

    🦌🧪️ Luguan is a programming lnguage. (Inline Brainfuck)

    GitHub repository with 19 stars and 1 forks.

    Trending score: 1.71; stars gained: +7; forks gained: +0.

    Language: Haskell

    Topics: brainfuck, functional-programming, programming-language

  3. 3. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,532 stars and 388 forks.

    Trending score: 1.49; stars gained: +4; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  4. 4. simplex-chat/simplexmq

    ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

    GitHub repository with 805 stars and 97 forks.

    Trending score: 1.43; stars gained: +4; forks gained: +1.

    Language: Haskell

  5. 5. nammayatri/nammayatri

    A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

    GitHub repository with 2,510 stars and 378 forks.

    Trending score: 1.20; stars gained: +3; forks gained: +1.

    Language: Haskell

  6. 6. simplex-chat/simplex-chat

    SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

    GitHub repository with 11,248 stars and 624 forks.

    Trending score: 1.10; stars gained: +0; forks gained: +1.

    Language: Haskell

    Topics: chat, protocol, e2ee, privacy, haskell, security

Trending in Haskell

  1. 1. jgm/pandoc

    Universal markup converter

    GitHub repository with 44,793 stars and 3,898 forks.

    Trending score: 3.07; stars gained: +36; forks gained: +0.

    Language: Haskell

    Topics: pandoc, haskell, markdown, markup, converter, publishing

  2. 2. XiayiZhang/Luguan

    🦌🧪️ Luguan is a programming lnguage. (Inline Brainfuck)

    GitHub repository with 19 stars and 1 forks.

    Trending score: 1.71; stars gained: +7; forks gained: +0.

    Language: Haskell

    Topics: brainfuck, functional-programming, programming-language

  3. 3. simonmichael/hledger

    Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

    GitHub repository with 4,532 stars and 388 forks.

    Trending score: 1.49; stars gained: +4; forks gained: +0.

    Language: Haskell

    Topics: hledger, haskell, ledger, web-application, console-application, command-line-tool

  4. 4. simplex-chat/simplexmq

    ⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

    GitHub repository with 805 stars and 97 forks.

    Trending score: 1.43; stars gained: +4; forks gained: +1.

    Language: Haskell

  5. 5. nammayatri/nammayatri

    A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

    GitHub repository with 2,510 stars and 378 forks.

    Trending score: 1.20; stars gained: +3; forks gained: +1.

    Language: Haskell

  6. 6. simplex-chat/simplex-chat

    SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

    GitHub repository with 11,248 stars and 624 forks.

    Trending score: 1.10; stars gained: +0; forks gained: +1.

    Language: Haskell

    Topics: chat, protocol, e2ee, privacy, haskell, security