A programmable tool for verification, analysis and transformation of C++ source code
☆101Aug 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:
- Evil domains for our Collective Hosts File Project that are not present in any other lists.☆14Mar 10, 2021Updated 5 years ago
- Domain blocklist covering manually spotted trackers, marketing bullshit, abusive domains, telemetry and other nuisances.☆12Sep 20, 2021Updated 4 years ago
- UEFI SLIC injector alternate method☆20Oct 9, 2016Updated 9 years ago
- A DNS Sinkhole List for testing purposes. (not for use in production systems) - UUID: 0f90ca2c-4b0a-4fbe-b659-449ab30c4284☆19Apr 4, 2021Updated 5 years ago
- 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
- 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.
- Convenient tool allow to update resource within an already compiled windows executable☆27Jan 22, 2018Updated 8 years ago
- Blocklists for Pi-Hole☆17Feb 8, 2026Updated 3 months ago
- Chapuni's branch based on http://llvm.org/git/llvm.git☆30Nov 13, 2015Updated 10 years ago
- Code repository for GNU/Linux Rapid Embedded Programming, Published by Packt☆24Jan 30, 2023Updated 3 years ago
- Yet another anti-bullshit filter list.☆29Apr 2, 2026Updated last month
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- Tor Proxy Bundle☆56May 26, 2022Updated 3 years ago
- Slack client for Emacs☆12Feb 9, 2016Updated 10 years ago
- Fingerprinting blocker extension☆25Dec 22, 2017Updated 8 years ago
- 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.
- C automata library to build, determinize, minimize, translate regexp etc☆11Mar 26, 2016Updated 10 years ago
- ☆17Mar 30, 2023Updated 3 years ago
- Lexicode: A Programmer's Thesaurus☆14Jun 25, 2024Updated last year
- 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
- Automated Lua module deployment utility for the LuaDist project.☆13Apr 26, 2012Updated 14 years ago
- FastDosbox from http://gaming.capsule-sa.co.za☆11Feb 18, 2014Updated 12 years ago
- High performance OpenGL rendering engine in Common Lisp☆15Feb 19, 2017Updated 9 years ago
- ☆18Oct 12, 2014Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Malware, spam, and phishing indicators of compromise that involve the use of COVID-19 or coronavirus in some way☆35Jul 4, 2020Updated 5 years ago
- Adblock/uBlock filter list for clickbait and distractions (News sites hate this one weird trick!)☆13Jan 20, 2020Updated 6 years ago
- Adblock Plus Filter List syntax☆12Jul 11, 2020Updated 5 years ago
- Detection tool for the MacOSX based Silver Sparrow malware☆11Feb 22, 2021Updated 5 years ago
- Hopefully updated status of all my github repositories☆13Nov 23, 2024Updated last year
- (dead/2006) The old ZDL.☆12Jan 21, 2011Updated 15 years ago
- Like ultracopier☆10Apr 14, 2012Updated 14 years ago
- DOOM Eternal patcher for modding purposes.☆12Apr 14, 2021Updated 5 years ago
- a tool to count accesses to member variables in c++ programs☆79Dec 9, 2013Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- deprecated: C++ sanctuary for small but powerful and frequently required, stand alone features.☆16Jan 24, 2018Updated 8 years ago
- Dependency fetcher☆13May 1, 2026Updated last week
- Highly scalable renderer backend☆10Mar 4, 2019Updated 7 years ago
- Erlang mutation testing tool☆16Sep 24, 2014Updated 11 years ago
- A very fast URI parser in C.☆26Aug 3, 2018Updated 7 years ago
- wxEmail component for sending emails /w wxWidgets and Gmail☆13Feb 15, 2016Updated 10 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