haskell-obdd

pure Haskell implementation of reduced ordered binary decision diagrams

GPL-2.0 License

Downloads
10.4K
Stars
11
Committers
3
View Code on GitHub
Ecosystems: Haskell

Commit Statistics

Past Year

All Time

Total Commits
103
Total Committers
6
Avg. Commits Per Committer
17.17
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
1
Merged Pull Requests
0
1
Total Issues
0
12
Time to Close Issues
N/A
9 months
Package Rankings
Top 22.16% on Hackage.haskell.org
Badges
Extracted from project README
Build Status
Related Projects
awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

13 Jul 2014 3,021
liquorice

Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the...

22 Jun 2018 13
design-tools

tools for design and interpretation of haskell programs

25 Oct 2019 10
binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

10 Feb 2011 106
harg

Haskell program configuration using higher kinded data

23 Jun 2019 29
modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

27 Aug 2020 2
mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61
effects

An implementation of "Freer Monads, More Extensible Effects".

09 Aug 2016 20
fgl

A Functional Graph Library for Haskell

05 Mar 2015 182
haskell-ecosystem

09 Mar 2017 8
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
free-est

06 Mar 2017 5
discrete-space-map

A discrete space map implemented as a zipper on an infinite perfect binary tree.

24 Feb 2013 4
barbies-th

Easy declaration of strippable HKD

06 Dec 2019 11
codex

UI experiments for coda

17 May 2019 65