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.
emulate human activity through a powerful GUI and JavaScript

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.
Venerable selection of Xaw-based games

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