Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
Repository Index
47,133 repositories indexed
3,385–3,408 of 14,005 · Most stars
Simple web interface to manage Redis databases.
- redis
- php
Take a peek into your Rails applications.
- redis
- ruby
- elasticsearch
- peek
Pyro is an experienced and powerful Laravel PHP CMS.
- cms
- framework
- cmf
- pyrocms
Roshi is a large-scale CRDT set implementation for timestamped events.
An open source platform for visual-inertial navigation research.
- visual-inertial-odometry
- slam
- msckf
- sensor-calibration
Laravel Pint is an opinionated PHP code style fixer for minimalists.
- php
- format
- formatter
- lint
MacOS application to spoof / fake / mock your iOS / iPadOS or iPhoneSimulator device location. WatchOS and TvOS are partially supported.
- location
- location-spoofing
- location-spoof
- fake-locations
KubeBlocks is a Kubernetes Operator designed to manage a variety of databases and streaming systems, including MySQL, PostgreSQL, MongoDB, Redis, RabbitMQ, RocketMQ, and more, within Kubernetes environments.
- mysql-operator
- mongodb-operator
- postgresql-operator
- rabbitmq-operator
PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, Npcap, WinPcap, DPDK, AF_XDP, WinDivert and PF_RING.
- pf-ring
- dpdk
- packet-parsing
- winpcap
WarpDrive is the lightweight data library for ambitious web apps — universal, typed, reactive, and ready to scale.
- ember
- data-framework
- data-loading
- data-patterns
JavaScript & TypeScript persistent and optionally immutable data tree with cursors.
Messaging library for Python.
- celery
- messaging
- python
- message-queue
NixOS on WSL [maintainer=@nzbr]
:zap: A new cd command that helps you navigate faster by learning your habits.
- autojump
- bash
- fasd
- z
Simple yet powerful framework for building command-line apps.
- command-line
- framework
- commander
- minimist
A CSS framework for building faithful recreations of operating system GUIs.
Runtime Mobile Security (RMS) 📱🔥 - is a powerful web interface that helps you to manipulate Android and iOS Apps at Runtime
- mobile-security
- android-security
- frida
- reverse-engineering
Twitter Text Libraries. This code is used at Twitter to tokenize and parse text to meet the expectations for what can be used on the platform.
- twitter-text
- tweet
- unicode
:package: Nothing but Cache.
- cache
- cache-storage
- disk-cache
- memory-cache
Reverse engineering tool for Linux
- gdb
- cheat-engine
- reverse-engineering
- injection
This light-weight library provides images with letter/text like the Gmail app. It extends the Drawable class thus can be used with existing/custom/network ImageView classes. Also included is a fluent interface for creating drawables and a customizable ColorGenerator.
Embedded Scripting Language Designed for C++
- c-plus-plus
- embedded-scripting-language
- cpp
- language
Visualize and compare datasets, target values and associations, with one line of code.
- pandas-dataframe
- eda
- pandas
- data-exploration