logic-TPTP Alternatives

Similar projects and alternatives to logic-TPTP

• simple-tar

  - 11 0.0 Haskell logic-TPTP VS simple-tar

  A very simple tar archive processing library

  

• base91

  - 9 0.0 Haskell logic-TPTP VS base91

  A Base91 Encoder & Decoder for Haskell

• Onboard AI

  getonboard.dev

  sponsored

  Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  

• tar

  - 33 0.0 Haskell logic-TPTP VS tar

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

  

• raaz

  - 66 0.0 Haskell logic-TPTP VS raaz

  Cryptographic library for Haskell

  

• libvorbis

  - 1 0.0 C logic-TPTP VS libvorbis

  Haskell binding for libvorbis, for decoding Ogg Vorbis audio files

• JuicyPixels

  - 236 0.0 Haskell logic-TPTP VS JuicyPixels

  Haskell library to load & save pictures

• url-decoders

  - 2 0.0 Haskell logic-TPTP VS url-decoders

  Decoders for URL-encoding (aka Percent-encoding)

• InfluxDB

  www.influxdata.com

  sponsored

  Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

  

• RSA

  - 20 2.7 Haskell logic-TPTP VS RSA

  Haskell RSA Library (by GaloisInc)

  

• sandi

  - 12 0.0 Haskell logic-TPTP VS sandi

  Data encoding library for Haskell.

• activitystreams-aeson

  - 3 0.0 Haskell logic-TPTP VS activitystreams-aeson

  Basic library for working with Activity Streams