Search Results for "sccs"
Sort By:
Showing 12 open source projects for "sccs"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
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.
-
1
Windows Native Unix Shell (wnus prompt)
A comprehensive Unix/Linux-like shell environment for Windows 7+ 64bit
This project is implemented entirely in C++ without external dependencies. Windows Native Unix Shell (wnus prompt) (pronounced Wenus) brings the power and familiarity of bash sh ash commands and common terminal utilities to native Windows, with full NTFS support and Windows API integration. . It contains 342 fully implemented commands built-in , encompassing file managements operation and so much more. It has a comprehensive help system. This doesn't require WSL to work, or any... -
2
Jadecy
Java lib to compute (code) deps, SCCs, and cycles (Johnson algorithm).
Jadecy (Java Dependencies and Cycles) is a Java library to compute dependencies (elements depended on, or depending), strongly connected components, and cycles, in general directed graphs, or classes or packages dependencies graphs parsed from class files (major version <= 52, else does best effort). It uses Tarjan's algorithm for SCCs computation, and Johnson's algorithm for exhaustive cycles computation, with continuations instead of recursion, which allows to handle large graphs (< 2^31 vertices). Since version 1.1, can also compute shortest cycles covering all edges of SCCs. Usage from command line is also possible but with reduced flexibility (cf. JadecyMain class). ... -
3
Schily Tools
A Tool Box with tools written or managed by Jörg Schilling
...It includes programs like: cdrecord, cdda2wav, readcd, mkisofs, smake, bsh, btcflash, calc, calltree, change, compare, count, devdump, dmake based on SunPro Make, hdump, isodebug, isodump, isoinfo, isovfy, label, mt, obosh, od, p, POSIX patch, pbosh, sccs, scgcheck, scpio, sdd, sfind, sformat, smake, sh/bosh (Bourne sh), star, star_sym, strar, suntar, gnutar, tartest, termcap, and ved. -
4
SCCS
The UNIX Source Code Control System activelty maintained/enhanced
The UNIX Source Code Control System -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
what
Implementation of the sccs what program
An open source implementation of the unix what command. -
6
JAGAL: Java Graph Library
Java graph library
JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal. -
7
JCycles
[frozen] A library for computing cycles in graphs or in Java code.
[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (< Integer.MAX_VALUE vertices). Requires Java 5 or later. -
8
Concurrency Workbench NC
Automatic verification of concurrent software systems
The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation-Based Verification - Temporal-Logic-Based Verification - Interactive Simulation - Reachability analysis -
9
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
LTL[e] model checker
An LTL[e] model checker for EVENT-B model as Rodin plugins.
An LTL[e] model checker for EVENT-B model as Rodin plugins. There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs). Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library) -
11
The purpose of this project is to build a distributed source code archiving system that allows users to archive and share source code files in a reliable and time-efficient way.
-
12
CSSC is a clone of the Unix SCCS tool suite. CSSC is useful for working with existing source respositories that are already in SCCS format.
- Previous
- You're on page 1
- Next
