Source code counter and metrics tool for C++, C, and Java
☆74Jan 16, 2023Updated 3 years ago
Alternatives and similar repositories for cccc
Users that are interested in cccc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX Build Quality Control: checks the log file after LaTeX and finds error reports☆13Updated this week
- Computes cyclomatic complexity metrics on C cource code☆21Apr 10, 2023Updated 3 years ago
- Annual festival of open source projects: submit yours and win up to $2048!☆18Jul 28, 2026Updated 2 weeks ago
- Spell checking for LaTeX documents with the help of GNU aspell☆18Updated this week
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 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.
- Arxml Editor, using Eclipse XML Editor☆13Jun 14, 2018Updated 8 years ago
- Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSON☆24Updated this week
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆15Jul 3, 2026Updated last month
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 11 years ago
- KWANT is an open source C++ toolkit for computing scores and other metrics for object tracking systems.☆11Jan 22, 2026Updated 6 months ago
- Header only C++14 micro benchmark☆14Jan 4, 2016Updated 10 years ago
- Static Analyzer and Verifier☆52Oct 12, 2024Updated last year
- ☆10Sep 7, 2017Updated 8 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆37Apr 17, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs☆36Updated this week
- Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes☆20Jul 14, 2026Updated last month
- OpenEXR and JPEG XR viewer for HDR10 Display☆14Apr 21, 2026Updated 3 months ago
- This software is an API in C++ to decode and encode ASTERIX data☆11Mar 8, 2018Updated 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
- A Logo-like programming language for generating 3D models. The web client supports both blocks and text composition of programs.☆11Jan 12, 2023Updated 3 years ago
- Doxygen for Shell Zsh and Bash scripts☆18Nov 21, 2025Updated 8 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆66Aug 7, 2026Updated last week
- SPARK Proof Analysis Tool☆18Oct 19, 2020Updated 5 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.
- ☆17Jul 31, 2021Updated 5 years ago
- A series of examples illustrating how React can easily be combined with virtually any framework.☆10May 3, 2016Updated 10 years ago
- Adds an object wrapper on top of the Retriable gem☆12Aug 4, 2022Updated 4 years ago
- An Ada 2012 implementation of the Rx methodology☆24Mar 6, 2024Updated 2 years ago
- A book cataloguing and review system designed with bookophiles and librarians in mind.☆16Jan 13, 2025Updated last year
- Optimised VC-2 HQ Profile Encoder Library☆14Apr 8, 2021Updated 5 years ago
- Ada Wavefile Library☆19Dec 14, 2022Updated 3 years ago
- This sample demonstrates how Azure Sphere and Azure RTOS are able to run together on MT3620 Development Kit.☆14Oct 20, 2021Updated 4 years ago
- Ada Security - OAuth 2.0 client and server framework to secure web applications☆23Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- selfhosted excalidraw☆10Jul 3, 2020Updated 6 years ago
- Teaching and Learning Software Verification via SVF☆36Jul 1, 2026Updated last month
- GWindows: GUI framework for MS Windows and Winelib☆26Jul 10, 2026Updated last month
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated last year
- Availity Angular SDK☆12Oct 1, 2024Updated last year
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- Ruby object, which you can pass to other objects, where they will use it as a logger☆12Updated this week