LinuxSampler is a professional grade software audio sampler that aims to deliver performance and features at par with hardware sampler devices.
Read more
Search Results for: free programming tutorials
samplv1 – old-school polyphonic sampler
samplv1 is an old-school open source polyphonic sampler synthesizer with stereo fx.
Read more
SooperLooper – live looping sampler
SooperLooper is a live looping sampler capable of immediate loop recording, overdubbing, multiplying, reversing and more.
Read more
Qsampler – LinuxSampler Qt GUI interface
Qsampler is a LinuxSampler GUI front-end application written in C++ around the Qt framework using Qt Designer.
Read more
Isabelle – generic proof assistant
Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.
Read more
Coq – formal proof management system
Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
Agda – interactive system for writing and checking proofs
Agda is a proof assistant. It is an interactive system for writing and checking proofs.
Read more
Matita – experimental, interactive theorem prover
Matita (means pencil in italian) is an experimental, interactive theorem prover.
Read more
PDFsam – split, merge, extract pages, rotate, and mix PDF documents
PDFsam Basic or PDF Split and Merge is a cross-platform desktop application to split, merge, extract pages, rotate and mix PDF documents.
Read more
Tabula – extract data tables inside PDF files
Tabula is a tool for liberating data tables locked inside PDF files through a simple web interface.
Read more
PDF Chain – graphical user interface for the PDF Toolkit (PDFtk)
PDF Chain is a graphical user interface for pdftk written with gtkmm. Merge pdf files to one pdf file or split, set background/stamp or add attachments.
Read more
pdftk – the PDF toolkit
Pdftk is a simple tool for doing everyday things with PDF documents. It’s can split, merge, encrypt, decrypt, uncompress, recompress, and repair PDFs.
Read more
img2pdf – lossless conversion of raster images to PDF
img2pdf is a small utility to losslessly convert raster images to PDF without unnecessarily re-encoding JPEG and JPEG2000 files.
Read more
wkhtmltopdf – render HTML into PDF
wkhtmltopdf and wkhtmltoimage are command line tools to render HTML into PDF and various image formats using the QT Webkit rendering engine.
Read more
PDF Arranger – merge, rearrange, split, rotate, and crop PDFs
PDF Arranger is a small Python-GTK tool to merge, split, rotate, crop, and rearrange PDFs.
Read more
krop – simple graphical tool to crop the pages of PDF files
Krop is a simple graphical tool to crop the pages of PDF files and can automatically split pages to fit the screen of e-book readers.
Read more
MilkyTracker – FT2 compatible music tracker
MilkyTracker is an multi-platform music application for creating .MOD and .XM module files.
Read more
FamiStudio – NES music editor
FamiStudio is very simple music editor for the Nintendo Entertainment System or Famicom.
Read more
klystrack – tracker for making C64/NES/Amiga-style chiptunes
klystrack is a chiptune tracker for making chiptune-like music on a modern computer.
Read more
OpenMPT – audio module tracker
OpenMPT is a popular free and open source tracker software. This is Windows software with a specific WINE version for Linux.
Read more