A programmable tool for verification, analysis and transformation of C++ source code
☆100Aug 23, 2022Updated 3 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:
- Main goal of project is to reduce probability of key leaking from device. CKM stores symmetric and asymmetric keys and provides crypto op…☆16Jan 15, 2016Updated 10 years ago
- The well-known pager, with performance improvements for huge files☆13Sep 23, 2014Updated 11 years ago
- Run your tty programs pseudo-headlessly under a process supervisor☆13Apr 29, 2018Updated 8 years ago
- UEFI SLIC injector alternate method☆20Oct 9, 2016Updated 9 years ago
- http://pcsx2.googlecode.com/svn/trunk☆14Sep 27, 2024Updated 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.
- FastDosbox from http://gaming.capsule-sa.co.za☆11Feb 18, 2014Updated 12 years ago
- Convenient tool allow to update resource within an already compiled windows executable☆30Jan 22, 2018Updated 8 years ago
- Fork of: https://sourceforge.net/p/wxsvg/git/☆12Apr 4, 2023Updated 3 years ago
- from https://sourceforge.net/projects/libquickmail/☆12Apr 16, 2020Updated 6 years ago
- Lexicode: A Programmer's Thesaurus☆14Jun 25, 2024Updated 2 years ago
- DirectQ quake engine made by MH. Archive made for historical studies.☆10Aug 13, 2014Updated 12 years ago
- Natural Tiny Shell (NT-Shell)☆13Oct 22, 2021Updated 4 years ago
- ☆18Mar 30, 2023Updated 3 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years 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.
- Hopefully updated status of all my github repositories☆13Nov 23, 2024Updated last year
- (dead/2006) The old ZDL.☆12Jan 21, 2011Updated 15 years ago
- Highly scalable renderer backend☆10Mar 4, 2019Updated 7 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
- deprecated: C++ sanctuary for small but powerful and frequently required, stand alone features.☆16Jan 24, 2018Updated 8 years ago
- ☆13Feb 28, 2013Updated 13 years ago
- Dependency fetcher☆13Updated this week
- VSQLite++ Library - BSD-3 Licensed☆32May 26, 2026Updated 2 months ago
- Gameplay-oriented fork of Crispy/Chocolate Doom source ports☆11Jun 13, 2024Updated 2 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.
- wxEmail component for sending emails /w wxWidgets and Gmail☆13Feb 15, 2016Updated 10 years ago
- Exploration Library in C++☆16Jun 13, 2023Updated 3 years ago
- Premake5 module to generate Code::Blocks projects.☆12Feb 21, 2025Updated last year
- Personal finance application based on double entry system.☆16Feb 14, 2025Updated last year
- ☆11Jul 28, 2026Updated 2 weeks ago
- Chapuni's branch based on http://llvm.org/git/llvm.git☆30Nov 13, 2015Updated 10 years ago
- A test adapter for Visual Studio Code for the C/C++ Unit Test framework CppUTest.☆19Updated this week
- Code projects for the book 'Hands-On Embedded Programming with C++17' by Maya Posch☆15Feb 8, 2019Updated 7 years ago
- WoW64 -> x64☆18Oct 1, 2016Updated 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.
- Wolfenstein 3D (1992) by ID Software. The premier source port aiming to be vanilla accurate with nothing added and nothing taken away. Ex…☆15Sep 14, 2024Updated last year
- A generic PDA inventory system for GZDoom. Can play back a combination of audio, text and images.☆12Sep 11, 2025Updated 11 months ago
- Fork of Q2PRO adding features for speedrunning☆10Aug 30, 2023Updated 2 years ago
- Tool for extracting named DOOM Eternal audio files, ready to use for mods.☆12Aug 4, 2025Updated last year
- C++ Parsing/searching/validating expression grammar library (PEG) To write Regex-like expressions in the core☆14Dec 2, 2023Updated 2 years ago
- Implementation of Alexander A. Stepanov inverted Index Compression algorithms☆21Nov 10, 2015Updated 10 years ago
- Crypto++: a C++ Class Library of Cryptographic Schemes☆13May 10, 2016Updated 10 years ago