A programmable tool for verification, analysis and transformation of C++ source code
☆101Aug 23, 2022Updated 4 years ago
Alternatives and similar repositories for vera
Users that are interested in vera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The well-known pager, with performance improvements for huge files☆13Sep 23, 2014Updated 12 years ago
- Unofficial auto-updated GIT mirror of C::B repo in SourceForge. Does NOT accept patches nor pull requests.☆12Nov 5, 2026Updated last week
- Fast time calls from user space.☆12Dec 22, 2015Updated 10 years ago
- Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++ developed and used at Facebook.☆265Sep 25, 2019Updated 7 years ago
- UEFI SLIC injector alternate method☆20Oct 9, 2016Updated 10 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.
- This is a clone of an SVN repository at http://svn.code.sf.net/p/codeblocks/code/trunk. It had been cloned by http://svn2github.com/ , bu…☆11Jan 16, 2019Updated 7 years ago
- 基于WinDivert实现的一个包过滤与截断程序☆13Jul 22, 2018Updated 8 years ago
- Coverage tool for C++ code☆20Aug 1, 2017Updated 9 years ago
- Automated Lua module deployment utility for the LuaDist project.☆13Apr 26, 2012Updated 14 years ago
- Fork of: https://sourceforge.net/p/wxsvg/git/☆12Apr 4, 2023Updated 3 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- Highly scalable renderer backend☆10Mar 4, 2019Updated 7 years ago
- Exploration Library in C++☆17Jun 13, 2023Updated 3 years ago
- Extension for VS Code providing Jenkins docs☆12Dec 26, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Mirror of RARFileSource's Git repository☆14Jan 16, 2016Updated 10 years ago
- High performance OpenGL rendering engine in Common Lisp☆15Feb 19, 2017Updated 9 years ago
- Like ultracopier☆10Apr 14, 2012Updated 14 years ago
- DOOM Eternal patcher for modding purposes.☆12Apr 14, 2021Updated 5 years ago
- Doom's DOS source code found☆10Nov 11, 2023Updated 3 years ago
- http://pcsx2.googlecode.com/svn/trunk☆14Sep 27, 2024Updated 2 years ago
- source navigator NG is a source code analysis tool. with it, you can edit your source code, display relationships between classes and fun…☆25Nov 22, 2011Updated 14 years ago
- Gameplay-oriented fork of Crispy/Chocolate Doom source ports☆11Jun 13, 2024Updated 2 years ago
- A CLI tool made in Golang to check the validity of a DOOM-engine WAD file.☆10Aug 31, 2026Updated 2 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.
- Hovertank One (1991) by id Software, Inc.☆12Jun 4, 2014Updated 12 years ago
- copy of the release sources, the official repository is obviously no longer available☆10Apr 27, 2009Updated 17 years ago
- (dead/2006) The old ZDL.☆12Jan 21, 2011Updated 15 years ago
- Dependency fetcher☆13Oct 28, 2026Updated 2 weeks ago
- This is a clone of an SVN repository at svn://svn.code.sf.net/p/quakespasm/code/trunk. It had been cloned by http://svn2github.com/ , but…☆11Dec 30, 2018Updated 7 years ago
- Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command☆17Mar 31, 2020Updated 6 years ago
- Chapuni's branch based on http://llvm.org/git/llvm.git☆30Nov 13, 2015Updated 11 years ago
- Mastering Multithreading with C++, published by Packt☆18Jan 20, 2021Updated 5 years ago
- Vulkan sample built on the Anvil framework☆16Mar 23, 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.
- ☆13Feb 28, 2013Updated 13 years ago
- Tetris game done in WxWidgets☆14Jan 24, 2012Updated 14 years ago
- JS (JavaScript) libraries mainly for geo☆11Jul 18, 2015Updated 11 years ago
- a wxWidgets cross platform Serial Port library☆17Oct 9, 2019Updated 7 years ago
- Generate random words and phrases: names, places, numbers, etc.☆12May 31, 2013Updated 13 years ago
- Erlang mutation testing tool☆16Sep 24, 2014Updated 12 years ago
- C++ Parsing/searching/validating expression grammar library (PEG) To write Regex-like expressions in the core☆14Dec 2, 2023Updated 2 years ago
Are these results useful?