Tool for automatic MC/DC in C and in Python.
☆21Sep 5, 2019Updated 7 years ago
Alternatives and similar repositories for mcdc
Users that are interested in mcdc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Create minimum MCDC test sets for a boolean expression☆49Feb 15, 2021Updated 5 years ago
- A simple adaboost code using decision stumps as weak classifiers☆11Nov 1, 2012Updated 14 years ago
- bidirectional astar search☆11Mar 14, 2013Updated 13 years ago
- Python implementations of some algorithms from the CLRS textbook☆10Dec 8, 2019Updated 6 years ago
- Horizontal scrollbar for ttk Treeview widget python tkinter☆12Oct 18, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Qt5 COVID-19 simulator. Ada code under the hood. 🤯☆10Oct 29, 2020Updated 6 years ago
- QSapecNG☆15Jun 7, 2021Updated 5 years ago
- PW-Sat2 hardware designed by the PW-Sat2 team☆13May 20, 2019Updated 7 years ago
- Example FPGA programs written using LegUp HLS☆11May 13, 2021Updated 5 years ago
- Zynq PR Management☆13Apr 20, 2016Updated 10 years ago
- DyRACT Open Source Repository☆16May 4, 2016Updated 10 years ago
- ☆16Aug 21, 2019Updated 7 years ago
- Custom made TKL RGB HotSwap keyboard.☆24Nov 10, 2023Updated 2 years ago
- This is a C version of the SCF code found in Appendix B of Modern Quantum Chemistry, An Introduction to Electronic Structure Theory by A.…☆10Jan 1, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CamelForth in C for RP2040 Raspberry Pi Pico. A Forth by Dr Brad Rodriguez - ported to RP2040 by wa1tnr - Forth interpreter is on the RP2…☆12Oct 27, 2021Updated 5 years ago
- LEA is a Lightweight Editor for Ada☆33Oct 28, 2026Updated last week
- ☆27Mar 27, 2020Updated 6 years ago
- A Magento module allowing users to quickly search for specific configuration fields, quickly cutting through the dense UI.☆13May 28, 2014Updated 12 years ago
- C library for bit-banging async serial communication (UARTs)☆12Apr 15, 2014Updated 12 years ago
- A very quick and dirty XML library in C☆29Jun 15, 2024Updated 2 years ago
- ☆12Nov 24, 2015Updated 10 years ago
- Racket utilities for manipulating C source code.☆12Mar 15, 2017Updated 9 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 3 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.
- C headers for AVR microcontrollers. Arduino must die!☆10Apr 20, 2017Updated 9 years ago
- VCML integration of Nvidia's NVDLA SystemC model☆14Apr 13, 2021Updated 5 years ago
- Explore the behavior SystemC kernel event-driven simulator (aka "the engine")☆12Jan 17, 2024Updated 2 years ago
- 《穿越操作系统迷雾》源码☆12Jan 19, 2025Updated last year
- SystemC-Based Simulator for Early Exploration of Networks On-Chip☆13Oct 25, 2019Updated 7 years ago
- A collection of C examples for MCP2221 USB-to-I2C/UART bridge IC with different serial modules and sensors☆14Aug 26, 2020Updated 6 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- NTOP nDPI Library example usage and FFI bindings for Lua, NodeJS☆13Jan 29, 2018Updated 8 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The PicoBlaze-Library offers several PicoBlaze devices and code routines to extend a common PicoBlaze environment to a little System on a…☆39Dec 24, 2020Updated 5 years ago
- USB Type-C serial adapter powered by WCH/FTDI chips☆11Jul 7, 2019Updated 7 years ago
- Firmware for the Dygma Raise Keyboard, it uses a Open source Firmware called Kaleidoscope from http://Keyboard.io☆50Mar 21, 2025Updated last year
- An editor for deterministic finite automata☆50Jun 3, 2021Updated 5 years ago
- kernel driver source code☆15Apr 19, 2020Updated 6 years ago
- A window based serial port library in c++☆11Nov 13, 2022Updated 3 years ago
- Windows support for Ros (Robot Operating System)☆17Feb 5, 2013Updated 13 years ago