Showing 8 open source projects for "check"

View related business solutions
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built 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.
    Create free account
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it 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: 9 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: 6 This Week
    Last Update:
    See Project
  • 3
    FumenBot

    FumenBot

    A DIY gadget to automatize specific plant growing

    A DIY gadget that creates an isolated micro environment to grow any kind of plant using minimal space. Check the Wiki for more info: https://sourceforge.net/p/fumenbot/wiki/Home FumenBot v0.71 https://sourceforge.net/p/fumenbot/code Electronics based on Arduino (at328p), firmware wrote in C, working but still WIP. FumenBot v0.6 https://sourceforge.net/p/fumenbot/v0.6 https://code.google.com/p/fumenbot/ This is first publication original hosted at google code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    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
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    Arduino BOARDS.TXT Editor

    Arduino BOARDS.TXT Editor

    Managing your Arduino BOARDS.TXT and PROGRAMMERS.TXT files

    ...Use at your own risk ** BOARDS.TXT Editor is compatible with Arduino IDE 1.0 through 1.5x and other compatible IDEs like Visual Micro NEW in version 1.60: - Pinout viewer now Includes links to processor datasheets from the manufacturers' web sites - Automatic web downloader \for pinout diagrams and datasheets - Improved compatibility with clone vendor's BOARDS.TXT files (e.g. Teensy) - Validation check when opening files - Various bugfixes In case of problems or suggestions write a mail to: Heinz.Kessler -at- web.de
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    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
  • 7
    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
  • 8
    ...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