andreasabel/agda2lagda

Simple conversion from Agda text to literate Agda text.

GitHub repository with 14 stars and 0 forks.

Language: Haskell

Topics: agda, latex, literate-programming, command-line-tool

Open provider repository

Latest metric snapshot

2026-06-05: 14 stars and 0 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

    Topics: haskell, logs, metrics, monitoring, observability, opentelemetry

  3. 3. simonmichael/hledger

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

    GitHub repository with 4,519 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

  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: agda

  1. 1. ualib/agda-algebras

    The Agda Universal Algebra Library (html docs available at the url below)

    GitHub repository with 46 stars and 8 forks.

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

    Language: Python

    Topics: agda-library, universal-algebra, logic, foundations, type-theory, agda