Search Results for "version control" - Page 25
Sort By:
Showing 2003 open source projects for "version control"
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.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
2
mergepbx
script for merging XCode project files in git
Tracking a Xcode project in a version control system is annoying. Simply adding files can lead to merge conflicts that have to be solved manually, although it would be possible to resolve the conflict automatically if the merge algorithm would be aware of the structure of Xcode's project file. After long and annoying merge sessions in one of my projects, I came to the conclusion, that writing a merge driver for git which understands the structure of the project file would be a worthwhile endeavour, as it would save me from solving the merge conflicts for my co-workers. ... -
3
simple rdist rcs and tools , srtools
simple rdist rcs and tools , srtools , synchronizing
srtools is a set of simple remote tools. the main two to mention: simple rdist distributes files or commands across hosts. srdist(1) understands rcs(1) files and host based files. there are several other tools see README. rcs tools has a few things , like "late-checkins" to check for files that one forgot to check in an dorev to force check in / do easy check in (avoiding complicated options). host based files is a way to allow hosts to distribute all files without clobbering... -
4
ghooks
Simple git hooks
Simple git hooks. It is not advised to install ghooks as a production dependency, as it will install git hooks in your production environment as well. Please install it under the devDependencies section of your package.json. Please also note, that it is absolutely not advised to install ghooks globally. To work as expected, make it a development dependency of your project(s). Add a config.ghooks entry in your package.json and simply specify which git hooks you want and their corresponding... -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
Virtual Machines and Appliances
Virtual Machines in OVA format for VirtualBox and other virtualization
Download ready-to-use OVA files containing your favorite OS, such as Debian, Ubuntu, Mint, FreeBSD, OpenBSD, etc. Simply "Import" the OVA into VirtualBox and go. (Control+I when in VirtualBox) Most distributions come in their 32 bit and 64 bit flavors, as well as "Minimal" and "GUI" versions. Where possible, guest additions have been installed to optimize the experience. Overall this is to aid in quick deployment, testing of environments, application development, or simply getting a... -
6
Verbosio Templates
A project to define templates for XML markup, and tools to edit them.
XML content can be found everywhere. We can use existing XML content to build templates for new XML content. This project is about building a template system, complete with its own XML language, for generating XML content on a per-XML-language basis. -
7
SoyBeans
A Task Processing Framework for Java
Soy Beans is an HTTP request processing framework written in Java. Written as an alternative to frameworks like Struts and Stripes, it provides a robust and extremely flexible API enabling rapid deployment, and dynamic configuration. -
8
qxdotnet
qxdotnet is a server side ASP.NET wrapper for qooxdoo library
http://qooxdoo.org is a great JavaScript framework. It contains lots of UI controls that would be useful when developing ASP.NET applications. But qooxdoo designed to communicate with server via RPC method. It is not comfortably. The main qxdotnet idea is a creating C# mirror objects for qooxdoo UI controls. State of the objects on the server and the client is synchronized with AJAX. For example, you just create a C# "button" control and place it on the form. After you start your ASP.NET... -
9
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
Wolfenstein 3D html5
Wolfenstein 3D HTML5 TOTAL Conversion
Wolfenstein 3D HTML5 full conversion *UPDATED* - CHROME AUDIO CONTEXT FIX SCRIPT! I did not wrote it i am not the maker of this script. It is relased under the gplv2 licence. 6 Episode + Spear of Destiny Usage: Just upload and play! This is a total html5-javascript conversion of the original game, all episodes until Spear of Destiny is included! 81 stage. Usage: 1. Upload to any webhost 2. Load the index.php in your web browser 3. It can save the game and... -
11
pyhard2, control hardware from python
An object-oriented framework for the development of instrument drivers
pyhard2 is an object-oriented framework to help in the development of instrument drivers. pyhard2 is proposed as an alternative to LabVIEW. Emphasis is given on serial drivers but the framework can be used with any socket. The source also contains the implementation of a PID controller and a setpoint ramp generator. The instrument drivers may further be incorporated in a GUI, using, e.g. PyQt or PySide. Threading is automatically taken care of. Furthermore, generic GUI (called... -
12
iScroll
Smooth scrolling for the web
...It was designed to be small, dependency-free, and optimized enough to work well on both modern and older devices. The library goes beyond basic scrolling by supporting zooming, panning, infinite scrolling, parallax effects, and carousel-style interactions. Developers can control scroll coordinates, customize easing behavior, and listen to detailed scrolling events during user interaction. The project includes several builds, such as the general version, a lighter mobile-focused version, a probe version for tracking scroll position, and a zoom-enabled version. The repository is archived and read-only, so it is best suited for legacy projects, reference use, or maintaining existing interfaces that already depend on iScroll. -
13
OSMF HLS Plugin
OSMF HLS Plugin
...Multi-bitrate streaming. VOD/Live/DVR content streaming. Dynamic buffering control for optimized playback (beta). -
14
AQEMU
a GUI for virtual machines using QEMU as the backend
AQEMU is a GUI for virtual machines using QEMU as the backend. Support for the KVM accelerator on Linux is provided. The application has a user-friendly interface and allows to set a large number of options. -
15
Tree Shade
Bridge and InDesign plugin for fixing links, versioning and clouding.
Send from your Dropbox email a request for the plugin to dulajun@gmail.com Javascript plug-in for Bridge and InDesign CS6 and CC. Run on Mac OS. The InDesign startup script is open source. This plug-in plays more than one task, but the primary one is to manage and distribute giant and complex tree of files among many computers and syncing them from one to the others depending on requesting. Another task is managing InDesign links and fix missed ones automatically by tracing any changes... -
16
phpVirtualBox
A web-based front-end to VirtualBox written in PHP
phpVirtualBox - An open source, AJAX implementation of the VirtualBox user interface written in PHP. As a modern web interface, it allows you to access and control remote VirtualBox instances. phpVirtualBox is designed to allow users to administer VirtualBox in a headless environment - mirroring the VirtualBox GUI through its web interface. -
17
zsh-git-prompt
Informative git prompt for zsh
zsh-git-prompt is a Z shell prompt script that displays rich Git repository information in your shell prompt, such as branch, ahead/behind status, staged changes, conflicts, and more. It enhances developer productivity in version-controlled workflows. There is now a Haskell implementation as well, which can be four to six times faster than the Python one. The reason is not that Haskell is faster in itself (although it is), but that this implementation calls git only once. You may redefine... -
18
Monotone Browser
Monotone GUI
A graphical browser for examining Monotone VCS repositories without the need for a workspace. -
19
WebDAVSurfer
WebDAV client 64-bit works with Plone 5, Apache and more
GUI WebDAV Client for Linux and Windows 10. Includes PROPFIND, PROPPATCH, LOCK ,UNLOCK ,VERSION-CONTROL,REPORT. HTTP(S) with Basic Authentication and PKI client and server Certificates. Works with Plone, Zope, Apache + mod_dav, PyWebDAV, PyDAV, Tamino. 64-bit wxPython used. Upload files or from Web. Update properties. Tested with Plone 5.04 -
20
Gitinspector
The statistical analysis tool for git repositories
Gitinspector is a statistical analysis tool for git repositories. The default analysis shows general statistics per author, which can be complemented with a timeline analysis that shows the workload and activity of each author. Under normal operation, it filters the results to only show statistics about a number of given extensions and by default only includes source files in the statistical analysis. This tool was originally written to help fetch repository statistics from student projects... -
21
Webiness
Lightweight PHP framework
Webiness is lightweight PHP framework based on MVC design pattern. It has a very straightforward installation process that requires only a minimal configuration, so it can save you a lot of hassle. Also, it canbe an ideal choice if you want to avoid PHP version conflict, as it works on all PHP versions from 5.3. Webiness extensively uses the lazy loading technique so, in most cases, it is faster then other frameworks. It can be used for rapid prototyping of web applications. Webiness is... -
22
JFig
JFig is a simple, powerful tool to manage application configuration
JFig provides developers with a simple yet powerful tool to manage their applications’ configuration. Using a combination of hierarchical xml files and substitution variables, it enables developers to: 1. Store application configuration in one common repository of XML files 2. Access configuration data using one common, convenient interface 3. Easily define multiple configurations tailored to different environments, with the ability to dynamically modify those variables that need to... -
23
SuperCollider
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software. -
24
Este projeto implementa lógicas de Controle entre componentes visuais (jxSwing) e a camada de persistência (jxDao). This project implements logical Control of visual components (jxSwing) and persistence layer (jxDao).
-
25
