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 6 months ago
- A micro web framework for Luvit☆15May 25, 2013Updated 13 years ago
- Floating-point SMTLIB benchmarks☆10Updated this week
- 在tensorflow提供的嵌入式demo基础上，使用自己训练的yolov3-tiny模型权重，实现界面精简（好吧只有一个界面）的Android端车辆识别实时系统☆16Jul 21, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Project to build and test seL4 for many different platforms☆17Updated this week
- vscode memory inspector☆17May 28, 2026Updated last month
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 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 7 months ago
- Catalog of mechanisms used to onboard IoT devices☆17Oct 1, 2020Updated 5 years ago
- ☆13May 10, 2019Updated 7 years ago
- A simple guide to get started on renode.☆21Jun 30, 2021Updated 5 years ago
- PlutoSDR / WebUSB PoC☆18Apr 22, 2020Updated 6 years ago
- Components for web-based C/C++ tools☆18May 10, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Saleae ARM Serial Wire Debug (SWD) Analyzer☆20Oct 23, 2023Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated 11 months ago
- Tiny, zero-allocation JSON serializer written in ANSI C☆51Apr 12, 2025Updated last year
- my C Header-Only Libraries☆18Nov 26, 2024Updated last year
- Multi-threaded Optimization Toolbox☆32Oct 20, 2022Updated 3 years ago
- Collect User templates for everyone to use☆12Aug 18, 2025Updated 11 months ago
- ☆18Sep 2, 2020Updated 5 years ago
- Add hydration points to your GPX tracks automatically 🚴♂️💧☆32Nov 16, 2025Updated 8 months ago
- Github for CS448H Winter 2017☆14Jun 26, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- Implementation of a few sorting algorithms in OpenCL☆35Dec 6, 2019Updated 6 years ago
- QuSoC demo projects and template☆24Mar 4, 2026Updated 4 months ago
- CDT GDB Visual Studio Code Extension☆25Updated this week
- A low level preprocessor meta programming library.☆30Jul 20, 2023Updated 3 years ago
- ☆17Mar 18, 2018Updated 8 years ago
- Design & Implementation of Multi Clock Domain System using Verilog HDL☆13Oct 4, 2023Updated 2 years ago
- Explore M3 For Arduino☆14Oct 22, 2025Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Experiments getting a Cypress FX3 SuperSpeed USB3 dev kit to behave as a logic analyzer.☆29Oct 2, 2017Updated 8 years ago
- 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 …☆30Mar 9, 2026Updated 4 months ago
- CDT GDB Debug Adapter☆39Updated this week
- 16-bit simple CPU architecture☆69Jul 8, 2025Updated last year
- Lock-free allocator as described by Maged M. Michael, 2004☆49Sep 13, 2013Updated 12 years ago
- Heckin smart magnetic levitation base☆26Sep 9, 2021Updated 4 years ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆54Jul 1, 2026Updated 2 weeks ago