google / cabal2bazel

Related projects ⓘ

Alternatives and complementary repositories for cabal2bazel

• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• FormationAI / hazel
  Managing third-party Haskell packages in Bazel
  ☆30Updated 5 years ago
• google / haskell-indexer
  Emits code crossreference data for Haskell sources.
  ☆99Updated 4 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆120Updated 8 years ago
• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆16Updated 5 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆21Updated 5 years ago
• BartoszMilewski / XOperad
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Updated 3 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• sru-systems / protobuf-simple
  Protocol Buffers library for Haskell
  ☆22Updated 3 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated last week
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• haskell-works / hw-json
  ☆49Updated this week
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 7 years ago
• DanielG / cabal-helper
  Give Haskell development tools access to Cabal project environment.
  ☆24Updated 3 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated 11 months ago
• google / ormolu
  This is a fork of https://github.com/tweag/ormolu.
  ☆13Updated last year
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 6 months ago
• ndmitchell / derive
  A Haskell program and library to derive instances for data types
  ☆25Updated 4 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 2 years ago
• rudymatela / speculate
  Speculate laws about Haskell functions
  ☆30Updated 9 months ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated 11 months ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated last month
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago