Search Results for "user" - Page 31
Sort By:
Showing 11438 open source projects for "user"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch 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.
-
Ship Agents FasterGemini 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.
-
1
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... -
2
98Softwares
Softwares for 98Softwares system
Compilation of softwares to use with 98Softwares. -
3
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.
-
4
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.) -
Stop vibe-debugging.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.
-
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.
-
6
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 -
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. -
8
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 -
9
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 -
Our Free Plans just got better! | Auth0You 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.
-
10
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) -
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.
-
12
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. -
13
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... -
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/
-
15
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...
-
16
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. -
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. -
18
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. ... -
19
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... -
20
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. -
21
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 -
22
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... -
23
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. -
24
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... -
25
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...
