obdd vs hout

Compare obdd and hout's popularity and activity

Popularity

5.1

Growing

Activity

2.8

Growing

Popularity

7.3

Stable

Activity

0.0

Stable

obdd		hout
	Repository
11	Stars	37
2	Watchers	3
2	Forks	1
-	Latest Version	over 5 years ago
over 1 year ago	Last Commit	over 5 years ago
	More
11	Monthly	4
Haskell	Language	Haskell
GNU General Public License v3.0 only	License	BSD 3-clause "New" or "Revised" License
Logic	Tags	Logic, Type System

SaaSHub - Software Alternatives and Reviews Sponsored

SaaSHub helps you find the best software and product alternatives

Interest over time of obdd and hout

Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.

The line chart is based on worldwide web search for the past 12 months.
If you don't see the graphs
either there isn't enough search volume
or you need to refresh the page

More comparisons

obdd

vs

g4ip-prover
obdd

vs

Heyting Algebras
obdd

vs

jukebox
obdd

vs

tamarin-prover
obdd

vs

structural-induction
obdd

vs

picologic

View all 22 Logic packages

Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «

Compare obdd and hout's popularity and activity

Interest over time of obdd and hout

More comparisons

obdd

VS

hout