Showing 11438 open source projects for "user"

View related business solutions
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 1
    xLaDe

    xLaDe

    A Lean 4 Ecosystem Framework!

    Lean 4 proofs break silently across versions. Projects built on Lean drift from upstream until one day they simply stop working. Nobody knows why. These are not edge cases. They are the normal experience of working with a proof assistant under rapid development. xLaDe is a research platform that studies these problems and builds tooling to address them. It is not a theorem library, a fork of Lean, or a replacement for any existing tool. It is an ecosystem layer — a controlled environment...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    98Softwares

    98Softwares

    Softwares for 98Softwares system

    Compilation of softwares to use with 98Softwares.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Nagstamon Nagios status monitor
    Nagstamon is a Nagios status monitor which resides in systray or desktop (Linux, macOS, Windows) as floating statusbar to inform you in realtime about the status of your hosts and services. It allows to connect to multiple Nagios based monitors. Currently supported are Nagios, Icinga, Opsview, Op5 Ninja, Check_MK Multisite, Centreon and Thruk.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    Bulk Image and Audio Merger

    Bulk Image and Audio Merger

    Easily pair images with audio file counterparts in bulk

    Automatically convert your audio files into YouTube-ready videos by pairing them with static images! Perfect for turning podcasts, audio episodes, or music tracks into video format in bulk. Simply match your audio files with corresponding images, and let the program handle the rest. Ideal for content creators who need to process multiple audio files without the hassle of manual video editing. Works on Windows 7 and above. (Source code is included with the program .zip file.)
    Downloads: 2 This Week
    Last Update:
    See Project
  • Stop vibe-debugging. Icon
    Stop vibe-debugging.

    Plug Claude into your app's actual errors.

    AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
    Free 30 days.
  • 5
    LAnd Survey Tools "LAST" was created to preserve and expand on the work invested in an old, privately used, DOS based land survey construction and data collection application by porting much of the C++ coded logic and design concept over to Python.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    EulerSharp

    EulerSharp

    Euler Yet another proof Engine

    EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7

    SimFPGA

    VHDL Verification and Simulation Tool

    ...If an error is detected in any of the project files during elaboration or simulation, a message is displayed in the console indicating the type and location of the error, allowing the user to quickly resolve it.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    prod

    prod

    retail warehouse; учёт движения товара

    retail shop and warehouse management system. учёт движения товара на складе и в магазине; client-server web-based multiplatform application; support barcodes (qrcodes), sales equipment; any integrations with ERP or CRM; POS application (flet/flutter) also accessible and worked as offline mode accounting https://github.com/usermicrodevices/prod https://github.com/usermicrodevices/prod-flet
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    RetroScheme- Get Your Retrosynthesis

    RetroScheme- Get Your Retrosynthesis

    - RetroScheme is used for molecule sketching and retrosynthesis

    ...The App is basically a GUI wrapper for the library Aizynthfinder from Astrazeneca.. - The App is coupled with molecular sketching tool to sketch your compound - This was made to be easy for the user and can be used endlessly to assist in potential new drug synthesis
    Downloads: 5 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 10
    PyExe - YT DL Mk42 (b) [I.S.A]

    PyExe - YT DL Mk42 (b) [I.S.A]

    PyExe - YouTube Downloader Mark 42 type-B [I.S.A]

    'PyExe - YT DL Mk42 (b)' is an desktop application developed using python 3.6.8 and other add-on libaries. Can download YouTube videos and audios. 'PyExe - YT DL Mk42 (b)' has two parts: 1) Download Video - downloads YouTube video (.mp4) 2) Download Audio - downloads YouTube video (.mp3)
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    ThanCad is a 2dimensional cad, with limited 3d support and raster inclusion capability and emphasis in engineering. It is being written in Python and since it uses the Tkinter library, it is platform independent.
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 12
    CyberDog

    CyberDog

    A nifty GUI for CyberGhost VPN on Linux

    CyberGhost, a popular VPN provider around the world, does not have a GUI for Linux-based systems. But that has now changed. Announcing CyberDog, a nifty and easy-to-use program for Linux devices, that provides a full GUI and CyberGhost's major functions. Connect to anywhere, from anywhere, on any device. SourceForge version most likely out of date, the program will tell you to update on a 3rd party website.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    FluidPatcher

    FluidPatcher

    A performance-oriented patch interface for FluidSynth

    FluidPatcher is a performance-oriented interface for FluidSynth built using wxpython to create a simple GUI that allows live editing, selecting, and playing of patches. A patch is a collection of settings such as soundfont presets for each MIDI channel, control-change/sysex messages to send when the patch is selected, and midi router or effects settings. Groups of patches are stored in banks, which are saved as human-readable and -editable YAML files. This allows a musician to easily create...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    Python framework to analyze Linux crash dumps programmatically from 'crash' and tools written using it. Documentation (a work in progress!) is available at: https://pykdump.readthedocs.io/en/latest/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    bitfarm-Archiv Document Management - DMS
    bitfarm-Archiv is a powerful Document Management (DMS), Enterprise Content Management (ECM) and Knowledge Management System (KMS) with Workflow Components. Help us! As we live in the internet age, the best thing, you can help, is to write a short statement about your scenario and your use of the DMS, along with your experiences and put it on your own website or in a blog or forum. It would help us best, if you can also add a hyperlink to our site http://www.bitfarm-archiv.com. By this...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 16
    AgentPilot

    AgentPilot

    A versatile workflow automation platform to create AI workflows

    AgentPilot is a versatile workflow automation platform designed to help users create, organize, and execute AI-driven workflows. It supports everything from simple tasks using a single large language model (LLM) to complex multi-step processes. The platform features a user-friendly interface that allows for real-time interaction with workflows, and it supports flexible configurations, including branching workflows and customizable user interfaces. Users can also schedule tasks based on natural language time expressions and integrate various tools to enhance their workflows.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17

    scriptHelper

    integration between Java and scripting languages

    scriptHelper is a Java library allowing a simple integration between Java code and various script languages. This library also allows to debug these scripts in the context of a Java program.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    PSCoverDL

    PSCoverDL

    Small tool to download PS1/PS2 covers for DuckStation and PCSX2

    PSCoverDL is a companion tool designed to automate the downloading and management of PlayStation game cover art for emulators, providing a user-friendly interface for populating game libraries with visuals. It allows users to select their emulator, specify directories, and automatically retrieve matching cover images based on game metadata. The tool supports multiple platforms and includes features such as multithreading for faster downloads and configuration files for customization. ...
    Downloads: 17 This Week
    Last Update:
    See Project
  • 19
    QUADE Protocol Suite

    QUADE Protocol Suite

    A new protocol and browser for it.

    Welcome to a new standard for secure communications. Deploy a brand new protocol based on central ddns and peer 2 peer content sharing with central site database for backup. This suite allows the customization of the entire process: so what this is, is a new standard of encryption upon the known and standard RSA and AES with Quadrant Wave Transport Protocol a new standard of polymorphic encryption with temporal keys and mutating ciphertext. HOW TO USE: Extract to a folder on...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    LocNetServe

    LocNetServe

    A local web server for developing web applications on Windows.

    LocNetServe is a web development platform for Windows that helps you build dynamic web applications using Apache 2.4, PHP 8.2, and MySQL 9.4. It installs everything you need to develop web applications easily, thanks to its modern interface. You can manage your server and develop applications without manually editing configuration files. Best of all, LocNetServe is free (under MIT license) and available in a 64-bit version designed for modern Windows systems.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    VerySSH

    VerySSH

    A minimal, fast GUI for quickly launching SSH sessions from keychain

    A minimal, fast GUI for quickly launching SSH sessions from your ~/.ssh/config. SSH keychain 🔑🔗 Type to filter hosts Arrow Up/Down: Navigate through the list of hosts Enter: Connect to the selected host Esc: Close the application Delete: Clear the filter
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    Eva AI

    Eva AI

    Eva is an A.I. assistant that helps users multi-task.

    Eva is an A.I. assistant that has the purpose of helping users multi-task. It also has the purpose of helping people with disabilities use the computer with a greater ease. Eva can open and close system related and non-system related applications, search content on web applications, set timers, and take screenshots. Tell Eva "Listen" or "Hey listen" followed by a command. For more instructions, check the instruction manual included in the application. [Update] * 🆕 Removed paged memory...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    Rebus

    Rebus

    A challenging and portable Rebus puzzle game for Windows.

    Rebus is a captivating portable Windows game where you solve clever visual puzzles. Test your creative thinking and decipher words or phrases from images and symbols.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    linux-file-converter-addon

    linux-file-converter-addon

    Convert various image, audio and video formats from your context menu.

    Convert between various image, audio and video formats using the context menu. The addon is written in Python and available for Nautilus, Nemo, Thunar and Dolphin file viewers. It adds a new option to the context menu to create an easy way to convert between a huge amount of file types. The program offers many options to customize the appearance of its context menu. There are also a few extra formats which can be added by installing optional dependencies. The tool has a built-in auto-update...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    KeyParaStocX

    KeyParaStocX

    Set styles to words and create a Table of Contents in a click

    KeyParaStocX (Keyword-based Paragraph Styling and Table of Contents eXtension) is a LibreOffice/Apache OpenOffice/OpenOffice.org extension that searches for the configured keywords in a text, changes their style and builds a Table of Contents for them, up to 7 levels. The keywords and their target styles can be configured by the users and used for every document they open. The extension integrates into Writer options and is independent of the operating system (should work on all). See...
    Downloads: 1 This Week
    Last Update:
    See Project
Auth0 Logo