Quint Code Activity

Structured reasoning framework for Claude Code, Gemini, and Cursor

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Quint Code

• 28 days ago

  Quint Code released /v9.1.0/haft-linux-arm64.tar.gz

• 28 days ago

  Quint Code released /v9.1.0/haft-linux-amd64.tar.gz

• 28 days ago

  Quint Code released /v9.1.0/checksums.txt

• 28 days ago

  Quint Code released /v9.1.0/haft-darwin-arm64.tar.gz

• 28 days ago

  Quint Code released /v9.1.0/README.md

• 28 days ago

  Quint Code released /v9.1.0/Haft v9.1.0 source code.zip

• 28 days ago

  Quint Code released /v9.1.0/Haft v9.1.0 source code.tar.gz

• 29 days ago

  Quint Code released /v9.0.3/haft-linux-arm64.tar.gz

• 29 days ago

  Quint Code released /v9.0.3/haft-linux-amd64.tar.gz

• 29 days ago

  Quint Code released /v9.0.3/haft-darwin-arm64.tar.gz

• 29 days ago

  Quint Code released /v9.0.3/checksums.txt

• 29 days ago

  Quint Code released /v9.0.3/Haft v9.0.3 source code.tar.gz

• 29 days ago

  Quint Code released /v9.0.3/README.md

• 29 days ago

  Quint Code released /v9.0.3/Haft v9.0.3 source code.zip

• 1 month ago

  Quint Code released /v9.0.2/haft-linux-arm64.tar.gz

• 1 month ago

  Quint Code released /v9.0.2/haft-linux-amd64.tar.gz

• 1 month ago

  Quint Code released /v9.0.2/haft-darwin-arm64.tar.gz

• 1 month ago

  Quint Code released /v9.0.2/README.md

• 1 month ago

  Quint Code released /v9.0.2/checksums.txt

• 1 month ago

  Quint Code released /v9.0.2/Haft v9.0.2 source code.zip

• 1 month ago

  Quint Code released /v9.0.1/haft-linux-amd64.tar.gz

• 1 month ago

  Quint Code released /v9.0.1/haft-linux-arm64.tar.gz

• 1 month ago

  Quint Code released /v9.0.1/haft-darwin-arm64.tar.gz

• 1 month ago

  Quint Code released /v9.0.1/checksums.txt

• 1 month ago

  Quint Code released /v9.0.1/README.md

• 1 month ago

  Quint Code released /v9.0.1/Haft v9.0.1 source code.zip

• 1 month ago

  Quint Code released /v9.0.2/Haft v9.0.2 source code.tar.gz

• 1 month ago

  Quint Code released /v9.0.1/Haft v9.0.1 source code.tar.gz

• 1 month ago

  Quint Code released /v9.0.0/haft-linux-arm64.tar.gz

• 1 month ago

  Quint Code released /v9.0.0/haft-linux-amd64.tar.gz

• 1 month ago

  Quint Code released /v9.0.0/README.md

• 1 month ago

  Quint Code released /v9.0.0/haft-darwin-arm64.tar.gz

• 1 month ago

  Quint Code released /v9.0.0/checksums.txt

• 1 month ago

  Quint Code released /v9.0.0/Haft v9.0.0 source code.zip

• 1 month ago

  Quint Code released /v9.0.0/Haft v9.0.0 source code.tar.gz

• 3 months ago

  Quint Code released /v8.1.0/haft-linux-arm64.tar.gz

• 3 months ago

  Quint Code released /v8.1.0/haft-darwin-arm64.tar.gz

• 3 months ago

  Quint Code released /v8.1.0/haft-linux-amd64.tar.gz

• 3 months ago

  Quint Code released /v8.1.0/checksums.txt

• 3 months ago

  Quint Code released /v8.1.0/Haft v8.1.0 source code.zip

• 3 months ago

  Quint Code released /v8.1.0/README.md

• 3 months ago

  Quint Code released /v8.1.0/Haft v8.1.0 source code.tar.gz

• 3 months ago

  Quint Code released /v8.0.0/haft-linux-arm64.tar.gz

• 3 months ago

  Quint Code released /v8.0.0/README.md

• 3 months ago

  Quint Code released /v8.0.0/haft-linux-amd64.tar.gz

• 3 months ago

  Quint Code released /v8.0.0/haft-darwin-arm64.tar.gz

• 3 months ago

  Quint Code released /v8.0.0/checksums.txt

• 3 months ago

  Quint Code released /v8.0.0/Haft v8.0.0 source code.zip

• 3 months ago

  Quint Code released /v8.0.0/Haft v8.0.0 source code.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/tui.mjs

• 4 months ago

  Quint Code released /v7.1.0/haft-linux-arm64.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/haft-desktop-linux-amd64.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/haft-linux-amd64.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/haft-desktop-darwin-amd64.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/haft-desktop-darwin-arm64.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/haft-darwin-arm64.tar.gz

• 4 months ago

  Quint Code released /v7.1.0/README.md

• 4 months ago

  Quint Code released /v7.1.0/checksums.txt

• 4 months ago

  Quint Code released /v7.1.0/Haft v7.1.0 source code.zip

• 4 months ago

  Quint Code released /v7.1.0/Haft v7.1.0 source code.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/tui.mjs

• 5 months ago

  Quint Code released /v7.0.0/haft-linux-arm64.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/haft-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/haft-desktop-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/haft-desktop-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/haft-desktop-darwin-amd64.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/haft-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v7.0.0/checksums.txt

• 5 months ago

  Quint Code released /v7.0.0/README.md

• 5 months ago

  Quint Code released /v7.0.0/Haft v7.0.0 source code.zip

• 5 months ago

  Quint Code released /v7.0.0/Haft v7.0.0 source code.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/tui.mjs

• 5 months ago

  Quint Code released /v6.2.1/haft-linux-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-desktop-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-desktop-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-desktop-darwin-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/haft-darwin-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.1/README.md

• 5 months ago

  Quint Code released /v6.2.1/checksums.txt

• 5 months ago

  Quint Code released /v6.2.1/Haft v6.2.1 source code.zip

• 5 months ago

  Quint Code released /v6.2.1/Haft v6.2.1 source code.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/tui.mjs

• 5 months ago

  Quint Code released /v6.2.0/haft-linux-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/haft-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/haft-desktop-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/haft-desktop-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/haft-desktop-darwin-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/haft-darwin-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/haft-darwin-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.2.0/checksums.txt

• 5 months ago

  Quint Code released /v6.2.0/README.md

• 5 months ago

  Quint Code released /v6.2.0/Haft v6.2.0 source code.zip

• 5 months ago

  Quint Code released /v6.2.0/Haft v6.2.0 source code.tar.gz

• 5 months ago

  Quint Code released /v6.1.0/tui.mjs

• 5 months ago

  Quint Code released /v6.1.0/haft-linux-amd64.tar.gz

• 5 months ago

  Quint Code released /v6.1.0/haft-linux-arm64.tar.gz

• 5 months ago

  Quint Code released /v6.1.0/haft-darwin-arm64.tar.gz

1 >

✕