logic-TPTP Alternatives

Similar projects and alternatives to logic-TPTP

• simple-tar

  0 11 0.0 Haskell logic-TPTP VS simple-tar

  A very simple tar archive processing library

  

• base91

  0 10 0.0 Haskell logic-TPTP VS base91

  A Base91 Encoder & Decoder for Haskell

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• libvorbis

  3 1 0.0 C logic-TPTP VS libvorbis

  Haskell binding for libvorbis, for decoding Ogg Vorbis audio files

• raaz

  1 67 7.1 Haskell logic-TPTP VS raaz

  Cryptographic library for Haskell

  

• tar

  1 38 9.0 Haskell logic-TPTP VS tar

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

  

• JuicyPixels

  0 235 3.5 Haskell logic-TPTP VS JuicyPixels

  Haskell library to load & save pictures

• RSA

  0 20 2.6 Haskell logic-TPTP VS RSA

  Haskell RSA Library (by GaloisInc)

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• sandi

  0 12 5.7 Haskell logic-TPTP VS sandi

  Data encoding library for Haskell.

• url-decoders

  0 2 0.0 Haskell logic-TPTP VS url-decoders

  Decoders for URL-encoding (aka Percent-encoding)

• activitystreams-aeson

  0 3 0.0 Haskell logic-TPTP VS activitystreams-aeson

  Basic library for working with Activity Streams