Search Results for: free programming tutorials

gulp is a toolkit to automate and enhance your workflow .It offers excellent support for incremental builds.

Grunt – JavaScript task runner

Grunt is a JavaScript task runner which reduces time spent on repetitive tasks.

Meson – next-generation build system

Meson is a project to create the best possible next-generation build system.

Gradle – build tool with a focus on build automation and support for multi-language

Gradle is a build automation tool focused on flexibility and performance. Gradle is written in Java.

Buck2 – fast build system

This build system encourages the creation of small, reusable modules over a variety of platforms and languages.

Apache Ant – tool for automating software build processes

Apache Ant is a Java library and command-line tool to drive processes described in build files as targets and extension points.

Leiningen – automating Clojure projects

Leiningen is for automating Clojure projects without setting your hair on fire.

PHing – build system based on Apache Ant

Phing is a PHP project build system or build tool based on Apache Ant.

Rake – make-like build utility for Ruby

Rake is a Make-like program implemented in Ruby. Tasks and dependencies are specified in standard Ruby syntax.

LinuxSampler – software audio sampler

LinuxSampler is a professional grade software audio sampler that aims to deliver performance and features at par with hardware sampler devices.

samplv1 – old-school polyphonic sampler

samplv1 is an old-school open source polyphonic sampler synthesizer with stereo fx.

SooperLooper – live looping sampler

SooperLooper is a live looping sampler capable of immediate loop recording, overdubbing, multiplying, reversing and more.

Qsampler – LinuxSampler Qt GUI interface

Qsampler is a LinuxSampler GUI front-end application written in C++ around the Qt framework using Qt Designer.

Best Free and Open Source Proof Assistants

Isabelle – generic proof assistant

Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.

Rocq Prover – formal proof management system

Rocq Prover is a formal proof management system. This is free and open source software developed by a wide range of institutions.

Agda – interactive system for writing and checking proofs

Agda is a proof assistant. It is an interactive system for writing and checking proofs.

Matita – experimental, interactive theorem prover