Import, export etc. for TPTP, a syntax for first-order logic

logic-TPTP alternatives and similar packages

Based on the "Codec" category

• binary-serialise-cbor

  9.6 7.6 logic-TPTP VS binary-serialise-cbor

  Yet Another Binary Serialisation Library (compatibility shim)

• JuicyPixels

  9.6 5.0 logic-TPTP VS JuicyPixels

  Picture loading/serialization (in png, jpeg, bitmap, gif, tga, tiff and radiance)

• xlsx

  9.4 2.1 logic-TPTP VS xlsx

  Simple and incomplete Excel file parser/writer

• mime

  9.1 0.0 logic-TPTP VS mime

  Working with MIME types.

• RSA

  9.0 3.2 logic-TPTP VS RSA

  Implementation of RSA, using the padding schemes of PKCS#1 v2.1.

• raaz

  9.0 9.0 logic-TPTP VS raaz

  The raaz cryptographic library.

• pure-zlib

  8.9 0.0 logic-TPTP VS pure-zlib

  A Haskell-only implementation of zlib / DEFLATE

• zip

  8.6 6.0 logic-TPTP VS zip

  Operations on zip archives

• zip-archive

  8.6 5.2 logic-TPTP VS zip-archive

  Library for creating and modifying zip archives.

• ffmpeg-light

  8.6 1.7 logic-TPTP VS ffmpeg-light

  Minimal bindings to the FFmpeg library.

• tar

  8.5 2.8 logic-TPTP VS tar

  Reading, writing and manipulating ".tar" archive files.

• utf8-string

  8.5 0.9 logic-TPTP VS utf8-string

  Support for reading and writing UTF8 Strings

• zlib

  8.2 2.2 L3 logic-TPTP VS zlib

  Compression and decompression in the gzip and zlib formats

• snappy

  7.8 0.0 logic-TPTP VS snappy

  Bindings to the Google Snappy library for fast compression/decompression

• lz4

  7.5 0.0 L1 logic-TPTP VS lz4

  LZ4 compression for ByteStrings

• codec

  7.4 0.0 logic-TPTP VS codec

  First-class record construction and bidirectional serialization

• qrcode

  7.3 0.0 logic-TPTP VS qrcode

  QR Code library in pure Haskell

• zip-conduit

  7.2 0.0 logic-TPTP VS zip-conduit

  Working with zip archives via conduits.

• SHA

  7.0 0.0 logic-TPTP VS SHA

  Implementations of the SHA suite of message digest functions

• lzma-conduit

  7.0 0.0 logic-TPTP VS lzma-conduit

  Conduit interface for lzma/xz compression.

• sandi

  6.8 5.3 logic-TPTP VS sandi

  Data encoding library

• bmp

  6.7 0.0 logic-TPTP VS bmp

  Read and write uncompressed BMP image files.

• zlib-bindings

  6.6 0.0 L5 logic-TPTP VS zlib-bindings

  Low-level bindings to the zlib package.

• base32-bytestring

  6.5 0.0 logic-TPTP VS base32-bytestring

  Fast base32 and base32hex codec for ByteStrings

• lzma

  6.5 1.3 logic-TPTP VS lzma

  LZMA/XZ compression and decompression

• HCodecs

  6.5 0.0 logic-TPTP VS HCodecs

  A library to read, write and manipulate MIDI, WAVE, and SoundFont2 files.

• postgresql-binary

  6.3 1.7 logic-TPTP VS postgresql-binary

  Encoders and decoders for the PostgreSQL's binary format

• friday-juicypixels

  6.0 0.0 logic-TPTP VS friday-juicypixels

  Converts between the Friday and JuicyPixels image types

• bzlib-conduit

  6.0 0.0 L1 logic-TPTP VS bzlib-conduit

  Streaming compression/decompression via conduits.

• zlib-enum

  5.8 0.0 logic-TPTP VS zlib-enum

  Enumerator interface for zlib compression

• wavefront

  5.7 0.9 logic-TPTP VS wavefront

  Wavefront OBJ loader

• xls

  5.3 0.0 logic-TPTP VS xls

  Parse Microsoft Excel xls files (BIFF/Excel 97-2004)

• html-entities

  5.2 3.0 logic-TPTP VS html-entities

  A codec library for HTML-escaped text and HTML-entities

• libvorbis

  4.6 0.0 logic-TPTP VS libvorbis

  Haskell binding for libvorbis, for decoding Ogg Vorbis audio files

• simple-tar

  4.6 0.0 logic-TPTP VS simple-tar

  Simple, pure, file-system-free reading of tar files

• activitystreams-aeson

  4.6 0.0 logic-TPTP VS activitystreams-aeson

  An interface to the ActivityStreams specification

• base91

  4.6 0.3 logic-TPTP VS base91

  A Generic Base91 Encoder & Decoder

• zip-stream

  4.6 2.6 logic-TPTP VS zip-stream

  ZIP archive streaming using conduits

• threefish

  4.3 0.0 logic-TPTP VS threefish

  The Threefish block cipher and the Skein hash function for Haskell.

• hogg

  4.1 0.0 logic-TPTP VS hogg

  Library and tools to manipulate the Ogg container format

• zlib-lens

  4.1 0.0 logic-TPTP VS zlib-lens

  Lenses for zlib

• xlsx-tabular

  3.8 0.0 logic-TPTP VS xlsx-tabular

  Xlsx table decode utility

• netpbm

  3.8 2.6 logic-TPTP VS netpbm

  Loading PBM, PGM, PPM image files

• cityhash

  3.8 0.0 L4 logic-TPTP VS cityhash

  Bindings to CityHash

• iteratee-compress

  3.8 0.6 logic-TPTP VS iteratee-compress

  Enumeratees for compressing and decompressing streams

• streaming-png

  3.4 0.0 logic-TPTP VS streaming-png

  Perfectly streaming PNG image decoding

• lzma-enumerator

  3.2 0.0 logic-TPTP VS lzma-enumerator

  Enumerator interface for lzma/xz compression.

• hascar

  3.2 0.0 logic-TPTP VS hascar

  Decompress SAPCAR archives

• fountain

  3.2 0.0 logic-TPTP VS fountain

  A fountain codec.

• json-encoder

  2.9 0.0 logic-TPTP VS json-encoder

  A direct-to-bytes single-pass JSON encoder with a declarative DSL

* 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 logic-TPTP or a related project?

Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial. More from our partner

Popular Comparisons

• logic-TPTP
  vs
  mime
• logic-TPTP
  vs
  binary-serialise-cbor
• logic-TPTP
  vs
  simple-tar
• logic-TPTP
  vs
  base91
• url-decoders
  vs
  postgresql-binary

SaaSHub - Software Alternatives and Reviews More from our team