Search Results for "skyeye-testsuite"
Sort By:
Showing 17 open source projects for "skyeye-testsuite"
View related business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
MATIO
MATLAB MAT File I/O Library
MATLAB MAT file I/O library. Matio is an open-source C library for reading and writing binary MATLAB MAT files. This library is designed for use by programs/libraries that do not have access or do not want to rely on MATLAB's shared libraries. -
2
testng
TestNG testing framework
TestNG is a testing framework inspired from JUnit and NUnit but introduces some new functionalities that make it more powerful and easier to use. Run your tests in arbitrarily big thread pools with various policies available (all methods in their own thread, one thread per test class, etc...). -
3
websocket for Go
Minimal and idiomatic WebSocket library for Go
websocket is a minimal and idiomatic WebSocket library for Go. Minimal and idiomatic API. First class context.Context support. Fully passes the WebSocket autobahn-testsuite. Single dependency. JSON and protobuf helpers in the wsjson and wspb subpackages. Zero alloc reads and writes. Concurrent writes. Close handshake. net.Conn wrapper. Ping pong API. RFC 7692 permessage-deflate compression. Compile to Wasm. Transparent message buffer reuse with wsjson and wspb subpackages. Gorilla writes directly to a net.Conn and so duplicates features of net/http.Client. ... -
4
µWebSockets
Compliant web server for the most demanding of applications
...LGTM scores us flawless A+ from having zero CodeQL alerts and we compile with pedantic warning levels. µWebSockets is written entirely in C & C++ but has a seamless integration for Node.js backends. This allows for rapid scripting of powerful apps, using widespread competence. We've been fully standards compliant with a perfect Autobahn|Testsuite score since 2016. Companies with everything to lose rely on µWebSockets on a daily basis - we power the trading APIs of Bitfinex.com & Kraken.com, handling volumes of multiple billions of USD every day. Other companies include Trello, where µWebSockets is serving their 50 million users with real-time board updates. -
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.
-
5
A simple WebSocket server
A simple WebSocket server
A simple WebSocket server. -
6
Pharos
RTOS for Secure, Safe and Real-Time Systems
Pharos is a free open-source RTOS for secure, safe and real-time systems with the following characteristics: - Memory and enhanced time partitioning (TSP) - Native support for sporadic, periodic and aperiodic threads - Fixed-priority preemptive scheduler - Execution time protection (threads are prevented from executing for more time than they are configured to) - Small size (full image has ~100 to 300KiB text, ~30KiB data) - Hard real-time determinism - Fast critical sections - Prioritized nested interrupts - inter-partition communication with filters to protect unwanted access - Multicore support (RMP) - Supports ARM9, Cortex-A/R/M and Aarch64, RISC-V64 (64 bits) - The complete TestSuite (see below information) is run successfully for each platform in each release - Tested: more than 170 KLOC of requirement-based tests, executed for each board at each release - Up-to-date User Manual also available See our wiki page for more information. -
7
This project has moved to GitHub ! The version here at SourceForge will remain for historic purpose. Koopa is a parser generator, made for COBOL. It can handle source files in isolation (no preprocessing required) and doesn't mind the presence of CICS/SQL fragments. The grammar is easily extensible in a way which minimizes the impact on the overall code.
-
8
SVUnit
Systemverilog Unit Test Framework
SVUnit is a unit test framework for developers writing code in systemverilog. Verify systemverilog modules, classes and interfaces in isolation with SVUnit to eliminate bugs before they infest your design! -
9
MAGERITCC
MAGERIT OCIL testsuite and Control Catalogue for Verinice
This project contains a MAGERIT control catalogue for the Verinice information security management system and an Open Checklist Initiative Language (OCIL) testsuite for MAGERIT. MAGERIT is a Spanish risk assessment standard that is available for free. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
Mobile Suite
Mobile Suite is a set of J2ME midlets with a common UI
Mobile Suite is a set of J2ME midlets with a common UI. Applications are grouped in three: - game (Reversi, Bubblet, ...), - application (Secure SMS, RSS Reader, ...) - programming tool (libraries, test suite, ...). -
11
UCS (Ultra Corba Simulator) is one powerful corba client/servant simulator tool. It doesn't need idl-related helper class or IR service.
-
12
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
13
compare-results
Program comparing Simulation Results for the SBML TestSuite
Compare SBML Test Suite Results =============================== The [SBML Testsuite](http://sbml.org/Facilities/Online_SBML_Test_Suite) allows developers of ODE based simulators to test their implementation against a large number of test cases that test a wide aspect of the [SBML Specifications](http://sbml.org/Documents/Specifications). While implementing my simulator [RoadRunner](http://roadrunner.sf.net) I wanted to be able to compare it using a wider range of parameters: - filter for new tests - filter for tests with specific tags - mark elements that I know I did not implement -
14
Jaccept
This project has move to https://github.com/mikis/jaccept
Extension to JUnit to enabled automatic acceptance testing. The TestSuite & TestCase are extended with operations providing added documentation and workflow control. -
15
-
16
This project aims to provide a web interface (based on PHP/MySQL) to browse and analyse logfiles of Open POSIX TestSuite runs. It will be extended to support other conformance-type testsuites (Linux Test Project, ...) as well.
-
17
Suite of utilities to test and benchmark MySQL JDBC drivers. Placed in the public domain to allow use without fear by proprietary driver developers.
- Previous
- You're on page 1
- Next
