Bindings for ABC, A System for Sequential Synthesis and Verification

abcBridge alternatives and similar packages

Based on the "Data" category

• semantic-source

  10.0 9.9 abcBridge VS semantic-source

  Types and functionality for working with source code

• lens

  10.0 7.4 abcBridge VS lens

  Lenses, Folds and Traversals

• hnix

  9.9 8.8 abcBridge VS hnix

  Haskell implementation of the Nix language

• text

  9.8 3.2 abcBridge VS text

  An efficient packed Unicode text type.

• code-builder

  9.8 0.4 abcBridge VS code-builder

  Simple system for generating code.

• unordered-containers

  9.7 6.5 abcBridge VS unordered-containers

  Efficient hashing-based container types

• cassava

  9.7 0.3 abcBridge VS cassava

  A CSV parsing and encoding library

• Frames

  9.7 6.3 abcBridge VS Frames

  Data frames For working with tabular data files

• reedsolomon

  9.6 0.0 abcBridge VS reedsolomon

  Reed-Solomon Erasure Coding in Haskell

• holmes

  9.6 7.0 abcBridge VS holmes

  Tools and combinators for solving constraint problems.

• critbit

  9.6 0.0 abcBridge VS critbit

  Crit-bit maps and sets

• massiv

  9.6 9.2 abcBridge VS massiv

  Massiv (Массив) is an Array Library.

• msgpack-binary

  9.5 4.4 abcBridge VS msgpack-binary

  A Haskell implementation of MessagePack

• hashtables

  9.5 1.3 abcBridge VS hashtables

  Mutable hash tables in the ST monad

• higgledy

  9.5 3.7 abcBridge VS higgledy

  Partial types as a type constructor.

• primitive

  9.5 4.3 abcBridge VS primitive

  Primitive memory-related operations

• binary

  9.5 2.3 abcBridge VS binary

  Binary serialisation for Haskell values using lazy ByteStrings

• jump

  9.5 0.0 abcBridge VS jump

  Nothing to see here, move along

• IORefCAS

  9.4 2.0 abcBridge VS IORefCAS

  Atomic compare and swap for IORefs and STRefs.

• hashable

  9.4 6.5 abcBridge VS hashable

  A class for types that can be converted to a hash value

• resource-pool

  9.4 0.0 abcBridge VS resource-pool

  A high-performance striped resource pooling implementation

• network-msgpack-rpc

  9.4 2.6 abcBridge VS network-msgpack-rpc

  A MessagePack-RPC Implementation

• discrimination

  9.4 1.0 abcBridge VS discrimination

  Fast generic linear-time sorting, joins and container construction.

• refined

  9.4 5.6 abcBridge VS refined

  Refinement types with static and runtime checking

• data-msgpack

  9.4 2.7 abcBridge VS data-msgpack

  A Haskell implementation of MessagePack

• reflection

  9.4 4.1 abcBridge VS reflection

  Reifies arbitrary terms into types that can be reflected back into terms

• aeson-qq

  9.4 0.0 abcBridge VS aeson-qq

  JSON quasiquoter for Haskell

• protobuf

  9.3 0.0 abcBridge VS protobuf

  Google Protocol Buffers via GHC.Generics

• caledon

  9.3 0.4 abcBridge VS caledon

  a logic programming language based on the calculus of constructions

• json-autotype

  9.3 8.1 abcBridge VS json-autotype

  Automatic type declaration for JSON input data

• rei

  9.3 0.0 abcBridge VS rei

  Process lists easily

• dependent-sum

  9.3 6.0 abcBridge VS dependent-sum

  Dependent sum type

• audiovisual

  9.3 6.0 abcBridge VS audiovisual

  A battery-included audiovisual framework

• stdio

  9.3 4.3 abcBridge VS stdio

  A simple and high performance IO toolkit for Haskell

• cereal

  9.3 0.6 abcBridge VS cereal

  A binary serialization library

• certificate

  9.3 0.5 abcBridge VS certificate

  Certificates and Key Reader/Writer

• tables

  9.3 0.0 abcBridge VS tables

  In-memory storage with multiple keys using lenses and traversals

• safecopy

  9.2 5.2 abcBridge VS safecopy

  Binary serialization with version control.

• orgmode-parse

  9.2 0.6 abcBridge VS orgmode-parse

  A collection of Attoparsec combinators for parsing org-mode flavored documents.

• bifunctors

  9.2 5.4 abcBridge VS bifunctors

  Bifunctors

• streaming

  9.2 0.0 abcBridge VS streaming

  an elementary streaming prelude and general stream type.

• avro

  9.2 7.6 abcBridge VS avro

  Avro serialization support for Haskell

• aig

  9.1 2.8 abcBridge VS aig

  And-inverter graphs in Haskell.

• compendium-client

  9.1 8.8 abcBridge VS compendium-client

  Client for the Compendium schema server

• versioning

  9.1 0.4 abcBridge VS versioning

  Type-safe data versioning.

• b-tree

  9.0 1.6 abcBridge VS b-tree

  Immutable disk-based B* trees

• bson

  9.0 4.2 abcBridge VS bson

  BSON documents are JSON-like objects with a standard binary encoding.

• structures

  9.0 0.0 abcBridge VS structures

  "Advanced" Data Structures

• MemoTrie

  8.9 1.6 abcBridge VS MemoTrie

  Trie-based memo functions

• uuid-types

  8.9 1.6 abcBridge VS uuid-types

  Type definitions for Universally Unique Identifiers

Do you think we are missing an alternative of abcBridge or a related project?

Add another 'Data' Package

Popular Comparisons

• abcBridge
  vs
  roles
• abcBridge
  vs
  hnix
• abcBridge
  vs
  llrbtree
• abcBridge
  vs
  algebraic-classes
• abcBridge
  vs
  ndjson-conduit