Showing 6 open source projects for "check"

View related business solutions
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool 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.
    Try Retool free
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    freeRTOS & libraries for AVR ATmega

    freeRTOS & libraries for AVR ATmega

    freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560

    AVR ATmega port of freeRTOS A port of freeRTOS which can be flexibly flexibly configured use almost any available Timer on AVR ATmega devices and will operate with almost any classic Arduino device from Arduino, SeeedStudio, Sparkfun, Freetronics or Pololu. Going forward this repository will be updated less often and only with major releases. Please check at Github for the latest commits. https://github.com/feilipu/avrfreertos The Goldilocks Analogue story is told here. http://feilipu.me/?s=Goldilocks+Analogue The Goldilocks 1284p story is here. http://feilipu.me/2013/03/08/goldilocks-1284p-arduino-uno-clone/ If this repository is too complicated to get started, a minimum AVR freeRTOS configured using the Watchdog Timer and Heap 3 is also also available. https://github.com/feilipu/miniAVRfreeRTOS For the Arduino platform there is a freeRTOS Library available in the Arduino IDE Library manager. https://github.com/feilipu/Arduino_FreeRTOS_Library
    Downloads: 11 This Week
    Last Update:
    See Project
  • 2
    Testability Measurement Tool

    Testability Measurement Tool

    Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.

    This application calculates combinational and sequential SCOAP parameters (CC0, CC1, CO, SC0, SC1, SO) and Testability Index parameter from a ISCAS89 netlist. It also performs the PODEM algorithm to check testability of a net against a single stuck at 0 or 1 fault.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    BlackLib

    BlackLib

    Beaglebone Black C++ Library

    ...It is created for reading analog input, generating pwm signal, using gpio pins, and communicating with other devices over uart, spi and i2c. In addition to them, it includes debugging feature. So you can check errors after call any function in the library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    ...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
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    AVRILOS

    AVRILOS

    Simple AVR OS

    A simple Embedded System Framework that allows rapid development of applications build for AVR family. System is based on a super-loop architecture with check and skip (no-wait) flag event driver system. Supports: UART, SysTick Timer, ADC, SPI, EEPROM, PWM. Also supports: Xilinx FPGA configuration, FPGA SSI interface, smart card reader etc. Tested partially (different modules in each case) on ATMega163/16/32/323/8. Awards CodeProject 2010, Third Prize, Hardware and Device Programming Check the Wiki Page for more details.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    ...Both C and C++ kernels avaiable. Key features include preemption, periodic events, device drivers, and mutex/semaphores. Includes a variety of graphics and filesystem middleware. Please also check out FunkOS's big brother, Mark3OS. Mark3OS is slightly larger, but is more scalable, much more feature-rich, and supports a wider variety of devices.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB