https free download - SourceForge

Showing 4 open source projects for "https"

View related business solutions

Boot Assembly Clear Filters & Widen Search

MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free
ContractSafe: Contract Management Software
Take Control Of Your Contracts Without Wrecking The Budget

Ditch those spreadsheets, shared drives & crazy-expensive solutions with too many bells & whistles. ContractSafe offers the simplest way to manage your contracts efficiently without breaking the bank.

Learn More
1

Clover EFI bootloader

Boot macOS, Windows, and Linux on Mac or PC with UEFI or BIOS firmware

Project has moved to https://github.com/CloverHackyColor/CloverBootloader.

Downloads: 1,453 This Week

Last Update: 2026-03-22
See Project
2

UEFI fdisk

UEFI fdisk is a disk partitionning tool running under UEFI/BIOS

UEFI fdisk is a port to UEFI of the famous fdisk partitioning tool from util-linux, see https://github.com/karelzak/util-linux . Now since this program runs directly under UEFI shell you don't need to *boot* the system to edit partition tables.

Downloads: 11 This Week

Last Update: 2023-04-15
See Project
3

UPX - a powerful executable packer

IMPORTANT NEWS: UPX has moved to GitHub https://upx.github.io ========================

11 Reviews

Downloads: 33 This Week

Last Update: 2016-12-11
See Project
4

CoCoBoot

A 21 Century Boot system for the Tandy Color Computer series of 1980's computers. The aim is to create a unified, scriptable boot system for both new and old storage devices * THIS PROJECT HAS BEEN MOVED TO: https://code.google.com/p/legsforth/

Downloads: 0 This Week

Last Update: 2015-05-15
See Project
The most advanced C and C++ source code analyzer
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.

Learn More