Popularity
4.5
Declining
Activity
0.0
Stable
3
4
2
Monthly Downloads: 2
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 -
hs-zstd
Bindings to the Zstandard library to make it usable from the Haskell programming language. -
activitystreams-aeson
Basic library for working with Activity Streams -
threefish
Haskell implementation of the Threefish block cipher and the Skein hash function built on it. -
libvorbis
Haskell binding for libvorbis, for decoding Ogg Vorbis audio files -
iteratee-compress
Enumerators for compressing and decompressing streams -
bzlib-conduit
Streaming compression/decompression via conduits.
Updating dependencies is time-consuming.
Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.
Promo
blog.mergify.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?