An implementation of propositional logic in Haskell

Proper alternatives and similar packages

Based on the "Unclassified" category

• penrose

  10.0 5.2 Proper VS penrose

  A system that automatically visualize mathematics

• infernu

  9.8 0.0 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.9 0.0 Proper VS heroku-persistent

  Parse DATABASE_URL into configuration types for Persistent

• logging-effect

  8.7 4.3 Proper VS logging-effect

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

• type-sets

  8.6 6.3 Proper VS type-sets

  Type-level sets

• type-errors

  8.5 3.8 Proper VS type-errors

  Tools for writing better type errors

• orgstat

  8.5 3.7 Proper VS orgstat

  Statistics visualizer for org-mode

• 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.

• ascii-art-to-unicode

  8.2 - Proper VS ascii-art-to-unicode

  ASCII Art to Unicode Box Drawing converter

• base-unicode-symbols

  8.1 1.0 Proper VS base-unicode-symbols

  Unicode alternatives for common functions and operators

• bit-stream

  7.9 7.1 Proper VS bit-stream

  Lazy, infinite, compact stream of 'Bool' with O(1) indexing.

• safe

  7.6 4.4 Proper VS safe

  Library of safe (exception free) functions

• aeson-serialize

  7.5 0.0 Proper VS aeson-serialize

  Simple serialization functions for aeson types

• SDL2-ttf

  7.5 0.0 Proper VS SDL2-ttf

  Binding to libSDL-ttf

• dependent-sum-template

  7.4 0.0 Proper VS dependent-sum-template

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

• hackertyper

  7.4 0.0 Proper VS hackertyper

  "Hack" like a programmer in movies and games!

• rss

  7.3 0.0 Proper VS rss

  A library for generating RSS 2.0 feeds.

• MissingPy

  7.2 0.0 Proper VS MissingPy

  Haskell interface to Python

• servant-streaming

  7.2 0.0 Proper VS servant-streaming

  Servant combinators for the 'streaming' package

• semver-range

  6.9 0.3 Proper VS semver-range

  An implementation of semver and semantic version ranges.

• rebase

  6.8 3.9 Proper VS rebase

  A more progressive alternative to the "base" package

• ble

  6.8 0.0 Proper VS ble

  Bluetooth Low Energy (BLE) peripherals

• hworker

  6.8 0.0 Proper VS hworker

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

• ispositive

  6.8 0.0 Proper VS ispositive

  Positive integers test.

• postgresql-simple-sop

  6.8 0.0 Proper VS postgresql-simple-sop

  Generic functions for postgresql-simple

• gravatar

  6.7 0.0 Proper VS gravatar

  Generate Gravatar image URLs

• Deadpan-DDP

  6.7 0.0 Proper VS Deadpan-DDP

  Write clients for Meteor's DDP Protocol

• rerebase

  6.6 3.6 Proper VS rerebase

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

• lrucaching

  6.6 3.0 Proper VS lrucaching

  LRU cache

• containers-unicode-symbols

  6.5 0.0 Proper VS containers-unicode-symbols

  Unicode alternatives for common functions and operators

• google-drive

  6.4 0.0 Proper VS google-drive

  Google Drive API access

• Ordinary

  6.4 0.0 Proper VS Ordinary

  Short description of your package

• dag

  6.3 0.0 Proper VS dag

  Compile-time, type-safe directed acyclic graphs.

• webkit-javascriptcore

  6.2 0.9 Proper VS webkit-javascriptcore

  JavaScriptCore FFI from webkitgtk

• argon2

  6.2 0.0 L3 Proper VS argon2

  ...

• elm2nix

  6.2 0.0 Proper VS elm2nix

  Turn your Elm project into buildable Nix project

• deque

  6.0 7.7 Proper VS deque

  Double-ended queue

• google-oauth2

  5.8 0.1 Proper VS google-oauth2

  Google OAuth2 token negotiation

• dzen-dhall

  5.6 7.9 Proper VS dzen-dhall

  Configure dzen2 bars in Dhall language

• prometheus-effect

  5.5 0.0 Proper VS prometheus-effect

  Instrument applications with metrics and publish/push to Prometheus

• qq-literals

  5.5 2.9 Proper VS qq-literals

  Compile-time checked literal values via QuasiQuoters.

• locked-poll

  5.4 0.0 Proper VS locked-poll

  Very simple poll lock

• streaming-events

  5.3 4.4 Proper VS streaming-events

  Client-side consumption of a ServerEvent.

• labsat

  5.2 0.0 Proper VS labsat

  LabSat TCP Interface Wrapper

• stack-tag

  5.0 0.0 Proper VS stack-tag

  Create etags for Haskell projects based on Stack snapshots

• diplomacy

  4.8 0.0 Proper VS diplomacy

  The board game Diplomacy, spoken in Haskell

* 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

• postgresql-simple-sop
  vs
  strelka-core
• ansi-escape-codes
  vs
  base-unicode-symbols
• argon2
  vs
  http-response-decoder
• postgresql-simple-sop
  vs
  argon2
• fx
  vs
  dag