acl2-infix-source
Computational Logic for Applicative Common Lisp: infix source
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
actiona
emulate human activity through a powerful GUI and JavaScript
Actiona is an application that allows you to execute many actions on your
computer such as emulating mouse clicks, key presses, showing message boxes,
editing text files, etc. Tasks can be created using a simple editor or using
the EcmaScript (JavaScript) programming language for more customization.
Actiona is cross-platform.
mlpack-bin
intuitive, fast, scalable C++ machine learning library (binaries)
This package contains example binaries using the mlpack Library.
kgames
Venerable selection of Xaw-based games
These are a selection of various games that use the Xaw toolkit. They
are all from the 80's and 90's and look the part. As a result, they
are also very lightweight. There are a bunch of solitaire (patience)
variants, mille bournes, cribbage and dominos.
libpicard-java
Java library to manipulate SAM and BAM files
SAM (Sequence Alignment/Map) format is a generic format for storing
large nucleotide sequence alignments. This library provides classes to
manipulate SAM and BAM files.
picard-tools
Command line tools to manipulate SAM and BAM files
SAM (Sequence Alignment/Map) format is a generic format for storing
large nucleotide sequence alignments. Picard Tools includes these
utilities to manipulate SAM and BAM files:
AddCommentsToBam FifoBuffer
AddOrReplaceReadGroups FilterSamReads
BaitDesigner FilterVcf
BamIndexStats FixMateInformation
GatherBamFiles
BedToIntervalList GatherVcfs
BuildBamIndex GenotypeConcordance
CalculateHsMetrics IlluminaBasecallsToFastq
CalculateReadGroupChecksum IlluminaBasecallsToSam
CheckIlluminaDirectory LiftOverIntervalList
CheckTerminatorBlock LiftoverVcf
CleanSam MakeSitesOnlyVcf
CollectAlignmentSummaryMetrics MarkDuplicates
CollectBaseDistributionByCycle MarkDuplicatesWithMateCigar
CollectGcBiasMetrics MarkIlluminaAdapters
CollectHiSeqXPfFailMetrics MeanQualityByCycle
CollectIlluminaBasecallingMetrics MergeBamAlignment
CollectIlluminaLaneMetrics MergeSamFiles
CollectInsertSizeMetrics MergeVcfs
CollectJumpingLibraryMetrics NormalizeFasta
CollectMultipleMetrics PositionBasedDownsampleSam
CollectOxoGMetrics QualityScoreDistribution
CollectQualityYieldMetrics RenameSampleInVcf
CollectRawWgsMetrics ReorderSam
CollectRnaSeqMetrics ReplaceSamHeader
CollectRrbsMetrics RevertOriginalBaseQualitiesAndAddMateCigar
CollectSequencingArtifactMetrics RevertSam
CollectTargetedPcrMetrics SamFormatConverter
CollectVariantCallingMetrics SamToFastq
CollectWgsMetrics ScatterIntervalsByNs
CompareMetrics SortSam
CompareSAMs SortVcf
ConvertSequencingArtifactToOxoG SplitSamByLibrary
CreateSequenceDictionary SplitVcfs
DownsampleSam UpdateVcfSequenceDictionary
EstimateLibraryComplexity ValidateSamFile
ExtractIlluminaBarcodes VcfFormatConverter
ExtractSequences VcfToIntervalList
FastqToSam ViewSam