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

logic-TPTP alternatives and similar packages

Based on the "Codec" category

• JuicyPixels

  9.7 3.6 logic-TPTP VS JuicyPixels

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

• binary-serialise-cbor

  9.6 7.6 logic-TPTP VS binary-serialise-cbor

  Yet Another Binary Serialisation Library (compatibility shim)

• xlsx

  9.5 3.5 logic-TPTP VS xlsx

  Simple and incomplete Excel file parser/writer

• codec-beam

  9.4 - logic-TPTP VS codec-beam

  Erlang VM byte code assembler

• RSA

  9.3 2.8 logic-TPTP VS RSA

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

• pure-zlib

  9.2 3.4 logic-TPTP VS pure-zlib

  A Haskell-only implementation of zlib / DEFLATE

• raaz

  9.1 8.8 logic-TPTP VS raaz

  The raaz cryptographic library.

• mime

  9.1 0.0 logic-TPTP VS mime

  Working with MIME types.

• zip

  9.0 6.3 logic-TPTP VS zip

  Operations on zip archives

• tar

  8.9 0.5 logic-TPTP VS tar

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

• ffmpeg-light

  8.9 0.6 logic-TPTP VS ffmpeg-light

  Minimal bindings to the FFmpeg library.

• zip-archive

  8.8 3.3 logic-TPTP VS zip-archive

  Library for creating and modifying zip archives.

• winery

  8.7 4.1 logic-TPTP VS winery

  A compact, well-typed seralisation format for Haskell values

• zlib

  8.7 1.6 L3 logic-TPTP VS zlib

  Compression and decompression in the gzip and zlib formats

• utf8-string

  8.5 0.9 logic-TPTP VS utf8-string

  Support for reading and writing UTF8 Strings

• tar-bytestring

  7.9 3.7 logic-TPTP VS tar-bytestring

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

• multihash-serialise

  7.9 0.0 logic-TPTP VS multihash-serialise

  CBOR encoding of multihashes

• snappy

  7.8 0.0 logic-TPTP VS snappy

  Bindings to the Google Snappy library for fast compression/decompression

• lzma

  7.5 2.3 logic-TPTP VS lzma

  LZMA/XZ compression and 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

• zip-conduit

  7.3 0.0 logic-TPTP VS zip-conduit

  Working with zip archives via conduits.

• qrcode

  7.3 0.0 logic-TPTP VS qrcode

  QR Code library in pure Haskell

• lzma-conduit

  7.2 0.0 logic-TPTP VS lzma-conduit

  Conduit interface for lzma/xz compression.

• SHA

  7.2 0.0 logic-TPTP VS SHA

  Implementations of the SHA suite of message digest functions

• base32-bytestring

  7.0 0.0 logic-TPTP VS base32-bytestring

  Fast base32 and base32hex codec for ByteStrings

• base32-z-bytestring

  6.9 2.4 logic-TPTP VS base32-z-bytestring

  Fast z-base32 and z-base32hex codec for ByteStrings

• sandi

  6.8 5.3 logic-TPTP VS sandi

  Data encoding library

• zlib-bindings

  6.7 0.0 L5 logic-TPTP VS zlib-bindings

  Low-level bindings to the zlib package.

• bmp

  6.7 0.0 logic-TPTP VS bmp

  Read and write uncompressed BMP image files.

• 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

• wavefront

  6.1 1.2 logic-TPTP VS wavefront

  Wavefront OBJ loader

• zlib-enum

  6.1 0.0 logic-TPTP VS zlib-enum

  Enumerator interface for zlib compression

• html-entities

  6.0 0.0 logic-TPTP VS html-entities

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

• bzlib-conduit

  6.0 0.0 L1 logic-TPTP VS bzlib-conduit

  Streaming compression/decompression via conduits.

• friday-juicypixels

  6.0 0.0 logic-TPTP VS friday-juicypixels

  Converts between the Friday and JuicyPixels image types

• hs-zstd

  5.6 2.3 logic-TPTP VS hs-zstd

  Haskell bindings to the Zstandard compression algorithm

• qrcode-core

  5.5 4.1 logic-TPTP VS qrcode-core

  QR code library in pure Haskell

• xls

  5.3 0.0 logic-TPTP VS xls

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

• zip-stream

  5.2 0.0 logic-TPTP VS zip-stream

  ZIP archive streaming using conduits

• zlib-lens

  5.2 0.0 logic-TPTP VS zlib-lens

  Lenses for zlib

• 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

• cityhash

  4.6 0.0 L4 logic-TPTP VS cityhash

  Bindings to CityHash

• 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

• lzlib

  4.6 9.0 logic-TPTP VS lzlib

  lzlib bindings

• cryptostore

  4.4 5.8 logic-TPTP VS cryptostore

  Serialization of cryptographic data types

• threefish

  4.3 0.0 logic-TPTP VS threefish

  The Threefish block cipher and the Skein hash function for 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 logic-TPTP or a related project?

Popular Comparisons

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

SaaSHub - Software Alternatives and Reviews View more from us