Computes cyclomatic complexity metrics on C cource code
☆20Apr 10, 2023Updated 2 years ago
Alternatives and similar repositories for cyclo
Users that are interested in cyclo are comparing it to the libraries listed below
Sorting:
- tools for CI fuzzing automation☆34Sep 1, 2025Updated 6 months ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆18Mar 4, 2026Updated 2 weeks ago
- This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…☆36Feb 16, 2026Updated last month
- Have fun!☆31Nov 5, 2017Updated 8 years ago
- A lexical scanner and parser in C++ for Code analyzer which will extract lexical content from source code files, analyze the code’s synta…☆10Mar 14, 2016Updated 10 years ago
- Проект одноплатного четырехбитного компьютера на 155 серии времен СССР☆21May 20, 2024Updated last year
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- ☆13Dec 1, 2020Updated 5 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆12Jan 6, 2023Updated 3 years ago
- QEMU fork☆10Mar 12, 2021Updated 5 years ago
- Juliet C/C++ Dynamic Test Suite☆36Apr 18, 2023Updated 2 years ago
- Patch for the emulation of Octeon MIPS64 in QEMU☆15Feb 2, 2018Updated 8 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 10 years ago
- A YAML-based configuration library for Rust☆13Aug 6, 2019Updated 6 years ago
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆24Dec 15, 2021Updated 4 years ago
- An HTTP Client in Haskell Based on Free Monads☆10Dec 31, 2015Updated 10 years ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- DBGBench Website:☆19Feb 24, 2021Updated 5 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- ☆16Aug 20, 2019Updated 6 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- Ungrafting Malicious Code from Piggybacked Android Apps☆14Sep 27, 2016Updated 9 years ago
- Simple parallel neural networks implementation in pure Haskell☆12Jan 8, 2018Updated 8 years ago
- Polymorphic directed graphs☆12Apr 10, 2017Updated 8 years ago
- ☆11Jan 22, 2018Updated 8 years ago
- Mercury 236 power meter communication utility.☆26Dec 5, 2023Updated 2 years ago
- Microvm is a virtual machine and compiler. This project is inspired by a work by Aleksei Udalov: https://github.com/aleksei-udalov/vm.git☆10May 16, 2021Updated 4 years ago
- Measure time complexity empirically.☆49Nov 25, 2015Updated 10 years ago
- My solutions to Coursera hosted Bayesian methods course. (https://www.coursera.org/learn/bayesian-methods-in-machine-learning)☆27Jan 1, 2018Updated 8 years ago
- Развитие проекта эмулятора МК-61s☆23Nov 27, 2025Updated 3 months ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Apathy // Atom Syntax Theme☆14Jan 16, 2026Updated 2 months ago