objectionary/phino

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

GitHub repository with 17 stars and 8 forks.

Language: Haskell

Topics: code-analysis, command-line-tool, eolang, formalization, haskell, normalization, phi-calculus

Open provider repository

Latest metric snapshot

2026-06-05: 17 stars and 8 forks.

Trending in Haskell

  1. 1. garnix-io/garnix-ci

    CI and hosting for nix-based, flakified github repos

    GitHub repository with 394 stars and 40 forks.

    Trending score: 2.05; stars gained: +10; forks gained: +1.

    Language: Haskell

  2. 2. monoscope-tech/monoscope

    Monoscope lets you ingest and explore your logs, traces and metrics. We store these in S3 compatible buckets. Query in natural language via LLMs.

    GitHub repository with 1,021 stars and 40 forks.

    Trending score: 1.37; stars gained: +19; forks gained: +2.

    Language: Haskell

  3. 3. simonmichael/hledger

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

    GitHub repository with 4,520 stars and 386 forks.

    Trending score: 1.03; stars gained: +5; forks gained: +0.

    Language: Haskell

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

  4. 4. hadolint/hadolint

    Dockerfile linter, validate inline bash, written in Haskell

    GitHub repository with 12,181 stars and 493 forks.

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

    Language: Haskell

  5. 5. nasa/ogma

    Generator of runtime monitors for flight and robotics applications.

    GitHub repository with 565 stars and 52 forks.

    Trending score: 0.62; stars gained: +2; forks gained: +1.

    Language: Haskell

    Topics: assurance, autonomy, cfs, embedded-systems, flight-software, fprime

  6. 6. DataHaskell/dataframe

    A fast, safe, and intuitive DataFrame library.

    GitHub repository with 249 stars and 46 forks.

    Trending score: 0.60; stars gained: +3; forks gained: +0.

    Language: Haskell

    Topics: dataframe, exploratory-data-analysis, functional-programming

Trending topic: code-analysis

  1. 1. DeusData/codebase-memory-mcp

    High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static binary, zero dependencies.

    GitHub repository with 2,980 stars and 304 forks.

    Trending score: 1.94; stars gained: +69; forks gained: +2.

    Language: C

    Topics: claude-code, code-analysis, code-intelligence, developer-tools, knowledge-graph, mcp

  2. 2. ozgurcd/gograph

    A fast, local-only CLI tool to generate repository structures and improve IDE context awareness for Go codebases.

    GitHub repository with 159 stars and 13 forks.

    Trending score: 1.51; stars gained: +7; forks gained: +3.

    Language: Go

    Topics: agentic-coding, ai-agent, ai-coding-assistant, antigravity, ast, claude-code

  3. 3. wonderwhy-er/DesktopCommanderMCP

    This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities

    GitHub repository with 6,107 stars and 727 forks.

    Trending score: 0.86; stars gained: +5; forks gained: +0.

    Language: TypeScript

    Topics: agent, ai, code-analysis, code-generation, mcp, terminal-ai

  4. 4. truecourse-ai/truecourse

    AI-powered architecture analysis and code intelligence. Detects circular deps, layer violations, dead modules, and more. Web UI + CLI.

    GitHub repository with 429 stars and 37 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +1.

    Language: TypeScript

    Topics: ai, architecture, code-analysis, code-quality, developer-tools, javascript

  5. 5. ix-infrastructure/Ix

    Understand any codebase instantly. System intelligence for codebases, built for humans and AI.

    GitHub repository with 265 stars and 30 forks.

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

    Language: TypeScript

    Topics: ai, ai-memory, claude-code, cli, code-analysis, code-mapping

  6. 6. scheidydude/codeindex

    Repo dependency analyzer with **blast-radius impact scoring** for AI-assisted development.

    GitHub repository with 255 stars and 35 forks.

    Trending score: 0.62; stars gained: +0; forks gained: +0.

    Language: Python

    Topics: ai-assisted-development, blast-radius, cli, code-analysis, dependency-graph, developer-tools