Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
The Linux Portal Site
Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read morePapis is a powerful and highly extensible command-line based document and bibliography manager.
Read moreNAMD is a parallel, object-oriented molecular dynamics code designed for high-performance simulation of large biomolecular systems.
Read moreCentaur Emacs is an Emacs distribution that aims to enhance the default Emacs experience. It alters a lot of the default settings.
Read moreMesen is a cross-platform NES/Famicom emulator for Windows and Linux.
Read moreOZvm is principally an open source hardware emulation of the Cambridge Z88 portable computer – a Z80 CPU system with 4Mb addressable memory.
Read moreKamailio is an open source implementation of a SIP Signaling Server.
Read moreOpenEMR is a free and open-source, high quality, electronic medical record and medical practice management software.
Read moreXmonad is a minimalist, tiling window manager for X, written in the functional programming language Haskell.
Read moreQuarkus is a cloud native Java stack tailored for OpenJDK HotSpot and GraalVM, crafted from the best of breed Java libraries and standards.
Read moreFreeplane is software that supports thinking, sharing information and getting things done at work, in school and at home.
Read morePandora FMS is an open source monitoring software. Watch your systems and applications, and know the status of any element of those systems.
Read moreOrbital Eunuchs Sniper is an addictive overhead shooting game. It is a simple game in which the player must control an orbital laser.
Read moreFastAPI is a modern, fast (high-performance), web framework for building APIs with Python 3.6+ based on standard Python type hints.
Read moreOctober is a self-hosted content management system platform based on the Laravel PHP Framework.
Read more