Search Results for "command-line kill linux" - Page 2
Sort By:
41 projects for "command-line kill linux" with 2 filters applied:
-
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
2
PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
-
3
Another Open Source Code Analysis Tool
-
4
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
5
Wsdl Auditor
Moved to github
Moved to Git Hub, https://github.com/SaikiranDaripelli/WsdlAuditor -
6
Program Statistics
View current download statistics for software on various sites
progstat: Used to view current download statistics for posted programs on various sites. -
7
-
8
A command-line Python utility to mine information on open source projects using the ohloh web service APIs. The script is enables analysis of open source projects indexed by ohloh by providing source lines of code (SLOC), contributor data and other info.
-
9
REL (Research and Education Language) is a simple but very powerfull language with a compiler, an interpreter and a verifier.
-
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
Cov is a code coverage tool to get your code coverage after your runuing some steps for your programs.It is based on llvm(Low Level Virtual Machine,http://llvm.org/).Now,it's only a begining,so welcome anybody to join in.
-
11
A quick and simple way to create a source code report. Counts lines of code and compares two directories for line changes, line adds, and line deletes.
-
12
This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.
-
13
XRay is an analysis tool built upon your SCMs, aimed to consolidade project statistics from many repositories in a single tool, generating code reports and development statistics obtained from log data and file versions.
-
14
SIM stands for Struts In Mind, the goal is to transform a struts-config.xml file into a Freemind map, thus allowing a better vizualisation of the application mapping. Configuration is analyzed to provide a vision enhanced with colors and icons.
-
15
JSDE( JavaScript development environment), is a "Make" tools in JavaScript. you cloud use JSDE to check js|css syntax error, obfuscate js code, analyze js project , include file once, extent js syntax, find the dependence map, check file encoding.
-
16
Recognizes typical patterns in Java code which could be replaced with functions provided by open source libraries http://www.jnorm.org
