Showing 77 open source projects for "command-line kill linux"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice 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.
    Try it Free
  • 1
    Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    cpp2dot parses c++ header files and generates a dot (graphviz) UML graph. It is based on the moc tool from the Qt SDK. Feel free to ask me anything about it (mail or Tracker, but preffer to post on my blog : http://www.libertesalternatives.org)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5
    Dresden OCL
    Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Application has been created during my Master Degree studies at PJIIT. It was inspired by "Business Process Modeling and Simulation with UML" articles by Pan-Wei Ng published on The Rational Edge Apr / May 2002.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Generic System for Data Processing
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 10
    This project aims to model parasites in order to assist in the analysis and prediction of their behavior.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Interactive PHP shell Create an interactive environment to debug php line by line. It enables you to execute php code as if it were a command line in a similar setting to bash and psh (perl shell).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This project contains a set of tools for formal verification and static analysis of VHDL design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    XISL (XML based scripting of Implicit Surfaces) package (written in C++) assists developers in construction of arbitrary implicit models. Each implicit function class (a primitive, an operation, etc.) is deffined by its appropriate XISL tag(s).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    automated refactorings, source-code metrics, audits and corrective actions. install as a stand-alone application or as a plug-in to Eclipse or NetBeans.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    PeerSE is a graphical experiment environment for analysing and developing peer-to-peer (p2p) systems in Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    This is a game.Player has to save his target point(staff).There is an enemy tank. The enemy tank will be trying to kill the staff.If staff is killed then game will be over. And if player can kill the enemy tank then player will win the game.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    SQLOrm focuses on mediating database interaction rather than shielding the user from it. SQLOrm consists of 3 major parts. A dynamic query builder. A prepared statement layer. A resultset to object graph mapper, supporting batch inserts/updates.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    PHiMX is a command-line tool to generate XMI code of a project in PHP5. It can analyze recursively several directories of PHP scripts, supports various XMI formats and allows to integrate your own include_path.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.
    Downloads: 0 This Week
    Last Update:
    See Project