AI-powered bug bounty hunting toolkit that works with or without subscription.
- ai-security
- bug-bounty
- bugcrowd
- claude-ai
Repository Index
47,133 repositories indexed
4,009–4,032 of 22,391 · Most stars
From the basics to slightly more interesting applications of Tensorflow
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A web-based demonstration of blockchain concepts.
- bitcoin
- blockchain
- blockchain-technology
Github.com/CryptoSignal - Trading & Technical Analysis Bot - 4,100+ stars, 1,100+ forks
:art: A curated contents of amazing CSS :)
A Rust library for the Discord API.
- discord-api
- rust
- discord
- hacktoberfest
🔰 Instant PHP quality checks from your console
- php
- static
- analytics
- code
comment engine
- commenting
- comment-system
- self-hosted
- commenting-engines
Neovim plugin to manage the file system and other tree like structures.
- neovim
- file-explorer
- plugin
- lua
Familiar asyncio ORM for python, built with relations in mind
- orm
- asyncio
- async
- python3
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
- reverse-engineering
- malware-analysis
- binary-analysis
- parser
Main Liquibase Source
- java
- liquibase
- database-migrations
- java-library
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
A fast, highly extensible, and event driven SMTP server
- smtp
- mta
- javascript
- spf
Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes
- privacy-protection
- privacy-enhancing-technologies
- face-recognition
- adversarial-machine-learning
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify and fanotify, Microsoft Windows and a stat()-based backend.
- event-notifications
- change-monitor
- fswatch
- kqueue
In this noteboook I will create a complete process for predicting stock price movements. Follow along and we will achieve some pretty good results. For that purpose we will use a Generative Adversarial Network (GAN) with LSTM, a type of Recurrent Neural Network, as generator, and a Convolutional Neural Network, CNN, as a discriminator. We use LSTM for the obvious reason that we are trying to predict time series data. Why we use GAN and specifically CNN as a discriminator? That is a good question: there are special sections on that later.
Make SSH apps, just like that! 💫
- hacktoberfest
- ssh
:tomato: Simple and visually-pleasing Pomodoro timer
- pomodoro
- pomodoro-timer
- productivity
- time-management
Simple Dynamic Strings library for C
The most popular open source electronic health records and medical practice management solution.
- openemr
- practice-management
- emr
- ehr
Color scheme for UI design.
- color
- color-scheme
- scss
- adobe-library