Search Results for "ctl"
Sort By:
Showing 24 open source projects for "ctl"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
ipfsd-ctl
Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript
Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript! Spawn IPFS Daemons, JS or Go. -
2
Xray Core
Xray, Penetrates Everything. Also the best v2ray-core
Xray-core is an enhanced superset of v2ray-core, providing a high-performance privacy proxy framework supporting XTLS. It offers full compatibility with v2ray configs, supports multiple protocols, advanced routing, and is distributed as a single executable. -
3
-
4
BeaST Quorum
Quorum device implementation for shared block devices
BQ (BeaST Quorum) is the simple quorum drive implementation for the FreeBSD CTL HA and the BeaST Storage system concept. -
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.
-
5
Serial Profile Plotter For Reflow Ovens
Utility for plotting data from homemade reflow ovens via serial port
The Serial Profile Plotter For Reflow Ovens utility is a freeware application to graph temperature vs time data sent typically from a homemade reflow oven controller (eg: Arduino based) via serial port to a PC or notebook running Windows 7. The graph generated has two vertical axis for temperature (real-time oven temp and setpoint temperature in degrees C). Horizontal axis is time (seconds). Graphed data can be saved to disk and retrieved if needed for reference. The graph can be... -
6
CloverDX
Design, automate, operate and publish data pipelines at scale
...CloverDX offers 100+ specialized components which can be further extended by creation of "macros" - subgraphs - and libraries, shareable with 3rd parties. Simple data manipulation jobs can be created visually. More complex business logic can be implemented using Clover's domain-specific-language CTL, in Java or languages like Python or JavaScript. Through its DataServices functionality, it allows to quickly turn data pipelines into REST API endpoints. The platform allows to easily scale your data job across multiple cores or nodes/machines. Supports Docker/Kubernetes deployments and offers AWS/Azure images in their respective marketplace -
7
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ... -
8
CTL-RP
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) -
9
ctl-test
C++ библиотека шаблонов
-
$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.
-
10
Informatica Create ctl
automate Informatica control file creation
Createinfactl is a Java utility that enables Administrators to fully automate Informatica deployments from the command line by creating thedeployment group control XML file to be used with the pmrep command “deploydeploymentgroup”. Default settings for the control file can be overridden at the command line and works with both static and dynamic deployment groups in the repository. Please review the “Using the Deployment Control File” section in the Informatica Command Reference guide for... -
11
GenNet
A Tool for Qualitative and Quantitative Modeling of Gene Regulatory Ne
...GenNet is a Java based tool called that facilitate the model checking user by providing a unique GUI layout for both qualitative and quantitative modeling of GRNs. GenNet also assists the modeling users by providing some extra features i.e. CTL editor, parameters filtering and input/output files management. Download pre-installed GenNet Virtual Box Image here https://www.dropbox.com/s/9ryvs1f22zc181y/GenNet-1.3.28.ova?dl=0 -
12
CertForge is a web-based certificate utility written in Java 1.6, to make or view X.509 certificates, keys, CRLs, manage keystore and truststore (CTL) for SSL sites, and run as a simple Certificate Authority (CA).
-
13
TEAM Engine
TEAMEngine or TEAM Engine application to test web services
TEAM Engine (Test, Evaluation, And Measurement Engine) is an engine for testing web services and other resources written in JAVA. It executes test scripts written in Compliance Test Language (CTL), TestNG and other languages. It is lightweight and easy to run as a command line or to setup as a service. It can be used to test any type of service or encoding. It is also the official tool used by the Open Geospatial Consortium (OGC) for compliance testing. -
14
csvtolatex
converts csv-files to LaTeX Code
csvtolatex converts csv-tables created by a spreadsheet software like MS Excel, Libre Office or Open Office Calc to a LaTeX table code you can directly include in your LaTeX-code. This program/script is for everyone using LaTeX and tables like measurement scales, where the tables can be changed from time to time. Like changing an equation to evaluate. This program/script is not designed for learning how to create a table in LaTeX. If there are some questions or if you like to... -
15
AGAVE
AGAVE is an agile tool to verify evolving software specifications
AGAVE is an agile -iterative and incremental- tool to verify evolving software specifications. AGAVE can be applied in different modeling languages, but so far has been implemented to verify Statecharts against Path-CTL properties. The tool takes as input two XML files, one representing the model of the system (Statechart) and one representing the property to verify (in Path-qCTL). The property is specified into a txt file. The tool return “true”, “false”, or “conditional”. In the conditional case, a set of constraints on transparent states is reported as well. ... -
16
DAQ-16c-Interface v3.2 Legal Copyrights © 2011 Eftychios Aristodemou Tel:99240159 --- Eftychios Aristodemou Email:ereltd@cytanet.com.cy DISCLAIMER : The complete DAQ-16c-Interface package including executable programs, documentations and Dynamic link labraries(ocx,dll,Dat,Ini,Ctl,Db,Log,And other) is provided AS-IS without any warranty expressed or implied. The software is not guaranteed to work with every possible hardware/software combination. The USER assumes full risk for the use, correct or otherwise of this software-hardware package. IMPORTANT INFORMATION ======================= There are several important modifications to be done to the DAQ-16c-Interface unit in order to improve it's performance and utilise the extra features of this version of the DAQ-16c-Interface software. ...
-
17
A cross-platform control dispatch framework used to manage distributed application infrastructures. For more information visit http://wiki.controltier.org/wiki/CTL.
-
18
The intention of this project is the creation of a tool for the conversion of ICC (International Color Consortium) profiles to CTL programs (for a correct representation of OpenEXR image files).
-
19
XDRadio is a simple to use XDialog wrapper for radio listening using MPlayer and v4l2-ctl. As a bonus, it will also play and record a video input when talking the audio from an audio input.
-
20
ctl is an extensible application control script. It is a generic script written on ksh to control every kind of application. Control means to start, stop or monitor. The tool is currently used on Solaris environment but it's ready for Linux use as well.
-
21
User space software used to control an Imation Disc Stakka in Linux using libusb. The software will provide a generic interface to allow for flexible front end development. *** NOTE *** This project has migrated into the CDStore Project (http://sourcefor
-
22
SQUAT/CTL is a platform independant macro template library for C/C++. It provides container, template, serialization and code generation patterns for the C/C++ language family based on C preprocessor macros.
-
23
The C Template Library Project (short CTL) is trying to create a STL similar Template Library for C99. It should be useful on any kind of platform and it is written in ISO C99 (also known as ANSI C). The CTL provides very fast Container.
-
24
- Previous
- You're on page 1
- Next
