google / cabal2bazel
Haskell Bazel rules and cabal2bazel import tool.
☆42Updated 4 years ago
Alternatives and similar repositories for cabal2bazel:
Users that are interested in cabal2bazel are comparing it to the libraries listed below
- Interactive development for Bazel/Haskell rules☆48Updated 3 years ago
- Managing third-party Haskell packages in Bazel☆30Updated 5 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 6 months ago
- QuickCheck extras.☆29Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last month
- BoringSSL-backed TLS and cryptography library for Haskell☆15Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 6 months ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 5 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Emits code crossreference data for Haskell sources.☆100Updated 2 months ago
- Hedgehog will eat your typeclass bugs☆56Updated last month
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- This is a fork of https://github.com/tweag/ormolu.☆13Updated last year
- Tuple data type and utility functions☆26Updated 2 years ago
- the EitherT monad transformer☆55Updated 2 months ago
- Functions for working with PureScripts 'Number' type☆13Updated last year
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Library for generating Haskell source files and code fragments.☆97Updated 5 months ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- Run HLint as part of normal compilation☆47Updated 6 years ago
- A monad, perhaps.☆32Updated 5 years ago
- Experiment-management framework in Haskell☆19Updated 9 years ago
- Management and Distribution of Secret Credentials☆23Updated 8 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago