HasCacBDD

λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

hackage.haskell.org Source Code Changelog

Suggest Changes

Popularity

3.6

Growing

Activity

6.1

-

Stars 4

Watchers 4

Forks 0

Last Commit about 1 month ago

Code Quality Rank: L5

Monthly Downloads: 12

Programming language: C++

License: GNU General Public License v2.0 only

Tags: Data

Latest version: v0.1.0.3

HasCacBDD alternatives and similar packages

Based on the "Data" category.
Alternatively, view HasCacBDD alternatives based on common mentions on social networks and blogs.

lens

10.0 6.8 HasCacBDD VS lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
semantic-source

10.0 9.1 HasCacBDD VS semantic-source

Parsing, analyzing, and comparing source code across many languages

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com

hnix

9.9 6.8 HasCacBDD VS hnix

A Haskell re-implementation of the Nix expression language
code-builder

9.8 0.0 HasCacBDD VS code-builder

Packages for defining APIs, running them, generating client code and documentation.
text

9.8 8.4 HasCacBDD VS text

Haskell library for space- and time-efficient operations over Unicode text.
Frames

9.7 6.1 HasCacBDD VS Frames

Data frames for tabular data.
cassava

9.7 5.9 HasCacBDD VS cassava

A CSV parsing and encoding library optimized for ease of use and high performance
compendium-client

9.7 0.0 HasCacBDD VS compendium-client

Mu (μ) is a purely functional framework for building micro services.
unordered-containers

9.7 5.0 HasCacBDD VS unordered-containers

Efficient hashing-based container types
massiv

9.7 5.9 HasCacBDD VS massiv

Efficient Haskell Arrays featuring Parallel computation
holmes

9.6 0.0 HasCacBDD VS holmes

A reference library for constraint-solving with propagators and CDCL.
alfred-margaret

9.5 3.5 HasCacBDD VS alfred-margaret

Fast Aho-Corasick string searching
resource-pool

9.5 0.0 HasCacBDD VS resource-pool

A high-performance striped resource pooling implementation for Haskell
hashable

9.5 5.7 HasCacBDD VS hashable

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

9.5 1.5 HasCacBDD VS refined

Refinement types with static checking
binary

9.5 4.3 HasCacBDD VS binary

Efficient, pure binary serialisation using ByteStrings in Haskell.
critbit

9.5 0.0 HasCacBDD VS critbit

A Haskell implementation of crit-bit trees.
primitive

9.5 5.9 HasCacBDD VS primitive

This package provides various primitive memory-related operations.
caledon

9.4 0.0 HasCacBDD VS caledon

higher order dependently typed logic programing
data-msgpack

9.4 HasCacBDD VS data-msgpack

A Haskell implementation of MessagePack
hashtables

9.4 1.0 HasCacBDD VS hashtables

Mutable hash tables for Haskell, in the ST monad
discrimination

9.4 3.1 HasCacBDD VS discrimination

Fast linear time sorting and discrimination for a large class of data types
higgledy

9.4 2.2 HasCacBDD VS higgledy

Higher-kinded data via generics
aeson-qq

9.4 3.6 HasCacBDD VS aeson-qq

JSON quasiquoter for Haskell
network-msgpack-rpc

9.4 HasCacBDD VS network-msgpack-rpc

A MessagePack-RPC Implementation
jump

9.4 0.0 HasCacBDD VS jump

Jump start your Haskell development
diskhash

9.4 0.0 HasCacBDD VS diskhash

Diskbased (persistent) hashtable
json-autotype

9.4 0.0 HasCacBDD VS json-autotype

Automatic Haskell type inference from JSON input
dependent-map

9.3 0.0 HasCacBDD VS dependent-map

Dependently-typed finite maps (partial dependent products)
audiovisual

9.3 3.5 HasCacBDD VS audiovisual

Extensible records, variants, structs, effects, tangles
reflection

9.3 4.8 HasCacBDD VS reflection

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

9.3 3.5 HasCacBDD VS IORefCAS

A collection of different packages for CAS based data structures.
dependent-sum

9.3 4.3 HasCacBDD VS dependent-sum

Dependent sums and supporting typeclasses for comparing and displaying them
cereal

9.3 0.0 HasCacBDD VS cereal

A binary serialization library
certificate

9.3 0.0 HasCacBDD VS certificate

Certificate and Key Reader/Writer in haskell
protobuf

9.2 2.6 HasCacBDD VS protobuf

An implementation of Google's Protocol Buffers in Haskell.
safecopy

9.2 3.1 HasCacBDD VS safecopy

An extension to Data.Serialize with built-in version control
orgmode-parse

9.2 0.0 HasCacBDD VS orgmode-parse

Attoparsec parser combinators for parsing org-mode structured text!
streaming

9.2 0.0 HasCacBDD VS streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions
rei

9.2 0.0 HasCacBDD VS rei

Process lists easily
bifunctors

9.2 5.6 HasCacBDD VS bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables
avro

9.2 4.2 HasCacBDD VS avro

Haskell Avro Encoding and Decoding Native Support (no RPC)
scientific

9.2 0.0 HasCacBDD VS scientific

Arbitrary-precision floating-point numbers represented using scientific notation
MemoTrie

9.1 2.7 HasCacBDD VS MemoTrie

Trie-based memo functions
uuid

9.1 2.9 HasCacBDD VS uuid

A Haskell library for creating, printing and parsing UUIDs
b-tree

9.1 1.8 HasCacBDD VS b-tree

Haskell on-disk B* tree implementation
uuid-types

9.1 2.9 HasCacBDD VS uuid-types

A Haskell library for creating, printing and parsing UUIDs
text-icu

9.1 6.1 HasCacBDD VS text-icu

This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
witherable

9.1 6.4 HasCacBDD VS witherable

Filter with effects
stdio

9.1 1.8 HasCacBDD VS stdio

Haskell Standard Input and Output

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

Add another 'Data' Package

Popular Comparisons

README

HasCacBDD

Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

Original C++ code from http://kailesu.net/CacBDD and a C wrapper are included.

Getting Started

Install C compilers and stack if necessary:

apt install build-essential git curl -sSL https://get.haskellstack.org/ | sh
Download, build and load the lastest version:

git clone https://github.com/m4lvin/HasCacBDD.git cd HasCacBDD stack setup stack build stack exec ghci

Note: stack ghci apparently does not work with the shared library. You really need stack build and then stack exec ghci.
Play :-)

λ> import Data.HasCacBDD λ> var 5 Var 5 Top Bot λ> neg (var 5) Var 5 Bot Top λ> dis (neg (var 3)) (var 3) Top

Do not miss the trending, packages, news and articles with our weekly report.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.