simple-tar VS logic-TPTP

Compare simple-tar vs logic-TPTP and see what are their differences.

simple-tar

A very simple tar archive processing library (by GaloisInc)

logic-TPTP

Import, export etc. for TPTP, a syntax for first-order logic (by DanielSchuessler)
Our great sponsors
  • Onboard AI - ChatGPT with full context of any GitHub repo.
  • WorkOS - The modern API for authentication & user identity.
  • InfluxDB - Power Real-Time Data Analytics at Scale
simple-tar logic-TPTP
0 0
11 3
- -
0.0 0.0
over 7 years ago 8 months ago
Haskell Haskell
BSD 3-clause "New" or "Revised" License LicenseRef-GPL
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

simple-tar

Posts with mentions or reviews of simple-tar. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning simple-tar yet.
Tracking mentions began in Dec 2020.

logic-TPTP

Posts with mentions or reviews of logic-TPTP. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning logic-TPTP yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing simple-tar and logic-TPTP you can also consider the following projects:

netpbm - Loading PBM, PGM, PPM image files in pure Haskell

codec - Easy bidirectional serialization in Haskell

zip-conduit - Working with zip archives via conduits.

xlsx - Simple and incomplete Excel file parser/writer

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

utf8-string - Support for reading and writing UTF8 Strings in Haskell

snappy - Fast Haskell bindings to Google's Snappy compression library

ffmpeg-light - Minimal Haskell bindings to the FFmpeg library

zip - Efficient library for manipulating zip archives

xlsx-tabular - Xlsx table decode utility

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

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