Alternatives and similar repositories for cabal2bazel

Users that are interested in cabal2bazel are comparing it to the libraries listed below

• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 4 years ago
• FormationAI / hazel
  Managing third-party Haskell packages in Bazel
  ☆30Updated 6 years ago
• google / haskell-indexer
  Emits code crossreference data for Haskell sources.
  ☆101Updated 7 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 6 months ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 9 months ago
• google / ghc-source-gen
  Library for generating Haskell source files and code fragments.
  ☆98Updated 3 weeks ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• sru-systems / protobuf-simple
  Protocol Buffers library for Haskell
  ☆22Updated 4 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆55Updated 3 months ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• OlafChitil / hat
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Updated 2 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆67Updated last year
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 6 years ago
• BartoszMilewski / XOperad
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Updated 4 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 2 weeks ago
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 7 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• ocharles / nix-build-cache
  Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.
  ☆25Updated 4 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆33Updated 3 years ago