C source MCDC instrumentation and coverage report generation tool
☆11Dec 18, 2023Updated 2 years ago
Alternatives and similar repositories for tinycover
Users that are interested in tinycover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MPPT Solar Battery Charger☆14Apr 10, 2025Updated last year
- Terminal for the Kobo Clara BW☆12Jan 13, 2026Updated 4 months ago
- Project to build and test seL4 for many different platforms☆17May 10, 2026Updated last week
- 在tensorflow提供的嵌入式demo基础上，使用自己训练的yolov3-tiny模型权重，实现界面精简（好吧只有一个界面）的Android端车辆识别实时系统☆16Jul 21, 2019Updated 6 years ago
- vscode memory inspector☆18Apr 29, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- Catalog of mechanisms used to onboard IoT devices☆17Oct 1, 2020Updated 5 years ago
- Experimental QEMU mirror for more Cortex-M and atmel boards, rebased onto upstream. Please see http://wiki.qemu.org/Contribute/SubmitAPat…☆13Dec 17, 2025Updated 5 months ago
- ☆13May 10, 2019Updated 7 years ago
- 16-bit simple CPU architecture☆70Jul 8, 2025Updated 10 months ago
- Tiny, zero-allocation JSON serializer written in ANSI C☆49Apr 12, 2025Updated last year
- A simple guide to get started on renode.☆21Jun 30, 2021Updated 4 years ago
- Saleae ARM Serial Wire Debug (SWD) Analyzer☆20Oct 23, 2023Updated 2 years ago
- Components for web-based C/C++ tools☆18May 10, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Multi-threaded Optimization Toolbox☆32Oct 20, 2022Updated 3 years ago
- PlutoSDR / WebUSB PoC☆18Apr 22, 2020Updated 6 years ago
- ☆18Sep 2, 2020Updated 5 years ago
- A Fast Floating-Point Satisfiability Solver☆30Jul 26, 2025Updated 9 months ago
- Collect User templates for everyone to use☆11Aug 18, 2025Updated 9 months ago
- my C Header-Only Libraries☆17Nov 26, 2024Updated last year
- Implementation of a few sorting algorithms in OpenCL☆35Dec 6, 2019Updated 6 years ago
- My Home Assistant Setup☆11Dec 8, 2022Updated 3 years ago
- Facial Expression Recognition in android where the predictive model built in tensorflow using convolutional neural network☆33Apr 27, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- QuSoC demo projects and template☆24Mar 4, 2026Updated 2 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆53May 15, 2026Updated last week
- CDT GDB Visual Studio Code Extension☆24Updated this week
- Github for CS448H Winter 2017☆14Jun 26, 2018Updated 7 years ago
- Explore M3 For Arduino☆14Oct 22, 2025Updated 7 months ago
- ☆17Mar 18, 2018Updated 8 years ago
- Design & Implementation of Multi Clock Domain System using Verilog HDL☆13Oct 4, 2023Updated 2 years ago
- Experiments getting a Cypress FX3 SuperSpeed USB3 dev kit to behave as a logic analyzer.☆29Oct 2, 2017Updated 8 years ago
- A low level preprocessor meta programming library.☆30Jul 20, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CDT Cloud Blueprint is a template for building custom web-based C/C++ tools. It is made up of existing open source components and can be …☆29Mar 9, 2026Updated 2 months ago
- Lock-free allocator as described by Maged M. Michael, 2004☆49Sep 13, 2013Updated 12 years ago
- CDT GDB Debug Adapter☆35Updated this week
- Design to connect Lattice Ultraplus FPGA to OV7670 Camera Module☆21Feb 8, 2018Updated 8 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 6 years ago
- My home directory☆20May 2, 2026Updated 2 weeks ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆52May 4, 2026Updated 2 weeks ago