const-math-ghc-plugin

GHC plugin for constant math elimination (by kfish)

Const-math-ghc-plugin Alternatives

Similar projects and alternatives to const-math-ghc-plugin

  1. dhall

    Maintainable configuration files

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. inspection-testing

    Inspection Testing for Haskell

  4. ghc-proofs

    Let GHC prove program equations for you

  5. idris

    A Dependently Typed Functional Programming Language

  6. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  7. smuggler2

    Minimise haskell imports, make exports explicit

  8. BinderAnn

    BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

  9. uu-cco

    Tools for the CCO (Compiler Construction) course at the UU (Utrecht University)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better const-math-ghc-plugin alternative or higher similarity.

const-math-ghc-plugin discussion

Log in or Post with

const-math-ghc-plugin reviews and mentions

Posts with mentions or reviews of const-math-ghc-plugin. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning const-math-ghc-plugin yet.
Tracking mentions began in Dec 2020.

Stats

Basic const-math-ghc-plugin repo stats
0
14
0.0
over 12 years ago

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai