You searched for free programming tutorials - Page 18 of 40

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.

Papis is a powerful and highly extensible command-line based document and bibliography manager.

NAMD is a parallel, object-oriented molecular dynamics code designed for high-performance simulation of large biomolecular systems.

Centaur Emacs is an Emacs distribution that aims to enhance the default Emacs experience. It alters a lot of the default settings.

Mesen is a cross-platform NES/Famicom emulator for Windows and Linux.

OZvm is principally an open source hardware emulation of the Cambridge Z88 portable computer – a Z80 CPU system with 4Mb addressable memory.

Kamailio is an open source implementation of a SIP Signaling Server.

OpenEMR is a free and open-source, high quality, electronic medical record and medical practice management software.

Xmonad is a minimalist, tiling window manager for X, written in the functional programming language Haskell.

Quarkus is a cloud native Java stack tailored for OpenJDK HotSpot and GraalVM, crafted from the best of breed Java libraries and standards.

Freeplane is software that supports thinking, sharing information and getting things done at work, in school and at home.

Pandora FMS is an open source monitoring software. Watch your systems and applications, and know the status of any element of those systems.

Orbital Eunuchs Sniper is an addictive overhead shooting game. It is a simple game in which the player must control an orbital laser.

FastAPI is a modern, fast (high-performance), web framework for building APIs with Python 3.6+ based on standard Python type hints.

October is a self-hosted content management system platform based on the Laravel PHP Framework.