Search Results for "git:/git.code.sf.net/p/docfetcher/code" - Page 22

Showing 2180 open source projects for "git:/git.code.sf.net/p/docfetcher/code"

View related business solutions
  • The most advanced C and C++ source code analyzer Icon
    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
  • Parasoft: Automated Testing to Deliver Superior Quality Software Icon
    Parasoft: Automated Testing to Deliver Superior Quality Software

    Parasoft provides test automation for every phase of the software development life cycle.

    Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and compliant software by integrating everything from deep code analysis and unit testing to web UI and API testing, plus service virtualization and complete code coverage, into the delivery pipeline. Bringing all this together, Parasoft’s award-winning reporting and analytics dashboard provides a centralized view of quality, enabling organizations to deliver with confidence and succeed in today’s most strategic ecosystems and development initiatives—security, safety-critical, Agile, DevOps, and continuous testing.
    Learn More
  • 1
    AWS IoT Over-the-air Update Library

    AWS IoT Over-the-air Update Library

    Manage the notification of a newly available update

    ...The library supports different application protocols like Message Queuing Telemetry Transport (MQTT) and Hypertext Transfer Protocol (HTTP), and provides various configuration options you can fine-tune depending on network type and conditions. This library is distributed under the MIT Open Source License. This library has gone through code quality checks including verification that no function has a GNU Complexity score over 8.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    teleport

    teleport

    Task-based bidirectional sync script utilizing rsync

    rsync-based backup script designed to sync files between local and portable storage for easy migration between multiple PCs without relying on network transfer or cloud storage. Sync operations are organized as customizable sync tasks that can be selectively chosen each time the script is executed. To use the script, browse the code repository, and download files 'teleport.rb' and the sample config file. For more information, read README.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    MultiPB

    MultiPB

    Launcher for multi version PB/SB

    Can launch different version Purebasic ou SpiderBasic. Freeware Windows x86 & x64
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    nestopiaue

    Nestopia UE

    This project is a fork of the original Nestopia source code, plus the Linux port. The purpose of the project is to enhance the original, and ensure it continues to work on modern operating systems.
    Leader badge
    Downloads: 209 This Week
    Last Update:
    See Project
  • Airlock Digital - Application Control (Allowlisting) Made Simple Icon
    Airlock Digital - Application Control (Allowlisting) Made Simple

    Airlock Digital delivers an easy-to-manage and scalable application control solution to protect endpoints with confidence.

    For organizations seeking the most effective way to prevent malware and ransomware in their environments. It has been designed to provide scalable, efficient endpoint security for organizations with even the most diverse architectures and rigorous compliance requirements. Built by practitioners for the world’s largest and most secure organizations, Airlock Digital delivers precision Application Control & Allowlisting for the modern enterprise.
    Learn More
  • 5
    FormaVid

    FormaVid

    Small Business Appliance

    ...The appliance is built using scripts so no hidden "monkey business" and you can choose a "compatible base distro" based on your needs: familiarity; performance; security; usability; etc. Please see https://sourceforge.net/p/formavid/code/ci/master/tree/INSTALL.txt for details. The appliance is specially designed to run on the Google Cloud Platform "Free Tier" https://formavid.org/gce and has it's own custom install script https://sourceforge.net/projects/formavid/files/gcloud-gce-deployment/download with instructions https://sourceforge.net/projects/formavid/files/ provided.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    London Bus Train Weather

    London Bus Train Weather on a Raspberry Pi using various free APIs

    ...All the APIs are free, but the Train and Weather require sign up. The device features a time out to prevent hammering the API. It is enclosed in a small plastic food container. code coming 23 Jan 2023
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Awesome RPA

    Awesome RPA

    A curated list of awesome RPA Tools, Blogs, frameworks, libraries

    A curated list of amazingly awesome RPA Documentation, resources and shiny things.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    Simple STM32 Run

    Run STM32 with simple examples

    By remove dependency to complex STM32 library, each package try to give a simplest code clip drive STM32 working with particular functionality. Supported Core: STM32F107VC
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Mosca

    Mosca

    Tool to find bugs like a grep unix command

    Just another Simple static analysis tool to find bugs like a grep unix command, at mosca have a modules, that was call egg, each egg is a simple config to find bug at especific language like PHP,Ruby,ASP etc... Example of egg config at directory "egg", If Mosca read a line with vunerability of egg in source code, then, mosca have alert about vulnerability and save at logs. *why static ? because is not dynamic... uses static code to search... don't confuse with academic views hahaha this program use simple regex with PCRE... https://github.com/CoolerVoid/Mosca
    Downloads: 0 This Week
    Last Update:
    See Project
  • The CRM you will want to use every day Icon
    The CRM you will want to use every day

    With CRM, Sales, and Marketing Automation in one, Act! gives you everything you need for happier clients, more revenue, and less stress.

    Act! Premium is perfect for small and midsize businesses looking to market better, sell more, and create customers for life. With unparalleled flexibility and freedom of choice, Act! Premium accommodates the unique ways you do business. Whether it’s customizations to fit your specific business or industry processes or your preferences for deployment and access, the possibilities with Act! Premium are limitless.
    Learn More
  • 10
    Launch4j Executable Wrapper
    Cross-platform Java executable wrapper for creating lightweight Windows native EXEs. Provides advanced JRE search, application startup configuration and better user experience.
    Leader badge
    Downloads: 3,068 This Week
    Last Update:
    See Project
  • 11
    StatiXOS

    StatiXOS

    StatiXOS is a homebrew distribution of Android

    StatiXOS is a custom ROM based on the Android Open Source Project aiming to be minimal and clean, while providing quality of life improvements and up to date security patches. This page is to provide downloads for Android P and beyond for a host of different devices. The User assumes all risk, including possible device damage or bricking. StatiXOS 4.x changelog https://del.dog/statix4-changelog
    Downloads: 13 This Week
    Last Update:
    See Project
  • 12
    BlackBuntu Linux

    BlackBuntu Linux

    BlackBuntu Linux

    ...With advanced accessibility tools and options to change language, colour scheme and text size, Blackbuntu makes computing easy – whoever and wherever you are. BlackBuntu is a fully open source project, anyone can see what is inside. The building source code is publicly available at Github allowing everyone to contribute.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Manjaro Essentials Script

    Manjaro Essentials Script

    This script will allow you to download stuff for Manjaro Linux

    ...Tested on XFCE DE The script will install: -Silos -Adobe Acrobat -Snapd -Microsoft Teams -NordVPN CLI -Balena Etcher -PlayOnLinux -Visual Studio Code -Discord -Spotify -GeForce Now -Telegram Desktop -Whatsapp Desktop INSTRUCTION Download the Script cd ManjaroEssentialsScript chmod +x MES.sh ./MES.sh
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Mouse Keyboard Clicker Holder

    Mouse Keyboard Clicker Holder

    Autoclicker and holder for keyboard keys and mouse buttons

    Autoclicker and holder for mouse buttons and keyboard keys. A small program to autoclick or hold a keyboard key or a mouse button. Can be downloaded as .exe as well as the original .py file. The source code is written in Python with alongside PySide6 and Pynput. The program is distributed under the Unlicense ( https://unlicense.org/ )
    Leader badge
    Downloads: 3,343 This Week
    Last Update:
    See Project
  • 15
    HelenOS

    HelenOS

    A microkernel-based multiserver operating system written from scratch.

    ...HelenOS does not aim to be a clone of any existing operating system and trades compatibility with legacy APIs for cleaner design. Most of HelenOS components have been made to order specifically for HelenOS so that its essential parts can stay free of adaptation layers, glue code, franken-components and the maintenance burden incurred by them.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 16
    ShastraOS

    ShastraOS

    Shastra OS is a Arch Linux based Operating System.

    ...We are currently providing Brave Browser as a default browser. But also eager to provide Beaker Browser soon. Shastra comes with its own repository including many useful packages like Visual Studio Code, GIMP, Blender, and much more. Packages from the official Arch repository can be installed using Pacman and AUR packages using pamac install. It also comes with pamac GUI installer named Add/Remove software. We are also going to provide Wallet manager and another useful web 3 applications.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 17
    Arch Linux Fast Install

    Arch Linux Fast Install

    Install Arch Linux with 2 lines of code

    # archfi Just a simple bash script wizard to install Arch Linux after you have booted on the official Arch Linux install media. With this script, you can install Arch Linux with 2 lines of code. This wizard is maked to install minimum packages (base, grub and optionally efibootmgr). At the end of this wizard, you can install or launch archdi (Arch Linux Destop Install) to install and configure desktop packages. archdi project : https://github.com/MatMoul/archdi You can watch my videos to show how to use it : https://www.youtube.com/playlist?...
    Leader badge
    Downloads: 62 This Week
    Last Update:
    See Project
  • 18
    AfterLogic WebMail Lite

    AfterLogic WebMail Lite

    Fast and easy-to-use webmail front-end for your existing mail server.

    Fast and easy-to-use webmail front-end for your existing IMAP mail server, Plesk or cPanel. Install it on your web servers for personal or commercial use, redistribute, integrate with other software, or alter the source code (provided that you contribute your changes back to the community). For free.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Plasma Linux

    Plasma Linux

    SourceForge for Plasma Linux.

    ...~English~ ⚠️Warning: PlasmaLinux is no longer distributed on SourceForge.net. Please download it from Google Drive from now on. Welcome to PlasmaLinux's SourceForge! This is where we will be uploading source code, ISOs, tools, etc. Please look for the latest ISOs and other files here. If you have any questions, please contact the chairman by email (plasmalinuxjapan@gmail.com), Discord or Twitter DM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Moya

    Moya

    Network abstraction layer written in Swift

    You’re a smart developer. You probably use Alamofire to abstract away access to URLSession and all those nasty details you don’t really care about. But then, like lots of smart developers, you write ad hoc network abstraction layers. They are probably called APIManager or NetworkModel, and they always end in tears. So the basic idea of Moya is that we want some network abstraction layer that sufficiently encapsulates actually calling Alamofire directly. It should be simple enough that common...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Gideros Mobile

    Gideros Mobile

    Cross platform SDK

    Develop your app in Lua language and export it to most popular platforms, from desktop PC and Mac to mobile (Android, iOS, Windows Phone) and even Web. While Gideros is mainly dedicated to game development, it is also a good fit for professional apps. Code once, run everywhere! Intro documentation: http://docs.giderosmobile.com/ Reference documentation: http://docs.giderosmobile.com/reference/ Forum: http://giderosmobile.com/forum Full source code: https://github.com/gideros/gideros
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    SmartThings

    SmartThings

    Collects custom SmartApps and Device Handlers in Groovy

    The SmartThings repository by krlaframboise collects custom SmartApps and Device Handlers (in Groovy) for the SmartThings home automation platform. It provides a library of community-developed automation logic and device support code to extend SmartThings beyond its built-in offerings. Users can deploy these scripts in the SmartThings IDE to customize device behavior, logging, capabilities, dashboards, notifications, etc. Device Handlers (drivers) for extended hardware support. Examples of logging, state tracking, threshold alerts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Binary Analysis Platform

    Binary Analysis Platform

    Binary Analysis Platform

    The Carnegie Mellon University Binary Analysis Platform (CMU BAP) is a suite of utilities and libraries that enables analysis of programs in the machine code representation. BAP supports x86, x86-64, ARM, MIPS, PowerPC and new architectures can be added as plugins. BAP includes various analyses, standard interpreter, microexecution interpreter, and symbolic executor. BAP features its own domain-specific language, Primus Lisp, that is used for implementing analyses, specifying verification conditions, modeling functions (writing stubs) and even interfacing with the SMT solver. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    Log4j mode - a major mode for viewing log files in Emacs - including syntax highlighting, log file filtering, and source code browsing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ostRAT

    ostRAT

    OpenSourceTelegramRAT - Remote PC access via Telegram Bot.

    ostRAT is free and open source. GPLv3 Сomputer remote control software. Works via telegram bot. A lot of functions, for example: - Screenshot: sends a screenshot - Off: turns off the computer - Url: opens entered link - Write: sends your text to the computer - Move: changes mouse location with x and y - and more! WARNING: Using the bot is recommended only on your device. Failure to comply with the recommendation may result in criminal liability.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB