An experimental automated theorem prover.

Scavenger alternatives and similar packages

Based on the "Misc" category

• Eclair

  8.6 8.9 Scavenger VS Eclair

  ACINQ's Lightning Network implementation written in Scala. Lightning Network is a second layer protocol built on top of bitcoin to address scalability, privacy, confirmation time and many other issues.

• Scala Native

  7.9 7.8 Scavenger VS Scala Native

  Your favourite language gets closer to bare metal.

• PureConfig

  7.6 8.8 Scavenger VS PureConfig

  A boilerplate-free Scala library for loading configuration files.

• BootZooka

  6.8 7.7 Scavenger VS BootZooka

  Simple project to quickly start developing a web application using AngularJS and Akka HTTP, without the need to write login, user registration etc.

• Play Swagger

  6.2 5.6 Scavenger VS Play Swagger

  Automatically create Swagger documentation for your Play REST API

• REPLesent

  5.8 0.0 Scavenger VS REPLesent

  A presentation tool built inside the Scala REPL. Runs code straight from your slides with a single keystroke.

• scala-ssh

  5.1 5.6 Scavenger VS scala-ssh

  Remote shell access via SSH for your Scala applications

• ScalaSTM

  5.0 0.0 Scavenger VS ScalaSTM

  Software Transaction Memory for Scala

• diff

  4.8 1.4 Scavenger VS diff

  Visually compare Scala data structures with out of the box support for arbitrary case classes.

• Fansi

  3.9 5.5 Scavenger VS Fansi

  Scala/Scala.js library for manipulating Fancy Ansi colored strings

• scala-debugger

  3.7 0.0 Scavenger VS scala-debugger

  Scala libraries and tooling utilizing the Java Debugger Interface.

• Miniboxing

  3.5 0.0 L1 Scavenger VS Miniboxing

  Less boxes

• Scalan

  3.1 0.0 Scavenger VS Scalan

  A framework for development of domain-specific compilers in Scala

• pprint

  2.8 5.5 Scavenger VS pprint

  Pretty-printer for Scala values and types for easier reading and debugging

• scala-pool

  1.7 0.0 Scavenger VS scala-pool

  An object pool for Scala

• YahooFinanceScala

  1.6 0.0 Scavenger VS YahooFinanceScala

  Get stock data from Yahoo Finance using Akka http.

• Ostinato

  1.4 6.0 Scavenger VS Ostinato

  A chess library that runs on the server (Scala) and on the browser (ScalaJS)

• powerscala

  1.2 0.0 Scavenger VS powerscala

  Powerful framework providing many useful utilities and features on top of the Scala language.

• GoogleApiScala

  1.2 0.0 Scavenger VS GoogleApiScala

  A simple scala library offering control of Google Drive, Calendar, and the Admin SDK.

• media4s

  1.2 5.1 Scavenger VS media4s

  - Scala command-line wrapper around ffmpeg, ffprobe, ImageMagick, and other tools relating to media.

• mailgun4s

  1.0 4.4 Scavenger VS mailgun4s

  Simplified wrapper to create PDFs in Scala.

• s2gen

  0.9 0.0 Scavenger VS s2gen

  A simple static site generator written in Scala

• pdf4s

  0.6 0.0 Scavenger VS pdf4s

  A Scala open source quantitative trading platform

• settler

  0.5 0.0 Scavenger VS settler

  Boilerplate-free typed settings generation in Scala.

• Agora

  - - Scavenger VS Agora

  Library of vote-counting algorithms for elections.

• Openquant

  - - Scavenger VS Openquant

  A Scala open source quantitative trading platform

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Do you think we are missing an alternative of Scavenger or a related project?

Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial. More from our partner

Popular Comparisons

• Scavenger
  vs
  s2gen
• Scavenger
  vs
  BootZooka
• Scavenger
  vs
  ScalaSTM
• Scavenger
  vs
  mailgun4s
• Scavenger
  vs
  scala-debugger

SaaSHub - Software Alternatives and Reviews More from our team