Search Results for "sector" - Page 2
Sort By:
Showing 63 open source projects for "sector"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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.
-
1
NPEDetector
Null dereference verifier for Java Programs
NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifi er, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis. -
2
VaMoLa Validator is a tool to validate accessibility according to Italian Law - based on AChecker
-
3
NastranToCodeAster
Tool to translate Nastran to CodeAster file.
Tool to translate Nastran to CodeAster file. -
4
evofetch
Mining tool for software repositories
EvoFETCH is a tool to extract information about software entities such as classes, methods, and attributes from software repositories. EvoFETCH is middleware and makes use of other freely available software to perform the extraction and provide query functionality. -
$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.
-
5
jSET - Java Software Evolution Tracker is a software visualization tool that allows practitioners to assess the magnitude of changes across the versions of a software system.
-
6
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) -
7
CAP4EI
Code Analysis Plugin for Eclipse Indigo
Be accommodated in this project a version of CAP (Code Analysis Plugin for Eclipse) valid for Eclipse Indigo. The version of CAP in sourceforge.net/projects/cap4e/ not work correctly in Eclipse Indigo so I made the appropriate adjustments. I tried to connect to the original author of CAP4E but without results. Please, if anyone could do it for me I am willing to give the original author of the updated package for me to post it on the original site. I then eliminate this... -
8
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
9
CesTa (Code Enhancing Security Transformation and Analysis) is a tool for enhancing security by program transformations. Focused on Smart Cards (Java Card in particular), powered by Ant, ANTLR and StringTemplates.
-
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.
-
10
-
11
-
12
The "gc" language is a script language with c++ grammer and c++ class library . The gaiasle is a set of script language framework . It has some new ideas about soft development ,specially about web server programs .
-
13
The Java Code Clone Detection API (JCCD) allows to implement individual code clone detectors. These code clone detectors can be easily integrated into other Java applications. JCCD is based on a pipeline architecture which allows to replace whole par
-
14
Reviewing memory allocation and data structures of an extant Sourceforge project unix-named "simupop". A new development version of the extant project is established and the ultimate goal is to "rev up" the old, hence the project name.
-
15
An interactive binary search tree. The user may interact with the tree by performing rotations, balancing, insertions, and deletions. For educational purposes
-
16
LDIFF is an enhanced language-independent line differencing tool built upon the Unix diff and overcomes its limitations in determining whether an artifact line has been changed or is the result of additions and removals
-
17
Small plug-ins for the Eclipse IDE to enhance the usability. All plugins can be updated through the update site: http://sahits.ch/project/eclipse/update
-
18
Provide metrics calculation and dependency analyzer plugin for the Eclipse platform. Measure metrics with avg and std deviation and detect cycles in package and type dependencies. Continuation of work from http://sourceforge.net/projects/metrics.
-
19
Aurelia is a framework for program transformation based on a C++0x development environment. It provides libraries and tools for term rewriting, strategic programming, AST type generation, parsing.
-
20
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.
-
21
PHP MSSQL Server Admin - Query Analyzer
You can admin a SQL Server with php, like PHPMyAdmin for MySQL
Github repository: https://github.com/miguelaxcar/PHP-MSSQL-Server-Admin Web based tool written in PHP by Luiz Miguel Axcar to build and run queries on a remote or local MSSQL (Microsoft SQL Server). Support for SQL code highlight (!), table browser, field browser, TOP records, most used tables, CSV results export, etc. Most tested in SQL 2000 version. If you find some issue ther let me know and I help you fixing it. -
22
REL (Research and Education Language) is a simple but very powerfull language with a compiler, an interpreter and a verifier.
-
23
News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici
-
24
.Net Checker checks all code dependencies in .Net projects to ensure a stable architecture - up to multi-million LOC source trees. Moreover, it can produce flexible DOT-based dependency graphs.
-
25
Provides tools, supporting quality management or quality assurance for software: Assessment execution (ISO 15504 (SPiCE), AutomotiveSPiCE, CMMi), diff tool calculating sizes (SLoC) of diffs, identification of conditional compilation, and more.
