alphaHeavy / protobuf
An implementation of Google's Protocol Buffers in Haskell.
☆96Updated 3 years ago
Alternatives and similar repositories for protobuf:
Users that are interested in protobuf are comparing it to the libraries listed below
- Haskell 98 contravariant functors☆73Updated 4 months ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 2 months ago
- Generic Programming using True Sums of Products☆161Updated last month
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Containers for STM☆68Updated 2 weeks ago
- haskell memory☆48Updated last year
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆128Updated 3 years ago
- Compact regions library for Haskell☆82Updated 7 months ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- playground for working with succinct data structures☆95Updated 9 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 4 months ago
- Generic parser combinators☆86Updated 3 months ago
- The missing tutorial module for the lens library☆82Updated 9 months ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated last month
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago