Popularity
4.9
Declining
Activity
0.0
Stable
3
4
2
Monthly Downloads: 65
Programming language: Haskell
License: LicenseRef-GPL
logic-TPTP alternatives and similar packages
Based on the "Codec" category.
Alternatively, view logic-TPTP alternatives based on common mentions on social networks and blogs.
-
binary-serialise-cbor
Binary serialisation in the CBOR format -
utf8-string
Support for reading and writing UTF8 Strings in Haskell -
postgresql-binary
Encoders and decoders for the PostgreSQL's binary format -
multihash-serialise
Haskell libraries for interacting with IPFS -
HCodecs
A library to read, write and manipulate MIDI, WAVE, and SoundFont2 files -
html-entities
A codec library for HTML-escaped text and HTML-entities -
friday-juicypixels
Convert between friday and juicypixels types -
activitystreams-aeson
Basic library for working with Activity Streams -
hs-zstd
Bindings to the Zstandard library to make it usable from the Haskell programming language. -
libvorbis
Haskell binding for libvorbis, for decoding Ogg Vorbis audio files -
threefish
Haskell implementation of the Threefish block cipher and the Skein hash function built on it. -
iteratee-compress
Enumerators for compressing and decompressing streams -
streaming-brotli
Streaming interface for Brotli (RFC7932) compression -
bzlib-conduit
Streaming compression/decompression via conduits.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of logic-TPTP or a related project?