C source MCDC instrumentation and coverage report generation tool
☆12Dec 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:
- Terminal for the Kobo Clara BW☆14Jan 13, 2026Updated 9 months ago
- MPPT Solar Battery Charger☆14Apr 10, 2025Updated last year
- A micro web framework for Luvit☆15May 25, 2013Updated 13 years ago
- Arinc653 abstraction library for hypervisor independent partition programming☆12Dec 16, 2025Updated 10 months ago
- 在tensorflow提供的嵌入式demo基础上，使用自己训练的yolov3-tiny模型权重，实现界面精简（好吧只有一个界面）的Android端车辆识别实时系统☆16Jul 21, 2019Updated 7 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.
- Trace viewer extension for Eclipse Theia applications and VSCode compatible applications, that uses the Trace Server Protocol (TSP)☆11Oct 23, 2026Updated last week
- Floating-point SMTLIB benchmarks☆10Jul 17, 2026Updated 3 months ago
- Towards a formally verified, tiny and permissively licensed C standard library, using Frama-C (fork of Baselibc/Klibc)☆12Jun 17, 2019Updated 7 years ago
- htmlayout+lua ui☆30May 30, 2012Updated 14 years ago
- Project to build and test seL4 for many different platforms☆19Updated this week
- A versatile and user-friendly toolkit for coding Atmega microcontrollers. Simplify GPIO configuration, set up ADC for analog input, and e…☆10Oct 1, 2023Updated 3 years ago
- PlutoSDR / WebUSB PoC☆18Apr 22, 2020Updated 6 years ago
- vscode memory inspector☆19Oct 24, 2026Updated last week
- Building Transformer Models with Attention: Implementation from Scratch in TensorFlow Keras☆14Sep 26, 2023Updated 3 years 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.
- ☆13May 10, 2019Updated 7 years ago
- 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 6 years ago
- Components for web-based C/C++ tools☆18May 10, 2024Updated 2 years ago
- ☆18Sep 2, 2020Updated 6 years ago
- my C Header-Only Libraries☆18Nov 26, 2024Updated last year
- Experimental QEMU mirror for more Cortex-M and atmel boards, rebased onto upstream. Please see http://wiki.qemu.org/Contribute/SubmitAPat…☆14Dec 17, 2025Updated 10 months ago
- Facial Expression Recognition in android where the predictive model built in tensorflow using convolutional neural network☆33Apr 27, 2018Updated 8 years ago
- Collect User templates for everyone to use☆13Aug 18, 2025Updated last year
- 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.
- Saleae ARM Serial Wire Debug (SWD) Analyzer☆20Oct 23, 2023Updated 3 years ago
- Add hydration points to your GPX tracks automatically 🚴♂️💧☆32Nov 16, 2025Updated 11 months ago
- Github for CS448H Winter 2017☆15Jun 26, 2018Updated 8 years ago
- Tiny, zero-allocation JSON serializer written in ANSI C☆52Apr 12, 2025Updated last year
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- Multi-threaded Optimization Toolbox☆32Oct 20, 2022Updated 4 years ago
- Implementation of a few sorting algorithms in OpenCL☆35Dec 6, 2019Updated 6 years ago
- 博客文章Markdown源文件备份☆20Dec 3, 2022Updated 3 years ago
- My Home Assistant Setup☆11Dec 8, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Mar 18, 2018Updated 8 years ago
- A simple guide to get started on renode.☆23Jun 30, 2021Updated 5 years ago
- QuSoC demo projects and template☆24Mar 4, 2026Updated 7 months ago
- A Go parser for Transparency in Coverage MRF files.☆23Nov 19, 2024Updated last year
- CDT GDB Visual Studio Code Extension☆27Oct 24, 2026Updated last week
- Explore M3 For Arduino☆14Oct 22, 2025Updated last year
- Design & Implementation of Multi Clock Domain System using Verilog HDL☆13Oct 4, 2023Updated 3 years ago