google / cabal2bazelLinks
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
Sorting:
- Interactive development for Bazel/Haskell rules☆49Updated 3 years ago
- Managing third-party Haskell packages in Bazel☆30Updated 6 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 7 months ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- A Haskell program and library to derive instances for data types☆25Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- QuickCheck extras.☆29Updated 5 years ago
- the EitherT monad transformer☆55Updated this week
- Speculate laws about Haskell functions☆30Updated 4 months ago
- Protocol Buffers library for Haskell☆22Updated 3 years ago
- Haskell: Monorepo for our open source packages☆17Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Updated 4 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Provides the region monad for safely opening and working with scarce resources☆33Updated 10 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- ☆50Updated 7 months ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 6 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Serializable closures for distributed programming.☆65Updated last year
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago