Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.
Alternatives To Skeptik
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Jbsdiff104
3 years ago3otherJava
Java implementation of the bsdiff algorithm
Qlzipinfo83
4 months agootherC
MacOSX QuickLook Generator for zip, jar, tar, tar.gz (.tgz), tar.bz2 (.tbz2/.tbz), tar.Z, xar (.xar, .pkg), debian (.deb), RedHat Package Manager (.rpm), 7zip (.7z), xz, Microsoft cabinet (.cab), gzip (.gz), lha, BinHex 4.0 (.hqx), ePub (.epub), and Stuffit (.sit) archives, and ISO9660 images
Gzinga40
7 years ago5otherJava
Lzstring4j37
3 years agowtfplJava
LZ-based compression algorithm for Java
Skeptik31
7 years ago1January 22, 201339SMT
A library for Proof Theory (especially Proof Compression) in Scala.
Htmlcompressor10233 months ago11January 19, 202233otherJava
Automatically exported from code.google.com/p/htmlcompressor
Fastzlib9
7 years agootherJava
Fast zlib compression on the jvm
Gzipper9
5 months agogpl-3.0Java
JavaFX file archiver and hash tool. Compress and decompress ZIP, JAR, GZIP and TARBALL (GZIP, BZIP2 or LZMA).
Gar7
10 years ago1September 03, 2014gpl-3.0Go
Go application archiver inspired by JAR for Java
Pack2006
3 years agogpl-2.0Java
Pack200 - Optimized compression for JAR files
Alternatives To Skeptik
Select To Compare


Alternative Project Comparisons
Popular Compression Projects
Popular Jar Projects
Popular Software Performance Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Scala
Jar
Compression
Sbt
Smt