An implementation of propositional logic in Haskell

Proper alternatives and similar packages

Based on the "Unclassified" category

• penrose

  10.0 7.6 Proper VS penrose

  A system that automatically visualize mathematics

• infernu

  9.7 0.7 Proper VS infernu

  Type inference and checker for JavaScript (experimental)

• elm-repl

  9.6 0.1 Proper VS elm-repl

  a REPL for Elm

• gotta-go-fast

  9.2 0.0 Proper VS gotta-go-fast

  A command line utility for practicing typing

• pointfree

  9.0 3.7 Proper VS pointfree

  Tool for refactoring expressions into pointfree form

• heroku-persistent

  8.7 0.0 Proper VS heroku-persistent

  Parse DATABASE_URL into configuration types for Persistent

• logging-effect

  8.4 1.2 Proper VS logging-effect

  A mtl-style monad transformer for general purpose & compositional logging

• load-balancing

  8.4 1.9 Proper VS load-balancing

  Client-side load balancing utilities.

• canteven-http

  8.3 1.7 Proper VS canteven-http

  Utilities for HTTP programming.

• orgstat

  8.1 3.5 Proper VS orgstat

  Statistics visualizer for org-mode

• base-unicode-symbols

  7.8 4.0 Proper VS base-unicode-symbols

  Unicode alternatives for common functions and operators

• ascii-art-to-unicode

  7.8 - Proper VS ascii-art-to-unicode

  ASCII Art to Unicode Box Drawing converter

• safe

  7.6 4.4 Proper VS safe

  Library of safe (exception free) functions

• hackertyper

  7.1 0.9 Proper VS hackertyper

  "Hack" like a programmer in movies and games!

• aeson-serialize

  7.1 0.0 Proper VS aeson-serialize

  Simple serialization functions for aeson types

• SDL2-ttf

  7.1 0.0 Proper VS SDL2-ttf

  Binding to libSDL-ttf

• MissingPy

  7.0 0.0 Proper VS MissingPy

  Haskell interface to Python

• hworker

  6.8 0.0 Proper VS hworker

  A reliable at-least-once job queue built on top of redis.

• rebase

  6.8 3.9 Proper VS rebase

  A more progressive alternative to the "base" package

• rss

  6.8 3.9 Proper VS rss

  A library for generating RSS 2.0 feeds.

• ispositive

  6.8 0.0 Proper VS ispositive

  Positive integers test.

• ble

  6.8 0.0 Proper VS ble

  Bluetooth Low Energy (BLE) peripherals

• Deadpan-DDP

  6.8 0.0 Proper VS Deadpan-DDP

  Write clients for Meteor's DDP Protocol

• lrucaching

  6.6 3.0 Proper VS lrucaching

  LRU cache

• dependent-sum-template

  6.6 1.6 Proper VS dependent-sum-template

  Template Haskell code to generate instances of classes in dependent-sum package

• postgresql-simple-sop

  6.6 0.0 Proper VS postgresql-simple-sop

  Generic functions for postgresql-simple

• semver-range

  6.4 2.5 Proper VS semver-range

  An implementation of semver and semantic version ranges.

• Ordinary

  6.2 3.2 Proper VS Ordinary

  Short description of your package

• argon2

  6.2 0.0 L3 Proper VS argon2

  ...

• dag

  6.1 0.0 Proper VS dag

  Compile-time, type-safe directed acyclic graphs.

• gravatar

  6.1 0.0 Proper VS gravatar

  Generate Gravatar image URLs

• deque

  6.0 7.7 Proper VS deque

  Double-ended queue

• google-drive

  6.0 0.0 Proper VS google-drive

  Google Drive API access

• containers-unicode-symbols

  5.6 0.9 Proper VS containers-unicode-symbols

  Unicode alternatives for common functions and operators

• webkit-javascriptcore

  5.3 1.0 Proper VS webkit-javascriptcore

  JavaScriptCore FFI from webkitgtk

• rerebase

  5.3 3.6 Proper VS rerebase

  Reexports from "base" with a bunch of other standard libraries

• google-oauth2

  5.2 2.2 Proper VS google-oauth2

  Google OAuth2 token negotiation

• diplomacy

  4.8 0.0 Proper VS diplomacy

  The board game Diplomacy, spoken in Haskell

• ekg-carbon

  4.6 1.4 Proper VS ekg-carbon

  An EKG backend to send statistics to Carbon (part of Graphite monitoring tools)

• locked-poll

  4.3 0.0 Proper VS locked-poll

  Very simple poll lock

• network-carbon

  4.3 1.9 Proper VS network-carbon

  A Haskell implementation of the Carbon protocol (part of the Graphite monitoring tools)

• refh

  4.3 0.0 Proper VS refh

  A command-line tool for pasting to https

• sr-extra

  4.1 8.1 Proper VS sr-extra

  A grab bag of modules.

• prometheus-effect

  4.1 0.0 Proper VS prometheus-effect

  Instrument applications with metrics and publish/push to Prometheus

• gitdo

  4.1 0.0 Proper VS gitdo

  Create Github issues out of TODO comments in code

• average

  3.8 0.0 Proper VS average

  An average (arithmetic mean) monoid.

• strict-types

  3.8 1.7 Proper VS strict-types

  A type level predicate ranging over strict types

• qq-literals

  3.8 0.0 Proper VS qq-literals

  Compile-time checked literal values via QuasiQuoters.

• slate

  3.8 5.1 Proper VS slate

  A note taking CLI tool.

• game-of-life

  3.5 0.0 Proper VS game-of-life

  Conway's Game of Life

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

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

Add another 'Unclassified' Package

Popular Comparisons

• strelka-core
  vs
  postgresql-simple-sop
• postgresql-simple-sop
  vs
  strelka-core
• dag
  vs
  fx
• google-oauth2
  vs
  gravatar
• gravatar
  vs
  google-oauth2