Search Results for "operating systems" - Page 2
Sort By:
Showing 51 open source projects for "operating systems"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
ESpin
SPIN-based Eclipse Model Checking Plugin
ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN. -
2
The Abraham Funk Family: The Game
Abraham Funk Family Game Alpha Testing!
Abraham Funk Family Game Alpha Testing! -
3
-
4
httest Buddy
Editor and Java-Wrapper for httest
An executable Jar file contains both a Swing-based editor with syntax-highlighting, online help, example generator etc. for the "httest" tool (https://sourceforge.net/projects/htt/), as well as a Java API wrapper for writing JUnit tests with "httest". -
$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.
-
5
This application shows daily meals listing available on all 5 mensa's across TU Darmstadt Campuses in Darmstadt on android based smart phones. The app works by loading the content from mensa websites, parses it and displays the result on android UI.
-
6
This open source software benchmarks the queries per second of an Apache Lucene index. It is an Java implementation and uses MultiFieldQueryParser to form a query.
-
7
Android Auto Tester utilizes Android's monkey runner and hierarchy viewer to automatically traverses the hierarchy of an Android application's GUI and simulates user inputs from the host side, without accessing the application's source code.
-
8
-
9
Screen capturing tool for Android handsets connected via USB to a desktop/laptop. It is great for fullscreen presentations, product demos, automatic screen recording, or just a single screenshot. Without root.
-
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.
-
10
-
11
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
-
12
-
13
Jarrut is a tool that makes developing and debugging Java ME applications (application using CLDC to be more specific) a bit less of a pain. Jarrut enables proper stack traces for exceptions, also when running a MIDlet on a real device
-
14
This is a collection of Eclipse plug-ins that help you work with .NET. If you used tools like Emonic, this is something that will be helpful. Current functional tools include NUnit and NAnt support. Both tools work like their Java equivalents.
-
15
RIMUnit, an xUnit based unit-testing framework, allows developers to write better-quality Java code while developing applications for the BlackBerry® smartphone.
-
16
Tired of bogging down your machine to RUN all the TESTS, having to WAIT for the CruiseControl build to be green, or causing other developers HEARTACHE by skipping these steps when checking in your changes to source control? The Patch Process Is for YOU!
-
17
Test Drive is an automation tool. The application is specifically aimed at testing network based services that make use of popular protocols i.e HTTP, SOAP, ICAP, DNS etc.
-
18
CouchUnit is a Java Testing Framework, similar to DBUnit, that eases the construction and execution of Integration Tests against CouchDB Datasources.
-
19
-
20
FastAOP is an very high performant AOP (Aspect Oriented Programming) framework for java. The framework was initially developped to support performance profiling and monitoring for large J2EE applications with nearly no runntime overhad. Announcement: jp-mobile and fastAOP will go mobile, please visit jp-mobile (GWT based) website at: http://code.google.com/p/jp-mobile/
-
21
-
22
This project is intended for ISVs, SIs and software developers who need to integrate load generation engine into their applications. For enterprise load and performance testing initiatives, RadView offers WebLOAD Professional, a complete solution for creating, executing and analyzing the performance of web applications under load.
-
23
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
-
24
BeanClipse is a NetBeans plugin for Eclipse: NetBeans runs embedded within the Eclipse platform as a plugin offering the best of both worlds to Java developers. May be just a joke ;-) .... Check also it's twin at : http://sf.net/projects/netclipse
-
25
3A-TRE
3A-TRE evaluates traditionally logical expressions under 3 assumptions
3A-TRE evaluates traditionally logical expressions under the three assumptions. The open world assumption (OWA) states that the truth value of a statement that is not included in or inferred from the knowledge explicitly recorded in the system shall be considered unknown. The closed world assumption (CWA) is the assumption that any statement that is not known to be true is false. We distinguish yet another case in software testing. Frequently, there are test stubs which simulate the...
