Showing 8 open source projects for "skyeye-testsuite"

View related business solutions
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 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
  • 1
    µWebSockets

    µ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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Linux Test Project

    Testsuite to validate the reliability, robustness, stability of Linux.

    Linux Test Project (LTP) is a joint project started by SGI, OSDL and Bull developed and maintained by SUSE, Red Hat, Fujitsu, IBM, Cisco, Oracle and others. The project goal is to deliver tests to the open source community that validate reliability, robustness, and stability of the Linux Kernel. The testing suites contain a collection of tools for testing the Linux kernel and related features. Our goal is to improve the Linux kernel and system libraries by bringing test automation.
    Leader badge
    Downloads: 1,187 This Week
    Last Update:
    See Project
  • 3
    Pharos

    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.
    Downloads: 38 This Week
    Last Update:
    See Project
  • 4

    SkyEye

    a very fast full system simulator

    SkyEye is a very fast full system simulator which takes llvm as IR of dynmic compiled framework.. It can simulate series ARM, Coldfire,Mips, Powerpc, Sparc, x86, TI DSP and Blackfin DSP Processor. Also can simulate multicore system by the multicore of host. The commercial support is provided by DigiProto Co. (http://www.digiproto.com)
    Downloads: 6 This Week
    Last Update:
    See Project
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0'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.
    Sign Up Free
  • 5
    JBernstein

    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)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Embedded Linux Testsuite is a regression testsuite for embedded Linux applications, with emphasis on PDAs and handhelds.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    ARCNET network controller core, descriped in VHDL with datasheet, documentation, device drivers, a software testsuite and examples. All based on the PM20100 VHDL-design from Peter Mühlenbrock.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB